Decrease terminal font size.