This theme implicate non-devtools CodeMirror editor.

Right now, this theme implicate non-devtools CodeMirror editor. 
eg: http://angular-ui.github.io/#directives-codemirror

I think this theme should implicate only devtools.