Administrivia: New Font Size

I kept having rendering issues on my browser, so I've increased the font size a notch. Hope that doesn't bother anyone.