/* Tema "cuaderno" para CodeMirror: tinta sobre papel, margen rojo para los números de línea */
.editor { position: relative; border: 2px solid var(--linea-f); border-radius: var(--r-m); background: var(--hoja); overflow: hidden; transition: border-color .15s, box-shadow .15s; }
.editor:focus-within { border-color: var(--azul); box-shadow: 0 0 0 4px var(--azul-claro); }
.editor .CodeMirror {
  height: 100%; min-height: 180px; font-family: var(--f-codigo); font-size: 15.5px; line-height: 1.65;
  background: var(--hoja); color: var(--tinta);
}
.editor .CodeMirror-gutters { background: #FBFCFE; border-right: 2px solid rgba(217, 54, 54, .28); }
.editor .CodeMirror-linenumber { color: #9AA6BD; padding: 0 10px 0 6px; }
.editor .CodeMirror-cursor { border-left: 2.5px solid var(--azul); }
.editor .CodeMirror-selected, .editor .CodeMirror-focused .CodeMirror-selected { background: color-mix(in srgb, var(--mt-amarillo) 60%, transparent); }
.editor .CodeMirror-activeline-background { background: rgba(31, 79, 216, .045); }
.editor .CodeMirror-matchingbracket { color: var(--verde) !important; font-weight: 700; text-decoration: underline; }
.editor .linea-error { background: var(--rojo-claro); }
.editor .linea-error .CodeMirror-linenumber { color: var(--rojo); font-weight: 700; }
.editor .CodeMirror-placeholder { color: var(--tinta-3); }

.cm-s-cuaderno .cm-keyword  { color: #1F4FD8; font-weight: 700; }
.cm-s-cuaderno .cm-builtin  { color: #0B6E99; }
.cm-s-cuaderno .cm-def      { color: #0B6E99; font-weight: 700; }
.cm-s-cuaderno .cm-variable { color: var(--tinta); }
.cm-s-cuaderno .cm-variable-2 { color: #3B4A6B; }
.cm-s-cuaderno .cm-string   { color: #0F7A45; }
.cm-s-cuaderno .cm-string-2 { color: #0F7A45; }
.cm-s-cuaderno .cm-number   { color: #B5520B; }
.cm-s-cuaderno .cm-comment  { color: #6A7896; font-style: italic; }
.cm-s-cuaderno .cm-operator { color: #3B4A6B; }
.cm-s-cuaderno .cm-tag      { color: #B42C6B; font-weight: 700; }
.cm-s-cuaderno .cm-bracket  { color: #6A7896; }
.cm-s-cuaderno .cm-attribute{ color: #8A5A00; }
.cm-s-cuaderno .cm-property { color: #8A5A00; }
.cm-s-cuaderno .cm-qualifier{ color: #B42C6B; }
.cm-s-cuaderno .cm-atom     { color: #B5520B; }
.cm-s-cuaderno .cm-meta     { color: #6A7896; }
.cm-s-cuaderno .cm-error    { color: var(--rojo); text-decoration: wavy underline; }