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 | [email protected] | 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
