Change font size
I’ve added a feature to this site for those with reduced visual acuity. One can now make the text on this site larger if so desired.
In the upper right corner, there are two A’s in a small box. Clicking on the larger one makes the text on this site larger. Clicking on the smaller one changes it back to normal. A decent browser with JavaScript support will even apply the change on the fly, without a page reload.
Of course, your preference will be remembered throughout this site, even across multiple visits. Your browser must accept cookies though.
Update August 16, 2008: In the new theme, there’s a link to the right of the main menu which will increase or decrease the font size.