/* Fixed80: CodeMirror light-theme selection and line visibility */
html[data-theme="light"] .CodeMirror {
  --jclass-current-line:#e6f0ff;
  --jclass-selection:#8fc2ff;
  --jclass-selection-blur:#b6d7ff;
  --jclass-local:#dff8df;
  --jclass-shared:#ffe4e6;
}
html[data-theme="light"] .CodeMirror .cm-current-line {background:var(--jclass-current-line)!important;box-shadow:inset 3px 0 0 #3b82f6!important}
html[data-theme="light"] .CodeMirror-gutter-elt.cm-gutter-current {color:#1d4ed8!important;background:#dbeafe!important;font-weight:900!important;border-radius:4px!important}
html[data-theme="light"] .CodeMirror .CodeMirror-selected,
html[data-theme="light"] .CodeMirror-focused .CodeMirror-selected {background:var(--jclass-selection)!important;opacity:1!important;outline:1px solid rgba(29,78,216,.18)!important;box-shadow:none!important}
html[data-theme="light"] .CodeMirror:not(.CodeMirror-focused) .CodeMirror-selected {background:var(--jclass-selection-blur)!important}
html[data-theme="light"] .CodeMirror span.CodeMirror-selectedtext {background:rgba(96,165,250,.32)!important;color:inherit!important}
html[data-theme="light"] .CodeMirror .cm-local-line {background:var(--jclass-local)!important;box-shadow:inset 4px 0 0 #16a34a!important}
html[data-theme="light"] .CodeMirror-gutter-elt.cm-gutter-local {color:#047857!important;background:#dcfce7!important;font-weight:900!important;border-radius:4px!important}
html[data-theme="light"] .CodeMirror .cm-shared-line {background:var(--jclass-shared)!important;box-shadow:inset 4px 0 0 #e11d48!important}
html[data-theme="light"] .CodeMirror-gutter-elt.cm-gutter-shared {color:#be123c!important;background:#ffe4e6!important;font-weight:900!important;border-radius:4px!important}
html[data-theme="light"] .CodeMirror .CodeMirror-searching {background:#fff59d!important;color:#111827!important;outline:1px solid #eab308!important}
html[data-theme="light"] .CodeMirror .CodeMirror-matchingbracket {color:#065f46!important;background:#bbf7d0!important;outline:1px solid #22c55e!important;font-weight:900!important}
html[data-theme="dark"] .CodeMirror .cm-current-line {background:#26314f!important;box-shadow:inset 3px 0 0 #60a5fa!important}
html[data-theme="dark"] .CodeMirror-gutter-elt.cm-gutter-current {color:#93c5fd!important;font-weight:900!important}