Just upgraded from 1.8.2. to 2.0.2, think the console in/output window is an improvement. But is there any way to reduce the font size. Terminal output looks around 12pt and I'd like to reduce it to say 10pt. Looked through all the options and can't find anything.