Match terminal BG to Numix; tweak fonts