Bug#457169: no, they are great

2007-12-21 Thread tim hall
Lucas Nussbaum wrote: 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

Bug#457169: no, they are great

2007-12-20 Thread Joerg Jaspert
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. -- bye Joerg With a name like

Bug#457169: no, they are great

2007-12-20 Thread Lucas Nussbaum
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

Bug#457169: no, they are great

2007-12-20 Thread Russ Allbery
Lars Wirzenius [EMAIL PROTECTED] writes: On to, 2007-12-20 at 14:09 +0100, Joerg Jaspert wrote: I think the fonts are nice as they are now. Too small makes it unreadable and one needs to Ctrl+ everytime, which is bad. Personally, I would prefer it the style sheet didn't touch the font size

Bug#457169: no, they are great

2007-12-20 Thread Joerg Jaspert
I think the fonts are nice as they are now. Too small makes it unreadable and one needs to Ctrl+ everytime, which is bad. Personally, I would prefer it the style sheet didn't touch the font size at all. That way everyone can choose the base font size that suites their situation best, once,