Apply a minimum size to newly created tables

--HG--
extra : amend_source : daeaeb57efa4846b825e3318eed1007e2afda20e
Prefer styles over attributes when resizing elements.

This fixes bug #6510.

--HG--
extra : rebase_source : 9f52cdffe8d263f34e6c53c6b0e81a5d2b2156b3
Always display current font name & size.

Rather than reading them directly, we use the computed CSS values. The
computed value is always in pixels, so we add the normalize points
(and other units) to pixels.

--HG--
extra : rebase_source : a560c8a9a833d9402d3866e4baaf7f14a0604e7a
Allow specifying a default border.