Reduce terminal font size