* 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?
Cheers,
Andi
--
http://home.arcor.de/andreas-barth/