[Pdweb] tiny font for monospaced text

[Hans-Christoph Steiner]

Currently on puredata.info, the monospaced font is really tiny,  
barely readable. I tested this on FireFox on Ubuntu/Hardy and Camino  
and Firefox on Mac OS X.  For example:

http://puredata.info/docs/faq/on-gnu-linux-the-fonts-are-strange-and- 
or-too-big-or-small

Can this font size be bumped up in the CSS maybe 2points?

.hc



------------------------------------------------------------------------ 
----

                             kill your television