エディタアップデート？

いつものようにjsdo.itでコードを入力し始めたら、なんとなく感覚が違う。よく見てみたらどうもフォントが小さくなっているようだ。さらにコードの色分けも分かりやすくなって、以前よりはコードが打ちやすくなったと思う。
ただ、フォントがプロポーショナルで、インデントが4タブなのに2タブのように見えてしまう。やっぱりプログラムコードは固定幅フォントのほうがいい。