Decreased terminal font size