Utils for switching between useful font sizes in the terminal.