marijnh/CodeMirror2 — comment on commit 50e1abe0b6dc402092f907195c7e2d85220b3dab
File: demo/theme.html line 57
By marijnh:

Yes, it should. Fixed now.