>>578
メニューバーの「表示」(「窓」だったかも)の中に文字のサイズがある

そこでは5段階しか選べないが、そのそれぞれの段階のフォントサイズは設定→Doeから弄ることもできる