More annoying to me than the font size is the font selection. Maybe it's because I didn't grow up using monochrome terminals, but for me monospace fonts are generally terrible for legibility (except in places like coding where lining things up vertically is useful). Typographically, the font designers have to make all sorts of readability sacrifices to make all characters the same width.