/* Fixed52: CodeMirror syntax colors with sufficient contrast in both themes */

/* Dark theme: CodeMirror default builtin (#30a) is nearly invisible on #151515. */
html[data-theme="dark"] .CodeMirror.cm-s-default .cm-builtin,
html[data-theme="dark"] .cm-s-default .cm-builtin {
  color: #72a7ff !important;
  font-weight: 650;
}
html[data-theme="dark"] .cm-s-default .cm-def,
html[data-theme="dark"] .cm-s-default .cm-variable-2,
html[data-theme="dark"] .cm-s-default .cm-variable-3,
html[data-theme="dark"] .cm-s-default .cm-property {
  color: #8fc7ff !important;
}
html[data-theme="dark"] .cm-s-default .cm-variable {
  color: #eef3fb !important;
}
html[data-theme="dark"] .cm-s-default .cm-keyword {
  color: #ff6475 !important;
  font-weight: 700;
}
html[data-theme="dark"] .cm-s-default .cm-operator {
  color: #f2f5fa !important;
}
html[data-theme="dark"] .cm-s-default .cm-number,
html[data-theme="dark"] .cm-s-default .cm-atom {
  color: #c89bff !important;
}
html[data-theme="dark"] .cm-s-default .cm-string,
html[data-theme="dark"] .cm-s-default .cm-string-2 {
  color: #ffd479 !important;
}
html[data-theme="dark"] .cm-s-default .cm-comment {
  color: #7fd891 !important;
}
html[data-theme="dark"] .cm-s-default .cm-meta,
html[data-theme="dark"] .cm-s-default .cm-qualifier,
html[data-theme="dark"] .cm-s-default .cm-tag {
  color: #71d7cf !important;
}
html[data-theme="dark"] .cm-s-default .cm-error {
  color: #ff8a91 !important;
  background: rgba(255, 74, 85, .12);
}

/* Light theme: keep every token readable on white as well. */
html[data-theme="light"] .CodeMirror.cm-s-default .cm-builtin,
html[data-theme="light"] .cm-s-default .cm-builtin {
  color: #154fc4 !important;
  font-weight: 650;
}
html[data-theme="light"] .cm-s-default .cm-def,
html[data-theme="light"] .cm-s-default .cm-variable-2,
html[data-theme="light"] .cm-s-default .cm-variable-3,
html[data-theme="light"] .cm-s-default .cm-property {
  color: #0758a8 !important;
}
html[data-theme="light"] .cm-s-default .cm-variable {
  color: #172033 !important;
}
html[data-theme="light"] .cm-s-default .cm-keyword {
  color: #c92445 !important;
  font-weight: 700;
}
html[data-theme="light"] .cm-s-default .cm-operator {
  color: #263244 !important;
}
html[data-theme="light"] .cm-s-default .cm-number,
html[data-theme="light"] .cm-s-default .cm-atom {
  color: #6d28d9 !important;
}
html[data-theme="light"] .cm-s-default .cm-string,
html[data-theme="light"] .cm-s-default .cm-string-2 {
  color: #99520a !important;
}
html[data-theme="light"] .cm-s-default .cm-comment {
  color: #26723a !important;
}