Re: texinfo bug: @table within @example

[Werner LEMBERG]

> Could you see if you think this has made an improvement.

Much better, thanks.  However, it still exposes a severe bug in the
used version of texi2html: There is absolutely no reason why there are
two empty lines between each item.  There should be *none* (or at most
one, in case items are separated this way in HTML, which I personally
dislike, but others may have a different opinion).

I've applied a small patch to improve the appearance; I don't see any
reason to have the note names typeset with @code.  The patch also
fixes the column widths in the PDF.


    Werner