Look's like its a CSS cascade issue. They're setting '.CodeMirror' to have a monospaced font, but it's getting overridden in (several) other palaces

I like the proportional font better, anyway. It's still plenty easy enough to notice the punctuation, and this way, the words look nicer. And there are plenty of words - each project has lots of comments and sample text.

Thx, we'll see if we can find a good monospaced font. Although IMO it's not as important in html as in other languages, for some reason.

my first thought exactly. Why would they build a texteditor with a proportional font? It looks horrible.