:root {
  --green: #33ff66;
  --green-dim: #1a8833;
  --green-deep: #0d4a1c;
  --green-bright: #aaffaa;
  --bg: #000;
  --amber: #ffb000;
  --red: #ff4444;
  --panel: rgba(20, 60, 30, 0.12);
}
* { box-sizing: border-box; margin: 0; padding: 0; }
html, body {
  height: 100%;
  background: var(--bg);
  color: var(--green);
  font-family: 'JetBrains Mono', 'Noto Sans SC', 'Menlo', 'Consolas', 'Courier New', monospace;
  font-size: 15px;
  line-height: 1.45;
  overflow: hidden;
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
}