Decrease terminal font size