Re: Problematic indentation in HTML output of makeinfo

[Karl Berry]

    @smallexample
    This is
        a small
    example
    @end smallexample

Patrice, can you check whether texi2html inserts the extra spaces in the
HTML output as makeinfo does?  It would be good to have the indentation
controllable in css.

Thanks,
Karl