Resized terminal font to be more productive