Make terminal font smaller