いつものようにjsdo.itでコードを入力し始めたら、なんとなく感覚が違う。よく見てみたらどうもフォントが小さくなっているようだ。さらにコードの色分けも分かりやすくなって、以前よりはコードが打ちやすくなったと思う。 ただ、フォントがプロポーショナ…