Small font sizes in Linux as well

- Terminator and GVim