change default terminal font to terminus 22