[nickb]

I know I'm being picky, but something in between the current font and the previous font would be better (if feasible), especially if others were having no trouble with the smaller font.