Better font sizing on terminal in top of screen