Problematic indentation in HTML output of makeinfo

[Thomas Keller]

Hi!

I'm experiencing an unwanted nuisance with the HTML generator of
makeinfo up to the latest version 4.13: Leading indentation is preserved
in the final HTML output.

Normally this wouldn't be a problem since consecutive whitespaces are
collapsed into a single whitespace and therefor ignored, however in
preformatted areas (<pre>) which are created by @example or
@smallexample they shift the text to the right.

The only knob which changes the interpretation of whitespaces in CSS is
the white-space property [0], however this only leaves me with the
options to ignore consecutive whitespaces everywhere or to print them
everywhere, I cannot tell the browser to "ignore leading" whitespaces -
which is also not an option, because it would remove wanted leading
indentation as well.

The indentation is good for plaintext and info output, but in my opinion
indendation should be switched of completely for HTML output (or at
least the HTML target should have an option to do so).

Note that using @exdent is not an option here for two reasons, firstly,
because the indendation is wanted in other output formats we have
(amongst them PDF) and secondly, adding @exdent in front of every single
line in an @(small)example section seems to be hilarious...

Thanks for taking care!

Thomas.

[0] http://www.w3schools.com/CSS/pr_text_white-space.asp
-- 
GPG-Key 0x160D1092 | address@hidden | http://thomaskeller.biz
Please note that according to the EU law on data retention, information
on every electronic information exchange might be retained for a period
of six months or longer: http://www.vorratsdatenspeicherung.de/?lang=en

signature.asc
Description: OpenPGP digital signature