larger font for terminal theme for non-retina displays