/* CodeMirror 6 base styles — minimal overrides for the game's dark theme */
.cm-editor {
  height: 100%;
  font-size: 13px;
}
.cm-editor .cm-scroller {
  font-family: 'Consolas', 'Courier New', monospace;
}
.cm-editor.cm-focused {
  outline: none;
}
.cm-editor .cm-gutters {
  border-right: 1px solid #333;
}
.cm-editor .cm-activeLineGutter {
  background: rgba(255,255,255,0.05);
}