Re: Problematic indentation in HTML output of makeinfo

[Karl Berry]

The normal way to use @example is without leading whitespace, since it
inserts indentation itself.  And you can control how much that
indentation is with @exampleindent, if you feel the need.

If you put your own physical whitespace characters in, then I don't see
how we have any alternative but to honor them.

Since the general goal of Texinfo is to produce the "same" output in
different formats, I don't think it would be a good default not to
indent in HTML.

But anyway, maybe texi2html has some other css or other viable options
to do what you want to do.  For example, it occurs to me that if you
reliably use the same amount of physical whitespace, you could use css
to shift the [small]example envs to the left by that amount.

Best,
Karl