Re: Problematic indentation in HTML output of makeinfo

[Patrice Dumas]

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