reducing terminal font size