2014-07-09 フォント設定 システム設定→外見→fontを選択。それぞれをDejavu *** に変更。***の箇所にはSans, Mono, Sans Boldが該当。サイズは11ptに変更。