For me the accepted answer did not work. I eventually found a place that did change this however, its in setting/Tools/Terminal . Then there you will see font settings that you can change.