-.cm-s-erlang-dark.CodeMirror { background: #002240; color: white; }\r
-.cm-s-erlang-dark div.CodeMirror-selected { background: #b36539 !important; }\r
-.cm-s-erlang-dark .CodeMirror-gutters { background: #002240; border-right: 1px solid #aaa; }\r
-.cm-s-erlang-dark .CodeMirror-linenumber { color: #d0d0d0; }\r
-.cm-s-erlang-dark .CodeMirror-cursor { border-left: 1px solid white !important; }\r
-\r
-.cm-s-erlang-dark span.cm-atom { color: #f133f1; }\r
-.cm-s-erlang-dark span.cm-attribute { color: #ff80e1; }\r
-.cm-s-erlang-dark span.cm-bracket { color: #ff9d00; }\r
-.cm-s-erlang-dark span.cm-builtin { color: #eaa; }\r
-.cm-s-erlang-dark span.cm-comment { color: #77f; }\r
-.cm-s-erlang-dark span.cm-def { color: #e7a; }\r
-.cm-s-erlang-dark span.cm-keyword { color: #ffee80; }\r
-.cm-s-erlang-dark span.cm-meta { color: #50fefe; }\r
-.cm-s-erlang-dark span.cm-number { color: #ffd0d0; }\r
-.cm-s-erlang-dark span.cm-operator { color: #d55; }\r
-.cm-s-erlang-dark span.cm-property { color: #ccc; }\r
-.cm-s-erlang-dark span.cm-qualifier { color: #ccc; }\r
-.cm-s-erlang-dark span.cm-quote { color: #ccc; }\r
-.cm-s-erlang-dark span.cm-special { color: #ffbbbb; }\r
-.cm-s-erlang-dark span.cm-string { color: #3ad900; }\r
-.cm-s-erlang-dark span.cm-string-2 { color: #ccc; }\r
-.cm-s-erlang-dark span.cm-tag { color: #9effff; }\r
-.cm-s-erlang-dark span.cm-variable { color: #50fe50; }\r
-.cm-s-erlang-dark span.cm-variable-2 { color: #e0e; }\r
-.cm-s-erlang-dark span.cm-variable-3 { color: #ccc; }\r
-.cm-s-erlang-dark span.cm-error { color: #9d1e15; }\r
-\r
-.cm-s-erlang-dark .CodeMirror-activeline-background {background: #013461 !important;}\r
-.cm-s-erlang-dark .CodeMirror-matchingbracket {outline:1px solid grey; color:white !important;}\r