The displayed default font size is MUCH TOO BIG! If it's possible to alter it, I haven't yet spotted how.
Well, if you're using a standards-compliant browser, try holding one of the Ctrl keys and then hitting - (or + for the short-sighted). Hey presto, everything's proportionally smaller (or bigger).
You can't please all of the people all of the time but fortunately, in this case, they can please themselves
Cheers,
Rich.