>>13,9
なるほど。テーマのせいかもしれませんね。

もう1つ質問。メニューバー右の方のフォントはどうやって変更してるんですか?