[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



reply via email to

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