Well, everyone is free to adapt the font size to their needs but those fonts are pretty huge.