CTRL + '+' and CTRL + '-' change the font size of the currently active terminal
manual updated: included information about font size adjustment key bindings