/* dist/css/cm-themes-modified/base16-dark.css */
.cm-s-base16-dark.CodeMirror {
  background: #151515;
  color: #e0e0e0;
}
.cm-s-base16-dark div.CodeMirror-selected {
  background: #303030;
}
.cm-s-base16-dark .CodeMirror-line::selection,
.cm-s-base16-dark .CodeMirror-line > span::selection,
.cm-s-base16-dark .CodeMirror-line > span > span::selection {
  background: #e0e0e0;
}
.cm-s-base16-dark .CodeMirror-line::-moz-selection,
.cm-s-base16-dark .CodeMirror-line > span::-moz-selection,
.cm-s-base16-dark .CodeMirror-line > span > span::-moz-selection {
  background: #e0e0e0;
}
.cm-s-base16-dark .CodeMirror-gutters {
  background: #151515;
  border-right: 0px;
}
.cm-s-base16-dark .CodeMirror-guttermarker {
  color: #af2628;
}
.cm-s-base16-dark .CodeMirror-guttermarker-subtle {
  color: #505050;
}
.cm-s-base16-dark .CodeMirror-linenumber {
  color: #505050;
}
.cm-s-base16-dark .CodeMirror-cursor {
  border-left: 1px solid #b0b0b0;
}
.cm-s-base16-dark.cm-fat-cursor .CodeMirror-cursor {
  background-color: #8e8d8875 !important;
}
.cm-s-base16-dark .cm-animate-fat-cursor {
  background-color: #8e8d8875 !important;
}
.cm-s-base16-dark span.cm-comment {
  color: #a8440e;
  font-style: italic;
}
.cm-s-base16-dark span.cm-atom {
  color: #aa759f;
}
.cm-s-base16-dark span.cm-number {
  color: #aa759f;
}
.cm-s-base16-dark span.cm-property,
.cm-s-base16-dark span.cm-attribute {
  color: #90a959;
}
.cm-s-base16-dark span.cm-keyword {
  color: #af2628;
}
.cm-s-base16-dark span.cm-string {
  color: #f4bf75;
}
.cm-s-base16-dark span.cm-variable {
  color: #90a959;
}
.cm-s-base16-dark span.cm-variable-2 {
  color: #6a9fb5;
}
.cm-s-base16-dark span.cm-def {
  color: #d28445;
}
.cm-s-base16-dark span.cm-bracket {
  color: #e0e0e0;
}
.cm-s-base16-dark span.cm-tag {
  color: #af2628;
}
.cm-s-base16-dark span.cm-link {
  color: #aa759f;
}
.cm-s-base16-dark span.cm-error {
  background: #af2628;
  color: #b0b0b0;
}
.cm-s-base16-dark .CodeMirror-activeline-background {
  background: #202020;
}
.cm-s-base16-dark .CodeMirror-matchingbracket {
  text-decoration: underline;
  color: white !important;
}