Bug#457169: no, they are great
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?
My 2 cts...
--
| Lucas Nussbaum
| lucas@lucas-nussbaum.net http://www.lucas-nussbaum.net/ |
| jabber: lucas@nussbaum.fr GPG: 1024D/023B3F4F |
Reply to: