/* AAA High Contrast Light Theme for CodeMirror */

.cm-s-contrast-code.CodeMirror, .cm-s-contrast-code .CodeMirror-gutters { background-color: #ffffff; color: #000000; }
.cm-s-contrast-code .CodeMirror-gutters { background: white; border-right: 0px solid #d0d0d0; }
.cm-s-contrast-code .CodeMirror-linenumber { color: #525252; }
.cm-s-contrast-code .CodeMirror-cursor { border-left: 1px solid #000000; }
.cm-s-contrast-code.cm-fat-cursor .CodeMirror-cursor { background-color: #00000030 !important; }
.cm-s-contrast-code .cm-animate-fat-cursor { background-color: #00000030 !important; }

.cm-s-contrast-code div.CodeMirror-selected { background: yellow; }

.cm-s-contrast-code span.cm-comment { color: #525252; /*font-style: italic;*/ }
.cm-s-contrast-code span.cm-keyword { color: darkblue; }
.cm-s-contrast-code span.cm-def { color: black; }
.cm-s-contrast-code span.cm-variable { color: #000000; }
.cm-s-contrast-code span.cm-number, .cm-s-contrast-code span.cm-atom { color: #6a006a; } /*darker purple*/
.cm-s-contrast-code span.cm-operator { color: #000000; }

.cm-s-contrast-code span.cm-string { color: darkgreen; }
.cm-s-contrast-code span.cm-string-2 { color: darkgreen; }
.cm-s-contrast-code span.cm-property { color: black; }


.cm-s-contrast-code .CodeMirror-matchingbracket { background: #525252; color: #ffffff !important; }

.cm-s-contrast-code span.cm-builtin { color: darkred; }