Tweak fonts and sizes on Linux