:root {
  --bg:#1f2530;
  --radius:6px;
}
body {
  background: var(--bg);
  color: #f0f0f5;
  min-height:100vh;
  padding:16px;
}
.CodeMirror {
  height: 55vh;
  border-radius: var(--radius);
  font-size:14px;
  background: #1f273a;
}
.editor-label {
  font-weight:600;
  margin-bottom:4px;
}
#console {
  background: #0d0f19;
  border:1px solid #444;
  border-radius:6px;
  padding:10px;
  font-family: monospace;
  color:#ff9f7f;
  max-height:180px;
  overflow-y:auto;
  margin-top:12px;
  white-space:pre-wrap;
}
.alert-placeholder {
  position: fixed;
  top: 16px;
  right:16px;
  z-index:1050;
  width: auto;
}
.small-muted {
  font-size:0.75rem;
  color:#999;
}