Changed the Ubuntu font size for the terminal.