Changed font size for the terminal to 9.