I don't which web browser you're using, but Netscape and Mozilla both have options to override the fonts specified by the HTML document, and MSIE lets you scale all the font sizes on the page.

That said, a default font size and default fixed-width font size would probably make a good addition to the user settings.

--
Ryan Koppenhaver, Aspiring Perl Hacker
"I ask for so little. Just fear me, love me, do as I say and I will be your slave."