Currently the font size in the shell window is too small for me to read. I have to copy and paste the text into the editor to read it. Is there a way to increase the font size of the text in the shell window?