On 20/12/07 at 14:09 +0100, Joerg Jaspert wrote:
Hi
I think the fonts are nice as they are now. Too small makes it
unreadable and one needs to Ctrl+ everytime, which is bad.
But if zack follows zobels request to do JS stuff with the stylesheets
there could be an alternate stylesheet that has tiny fonts.
I haven't read the HTML source, nor the CSS. But if I remember
correctly, there are different ways to specify the font size in CSS (pt,
px, ...). Some of them take the screen size into account, some don't.
Maybe it's a related problem?