set default terminal font size to 10