[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: |
Mon, 23 Nov 2009 23:41:40 +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
Now the default is to have <div class="example"> and
div.example {margin-left: 3.2em}
It in fact looks a bit better than before since the table elements
added some extra vertical spaces, and also the indentation wasn't really
enough compared with other kinds of indentation and other formats
output.
Thanks.
--
Pat
- Re: Problematic indentation in HTML output of makeinfo, (continued)
- 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, 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 <=
- Re: Problematic indentation in HTML output of makeinfo, Thomas Keller, 2009/11/24