Re: Problematic indentation in HTML output of makeinfo

[Thomas Keller]

Am 22.11.09 23:49, schrieb Patrice Dumas:
> On Sun, Nov 22, 2009 at 07:47:52PM +0100, Thomas Keller wrote:
>>
>> correct padding afterwards. And the CSS box model already takes care of
>> proper indentation on different levels, because the margins of all outer
>> boxes add up.
> 
> I didn't caught this one. Ok, this cannot be done with <pre> since <pre>
> cannot be nested, but then maybe the table could be replaced by a <div> with
> the space indentation css?

For example, yes. I have basically two wishes:

a) Keep the (nested) structure of a document intact, so no "hacks"
(sorry) like breaking up <pre> tags because they're nested

b) Keep the HTML 100% stylable, so no "artificial" whitespaces which one
cannot influence / remove via CSS.

> This seems to me to be the right solution, I'll certainly implement it 
> as the default with the old behaviour being switched on by a variable.
> (still useful in html3.2, for example).

You're now speaking of texi2html, not makeinfo, right? Any chance that
makeinfo's HTML output is updated as well? I'm just asking because we're
currently not using texi2html and this might be a new build dependency
for our project then...

Thomas.

-- 
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