.cm-s-chalinlab .cm-keyword      { color: #c180dc; font-weight: 600; }   /* if, else, for, def, etc */
.cm-s-chalinlab .cm-atom         { color: #4f5fd8; font-weight: 600; }   /* True, False, None */
.cm-s-chalinlab .cm-builtin      { color: #dbcc58; }                       /* print, input, len, etc */
.cm-s-chalinlab .cm-tag          { color: #4ab583; }                       /* machine, utime, etc */
.cm-s-chalinlab .cm-variable-2   { color: #e86f43; font-style: italic; }   /* Pin, PWM, etc */
.cm-s-chalinlab .cm-def          { color: #6bafe2; }                       /* funciones */
.cm-s-chalinlab .cm-type         { color: #6f42c1; font-weight: 600; }    /* nombres de clase */
.cm-s-chalinlab .cm-string       { color: #f4a135; }                       /* cadenas */
.cm-s-chalinlab .cm-number       { color: #6add92; }                       /* números */
.cm-s-chalinlab .cm-comment      { color: #909090; font-style: italic; }   /* comentarios */
.cm-s-chalinlab .cm-operator     { color: #dc4c5b; }                       /* operadores */
.cm-s-chalinlab .cm-meta         { color: #a89077; }                       /* decoradores como @staticmethod */
.cm-s-chalinlab .cm-bracket      { color: #dd8ff4; }                       /* paréntesis */
.cm-s-chalinlab .cm-variable     { color: var(--ct-color-white); }   /* variables */

.cm-s-chalinlab {
  background-color: var(--ct-color-black); /* color de fondo general del editor */
  color: var(--ct-color-white);            /* color de texto por defecto */
  font-family: var(--ct-font-family-code);
  font-size: 14px;
}

.cm-s-chalinlab .CodeMirror-gutters {
  background-color: var(--ct-color-black);   /* fondo de la columna de números de línea */
  color: var(--ct-color-white);              /* color de los números de línea */
  border-right: 1px solid var(--ct-color-grey);
}

.cm-s-chalinlab .CodeMirror-cursor {
  border-left: 1px solid var(--ct-color-orange);  /* cursor */
}

.cm-s-chalinlab .CodeMirror-selected {
  background-color: var(--ct-white-light-02) !important;  /* selección */
  border-radius: 2px;
}