Re: Improved design

[Richard Atterer <richard@2006.atterer.net>]

On Mon, Nov 13, 2006 at 03:58:10PM +0100, Andreas Barth wrote:
> * Martin Schulze (joey@infodrom.org) [061113 15:47]:
> > body {
> >   font-size: 13px;
> > }
> 
> I don't think we should change the default font size at all - why not
> use whatever the user has selected?

I agree! Or, if it cannot be avoided at all, at least change the font size 
to 90% (or whatever), not to a fixed point size. For example, this may make 
sense for certain fonts (e.g. Verdana) which look much bigger than others 
at identical font sizes.

Cheers,

  Richard

-- 
  __   _
  |_) /|  Richard Atterer     |  GnuPG key: 888354F7
  | \/¯|  http://atterer.net  |  08A9 7B7D 3D13 3EF2 3D25  D157 79E6 F6DC 8883 54F7
  ¯ '` ¯