> Argll... That is really asking for trouble. Could we please agree on 
> something? Either pixels or points. Mixing them is the worst of all 
> possibilites.

A few weeks ago I submitted two patches which where (attempting to) correct 
this by re-computing the hard-coded default sizes following a similar scheme : 
treat them at pixel sizes, apply each of them on a dummy font and get the 
resulting point size. That way the hard-coded choices looked reasonably good 
regardless of the DPI. There were still problems as some pages would still 
display with wrong sizes though, so I guess they still had some bugs.