bug-texinfo
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Problematic indentation in HTML output of makeinfo


From: Patrice Dumas
Subject: Re: Problematic indentation in HTML output of makeinfo
Date: Sun, 22 Nov 2009 23:49:13 +0100
User-agent: Mutt/1.5.20 (2009-06-14)

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?

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

--
Pat




reply via email to

[Prev in Thread] Current Thread [Next in Thread]