[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 20:15:42 +0100 |
User-agent: |
Mutt/1.5.20 (2009-06-14) |
On Sun, Nov 22, 2009 at 07:47:52PM +0100, Thomas Keller wrote:
>
> Apparently texi2html makes this better, though the indentation is
> "emulated" as HTML table here, which could be hacked around, but is
> still not optimal. Actually I think there is little to no reason to
> render the indentation "hard" at all, CSS' `margin-left` and
> `padding-left` properties should be enough for everyone adding the
> 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.
The issue is that it doesn't allow for imbrication of 'preformatted' styles.
For example
@example
The example
@display
this part is displayed
@end display
End of the example
@end example
Also other kind of nesting wouldn't be that good if the indentation was done
for each preformatted fragment. For example for a @multitable in @example,
I think that it is better to indent the whole @example and not the
individual preformatted fragments in the @multitable. To be honest, this is
not clear that this is correct texinfo, but such constructs happen in
manuals.
--
Pat
- Problematic indentation in HTML output of makeinfo, Thomas Keller, 2009/11/18
- 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 <=
- 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, 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