.cm-s-dark.CodeMirror { background: var(--surface-a, #2e3440); color: #d8dee9; }
.cm-s-dark div.CodeMirror-selected { background: #434c5e; }
.cm-s-dark .CodeMirror-line::selection, .cm-s-dark .CodeMirror-line > span::selection, .cm-s-dark .CodeMirror-line > span > span::selection { background: #3b4252; }
.cm-s-dark .CodeMirror-line::-moz-selection, .cm-s-dark .CodeMirror-line > span::-moz-selection, .cm-s-dark .CodeMirror-line > span > span::-moz-selection { background: #3b4252; }
.cm-s-dark .CodeMirror-gutters { background: var(--surface-b, #2e3440); border-right: 1px solid var(--surface-d); }
.cm-s-dark .CodeMirror-guttermarker { color: #4c566a; }
.cm-s-dark .CodeMirror-guttermarker-subtle { color: #4c566a; }
.cm-s-dark .CodeMirror-linenumber { color: var(--text-color-secondary, #4c566a); }
.cm-s-dark .CodeMirror-cursor { border-left: 1px solid #f8f8f0; }

.cm-s-dark span.cm-comment { color: #4c566a; }
.cm-s-dark span.cm-atom { color: #b48ead; }
.cm-s-dark span.cm-number { color: #b48ead; }

.cm-s-dark span.cm-comment.cm-attribute { color: #97b757; }
.cm-s-dark span.cm-comment.cm-def { color: #bc9262; }
.cm-s-dark span.cm-comment.cm-tag { color: #bc6283; }
.cm-s-dark span.cm-comment.cm-type { color: #5998a6; }

.cm-s-dark span.cm-property, .cm-s-dark span.cm-attribute { color: #8FBCBB; }
.cm-s-dark span.cm-keyword { color: #81A1C1; }
.cm-s-dark span.cm-builtin { color: #81A1C1; }
.cm-s-dark span.cm-string { color: #A3BE8C; }

.cm-s-dark span.cm-variable { color: #d8dee9; }
.cm-s-dark span.cm-variable-2 { color: #d8dee9; }
.cm-s-dark span.cm-variable-3, .cm-s-dark span.cm-type { color: #d8dee9; }
.cm-s-dark span.cm-def { color: #8FBCBB; }
.cm-s-dark span.cm-bracket { color: #81A1C1; }
.cm-s-dark span.cm-tag { color: #bf616a; }
.cm-s-dark span.cm-header { color: #b48ead; }
.cm-s-dark span.cm-link { color: #b48ead; }
.cm-s-dark span.cm-error { background: #bf616a; color: #f8f8f0; }

.cm-s-dark .CodeMirror-activeline-background { background: #3b4252; }
.cm-s-dark .CodeMirror-matchingbracket {
  text-decoration: underline;
  color: white !important;
}