Font-size problematic on windows

[daniel]

Since the recent CSS change, fonts are too small on windows.

[daniel]

Fixed in [408].

[daniel]

* cmlenz and if we're in polishing mode now, the text in the diff is *awfully* slow
<cmlenz> s/slow/small
<cmlenz> :-)
<dln> cmlenz: in what browser/os?
<cmlenz> IE6/Win, Firefox0.8/Win
* sabi hasn't had problems with the diff font size
<sabi> in Firefox on Windows, even.
* dln is planning to review the font sizes on windows before 0.7
<sabi> however, some font sizes are way too big i've founde
<dln> i haven't been testing on windows for some weeks now
<sabi> please check versus 0.6 and make sure that things use the same or less space.
<sabi> IE runs quite nicely in wine :)
<cmlenz> right, the diff font size is actually okay in safari

[cmlenz@…]

The font size is also way too small on Safari, at least for me. Safari font preferences are all set to default.

[daniel]

I adjusted the font sizes to something more sensible.

Fixed in [508].