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