/* nlir site theme — shared tokens + base for the docs pages, the workspace and the
   spec lab. Editorial and precise: warm paper (or graphite, following the system),
   graphite consoles for code, mono for shorthand, serif for the prose it becomes,
   one teal accent for operators and amber for bindings. */
@import url('https://fonts.googleapis.com/css2?family=Inter:wght@400;500;600;700&family=JetBrains+Mono:wght@400;500;600&family=Newsreader:ital,opsz,wght@0,6..72,400;0,6..72,500;0,6..72,600;1,6..72,400&display=swap');

:root {
  color-scheme: light dark;
  --paper: #f6f5f1;
  --paper-2: #eeece5;
  --ink: #16181d;
  --ink-2: #3a3e47;
  --muted: #6a6f7c;
  --rule: #dad7cd;
  --rule-strong: #c7c3b7;
  --accent: #0e7563;
  --accent-ink: #0a5a4c;
  --accent-soft: #e0eee8;
  --amber: #9a5d16;
  --amber-soft: #f3e7d4;
  --danger: #b03a2e;

  --console: #121418;
  --console-2: #191c22;
  --console-rule: #282c35;
  --console-ink: #e6e8ed;
  --console-muted: #8b92a1;
  --syn-op: #5cc6a8;
  --syn-str: #b9d4ea;
  --syn-num: #e9b9a5;
  --syn-bind: #f0d18a;
  --syn-form: #c9c3ee;

  --sans: 'Inter', ui-sans-serif, system-ui, -apple-system, 'Segoe UI', sans-serif;
  --serif: 'Newsreader', 'Iowan Old Style', Georgia, serif;
  --mono: 'JetBrains Mono', ui-monospace, SFMono-Regular, Menlo, monospace;

  --r: 8px;
  --r-sm: 5px;
  --bar-h: 3.4rem;
}

@media (prefers-color-scheme: dark) {
  :root {
    --paper: #0f1115;
    --paper-2: #15181d;
    --ink: #eceef2;
    --ink-2: #c4c8d1;
    --muted: #8b92a1;
    --rule: #262a32;
    --rule-strong: #343944;
    --accent: #5cc6a8;
    --accent-ink: #84d9c1;
    --accent-soft: #15302a;
    --amber: #e3a95c;
    --amber-soft: #2c2417;
    --danger: #ef8a7d;
    --console: #0b0d10;
    --console-2: #13161b;
    --console-rule: #232730;
  }
}

* { box-sizing: border-box; }
[hidden] { display: none !important; }
html { scroll-behavior: smooth; -webkit-text-size-adjust: 100%; }
body {
  margin: 0;
  background: var(--paper);
  color: var(--ink-2);
  font: 16px/1.65 var(--sans);
  font-feature-settings: 'cv11', 'ss01';
}
::selection { background: var(--accent-soft); color: var(--ink); }
a { color: var(--accent-ink); text-decoration: underline; text-decoration-thickness: 1px; text-underline-offset: 3px; text-decoration-color: color-mix(in srgb, currentColor 35%, transparent); }
a:hover { text-decoration-color: currentColor; }
:focus-visible { outline: 2px solid var(--accent); outline-offset: 2px; border-radius: 3px; }

/* ---- top bar ------------------------------------------------------------ */
.bar {
  position: sticky; top: 0; z-index: 40;
  height: var(--bar-h);
  display: flex; align-items: center; gap: 1.6rem;
  padding: 0 clamp(1rem, 4vw, 2.4rem);
  background: color-mix(in srgb, var(--paper) 92%, transparent);
  backdrop-filter: saturate(1.2) blur(8px);
  border-bottom: 1px solid var(--rule);
}
.bar .mark { font: 600 1.05rem/1 var(--mono); color: var(--ink); text-decoration: none; letter-spacing: -.02em; margin-right: auto; display: flex; align-items: baseline; gap: .55rem; }
.bar .mark i { font-style: normal; color: var(--accent); }
.bar .mark small { font: 400 .78rem/1 var(--sans); color: var(--muted); letter-spacing: 0; }
.bar a.nav { color: var(--ink-2); text-decoration: none; font-size: .9rem; font-weight: 500; padding: .35rem 0; border-bottom: 1.5px solid transparent; }
.bar a.nav:hover { color: var(--ink); }
.bar a.nav[aria-current="page"] { color: var(--ink); border-bottom-color: var(--accent); }
.bar .badge { font: 500 .72rem/1 var(--mono); color: var(--muted); border: 1px solid var(--rule-strong); border-radius: 999px; padding: .32rem .6rem; }
.bar .badge.live { color: var(--accent-ink); border-color: color-mix(in srgb, var(--accent) 45%, transparent); }
.bar .badge.warn { color: var(--amber); border-color: color-mix(in srgb, var(--amber) 45%, transparent); }
.bar a.nav, .bar .badge { white-space: nowrap; flex: 0 0 auto; }
@media (max-width: 720px) {
  .bar { gap: 1rem; overflow-x: auto; scrollbar-width: none; }
  .bar::-webkit-scrollbar { display: none; }
  .bar .mark small, .bar .hide-sm { display: none; }
}

/* ---- buttons ------------------------------------------------------------ */
.btn, button {
  font: 500 .88rem/1 var(--sans);
  display: inline-flex; align-items: center; gap: .45rem;
  padding: .62rem .95rem; border-radius: var(--r-sm);
  border: 1px solid var(--rule-strong); background: transparent; color: var(--ink);
  cursor: pointer; text-decoration: none; transition: background .12s, border-color .12s, color .12s;
}
.btn:hover, button:hover { background: var(--paper-2); }
.btn.primary, button.primary { background: var(--ink); border-color: var(--ink); color: var(--paper); }
.btn.primary:hover, button.primary:hover { background: color-mix(in srgb, var(--ink) 86%, var(--accent)); }
button[disabled] { opacity: .45; cursor: not-allowed; }
kbd { font: 500 .74rem/1 var(--mono); color: var(--muted); border: 1px solid var(--rule-strong); border-bottom-width: 2px; border-radius: 4px; padding: .12rem .32rem; }

/* ---- consoles (code surfaces) ------------------------------------------- */
.console {
  background: var(--console); color: var(--console-ink);
  border: 1px solid var(--console-rule); border-radius: var(--r);
  font: 400 .92rem/1.6 var(--mono);
}
.syn-op, .o { color: var(--syn-op); }
.syn-str, .s { color: var(--syn-str); }
.syn-num, .num { color: var(--syn-num); }
.syn-bind { color: var(--syn-bind); }
.syn-form { color: var(--syn-form); }

/* the transform line: shorthand (mono) → prose (serif) */
.prose-out { font: 400 1.32rem/1.45 var(--serif); color: var(--ink); }
.arrow { font-family: var(--mono); color: var(--accent); }

/* sigil keycaps */
.key { font: 600 .9rem/1 var(--mono); color: var(--ink); display: inline-flex; align-items: center; justify-content: center; min-width: 1.9rem; height: 1.9rem; padding: 0 .4rem; border: 1px solid var(--rule-strong); border-bottom-width: 2px; border-radius: 5px; background: var(--paper); }

footer.foot { border-top: 1px solid var(--rule); color: var(--muted); font-size: .84rem; padding: 2rem clamp(1rem, 4vw, 2.4rem) 3rem; display: flex; gap: 1.5rem; flex-wrap: wrap; justify-content: space-between; }
footer.foot a { color: var(--ink-2); }