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
