Change default terminal font size