To change the font size, please use the functionality of your browser or terminal.
The keyboard shortcuts are as follows on a Windows system:
The keyboard shortcuts on an Apple-System (Safari Browser) are as follows:
Back to overview