[Top][All Lists]
[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
- Re: Problematic indentation in HTML output of makeinfo, (continued)
- Re: Problematic indentation in HTML output of makeinfo, Karl Berry, 2009/11/20
- Re: Problematic indentation in HTML output of makeinfo, Thomas Keller, 2009/11/20
- Re: Problematic indentation in HTML output of makeinfo, Thomas Keller, 2009/11/20
- Re: Problematic indentation in HTML output of makeinfo, Karl Berry, 2009/11/21
- Re: Problematic indentation in HTML output of makeinfo, Patrice Dumas, 2009/11/22
- Re: Problematic indentation in HTML output of makeinfo, Thomas Keller, 2009/11/22
- Re: Problematic indentation in HTML output of makeinfo, Patrice Dumas, 2009/11/22
- Re: Problematic indentation in HTML output of makeinfo, Thomas Keller, 2009/11/22
- Re: Problematic indentation in HTML output of makeinfo, Patrice Dumas, 2009/11/22
- Re: Problematic indentation in HTML output of makeinfo, Thomas Keller, 2009/11/22
- Re: Problematic indentation in HTML output of makeinfo,
Patrice Dumas <=
- Re: Problematic indentation in HTML output of makeinfo, Thomas Keller, 2009/11/22
- Re: Problematic indentation in HTML output of makeinfo, Patrice Dumas, 2009/11/22
- Re: Problematic indentation in HTML output of makeinfo, Patrice Dumas, 2009/11/23
- Re: Problematic indentation in HTML output of makeinfo, Thomas Keller, 2009/11/24