/* Design tokens. Every other style sheet uses these variables and no raw colors. */
:root {
  --bg: #05070D;
  --bg-2: #080B14;
  --line: rgba(255, 255, 255, 0.16);
  --line-strong: rgba(255, 255, 255, 0.4);
  --text: #F2EFE9;
  --muted: #8E95A3;
  --accent: #F2B27A;
  --data: #8FD3E0;
  --tok-root: #6B4C9A;
  --tok-app: #4CAF50;
  --tok-next: #E8874A;
  --tok-begin: #111111;
  --tok-end: #EEEEEE;
  --plate: #F4F5F7;
  --font-display: "Rajdhani", "IBM Plex Sans", Arial, sans-serif;
  --font-body: "IBM Plex Sans", "Helvetica Neue", Arial, sans-serif;
  --font-mono: "IBM Plex Mono", "Menlo", monospace;
  --max-width: 1280px;
  --gutter: 24px;
  --x-edge: 60px;
  --x-text: 96px;
}
html { background: var(--bg); color: var(--text); scroll-behavior: smooth; }
body {
  margin: 0;
  background: var(--bg);
  color: var(--text);
  font-family: var(--font-body);
  font-weight: 300;
  font-size: 1.05rem;
  line-height: 1.65;
  -webkit-font-smoothing: antialiased;
}
* { box-sizing: border-box; }
img, video { max-width: 100%; }
a { color: var(--text); }