To change the font size, please use the functionality of your browser. Keyboard shortcuts:

[Ctrl] [+] Enlarge font

[Ctrl] [-] Decrease font

Reset [Ctrl] [0] font size