New terminal font size (smaller ftw).