Brightly colored CodeMirror theme