テーマを変えてみました。前(はてな標準の色を変えたもの)より文字サイズがちょっと小さめなのかな、人によっては見づらいとかあるのかも。ローカルOSでのエディタフォントなんかも14ptや12pt標準で使ってる人って結構いるみたいだし。自分は大体9ptか10ptく…