I noticed they were all too small when I tried changing them when the option was first introduced. After a lot of messing around with it I gave up and went back to the default font. It really could do with a font size option.