Title: html border/cell placement, alignment, spacing broken
Submitter: Martin Wartens
Date: Wed May 10 07:38:14 2006
Tried to create a node looking like a table with bold borders for
row/column headers. After a lot of tries, there seems to be no way to
make this work. Most likely there is some erroneous rounding going on.
Borders should be added consistently to the outside of a box. There is
a different in the rendering between stable version 2.8 and current
development version, but both are wrong.
Input file: b943.dot