terminalrc: smaller font