[OOC: OK, I just went and looked, and while it gives me the option to change font style, I can't find one for changing font size. My suspicion is that maybe the thing to do would be to try changing the font size in your browser, especially if you're having this problem on other sites... Then again, I'm far from an expert in this stuff, either.]