/* ===== oracova shared stylesheet (tools/header.py -- do not edit by hand) =====
   One palette, one type scale, one button, one instrument, one set of chrome.
   Page stylesheets load AFTER this and may extend it; they must not restate it.
   Four rounds of review found the same bug shape every time: a rule written in
   one file and silently outranked by a near-identical rule in another. */

:root {
  /* page palette */
  --bg: #0E0F11;
  --surface: #15161A;
  --surface-2: #191B20;
  --border: rgba(255,255,255,.07);
  --border-strong: rgba(255,255,255,.14);
  --text: #EDEEF0;
  --text-dim: #9DA1A8;
  --text-faint: #83888F;
  --brand: #FFB454;
  --brand-ink: #1A1204;
  --brand-hover: #FFC276;
  --pass: #4ADE80;
  --fail: #F87171;
  --glow: rgba(255,180,84,.10);
  --nav-bg: rgba(14,15,17,.9);
  --board-rim: rgba(255,255,255,.45);
  --select: rgba(255,180,84,.25);

  /* type */
  --sans: -apple-system, BlinkMacSystemFont, "SF Pro Text", "Segoe UI", Inter, Roboto, sans-serif;
  --mono: ui-monospace, "SF Mono", Menlo, Consolas, monospace;
  --h1-hero: clamp(31px, 4.4vw, 48px);
  --h1: clamp(28px, 3.4vw, 40px);
  --h1-sm: clamp(24px, 2.6vw, 30px);
  --h2: clamp(21px, 1.9vw, 24px);
  --h3: 17px;
  --body: 15.5px;

  /* rail: every page sits on the same one */
  --rail: 1040px;
  --pad: 24px;

  /* legacy names kept as aliases so page CSS predating this sheet still works */
  --accent: var(--brand);
  --dim: var(--text-dim);
  --line: var(--border);
  --bg-panel: var(--surface-2);
  --bg-card: var(--surface);
}

@media (prefers-color-scheme: light) {
  :root {
    color-scheme: light;
    --bg: #FAFAF9;
    --surface: #FFFFFF;
    --surface-2: #F5F5F3;
    --border: rgba(20,22,26,.09);
    --border-strong: rgba(20,22,26,.18);
    --text: #16181D;
    --text-dim: #555A63;
    --text-faint: #6B7078;
    --brand: #B05C00;
    --brand-ink: #FFFFFF;
    --brand-hover: #C96A02;
    --pass: #15803D;
    --fail: #DC2626;
    --glow: rgba(176,92,0,.07);
    --nav-bg: rgba(250,250,249,.92);
    --board-rim: rgba(20,22,26,.30);
    --select: rgba(176,92,0,.18);
  }
}

/* An instrument is a readout, not page furniture, so it keeps the dark palette in
   both themes. Every token it consumes is re-pinned here: the previous version
   re-pinned two of them and light mode leaked in through the rest, dropping the
   homepage verdict line to 3.74:1 while the ticks above it stayed at 10.76. */
.instrument {
  --bg: #0E0F11;
  --surface: #15171C;
  --surface-2: #101216;
  --border: rgba(255,255,255,.09);
  --border-strong: rgba(255,255,255,.16);
  --text: #E6EAEF;
  --text-dim: #8E97A3;
  --text-faint: #8E97A3;
  --brand: #FFB454;
  --brand-ink: #1A1204;
  --brand-hover: #FFC276;
  --accent: #FFB454;
  --pass: #4ADE80;
  --fail: #F87171;
  --glow: rgba(255,180,84,.10);
  --select: rgba(255,180,84,.25);
  --line: rgba(255,255,255,.09);
  --bg-panel: #101216;
  --bg-card: #15171C;
  color: var(--text);
}

* { margin: 0; padding: 0; box-sizing: border-box; }
/* so native controls, scrollbars and autofill follow the page, not the OS */
:root { color-scheme: dark; }
html { scroll-behavior: smooth; scroll-padding-top: 68px; }
body { background: var(--bg); color: var(--text); font-family: var(--sans);
  font-size: var(--body); line-height: 1.6; -webkit-font-smoothing: antialiased; }
::selection { background: var(--select); }
img { max-width: 100%; }
a:focus-visible, button:focus-visible, summary:focus-visible {
  outline: 2px solid var(--brand); outline-offset: 2px; border-radius: 4px; }

h1, h2, h3 { font-weight: 600; letter-spacing: -.02em; line-height: 1.15; }
h1 { font-size: var(--h1); }
h2 { font-size: var(--h2); }
h3 { font-size: var(--h3); }
p { text-wrap: pretty; }
.kicker { font-family: var(--mono); font-size: 11.5px; font-weight: 600;
  letter-spacing: .12em; text-transform: uppercase; color: var(--text-faint);
  margin-bottom: 14px; }

.btn { display: inline-flex; align-items: center; justify-content: center;
  min-height: 44px; padding: 9px 18px; border-radius: 8px;
  font-family: var(--sans); font-size: 14px; font-weight: 600; letter-spacing: -.01em;
  text-decoration: none; border: 1px solid transparent; cursor: pointer;
  transition: background-color .15s ease, border-color .15s ease, color .15s ease; }
.btn-primary { background: var(--brand); color: var(--brand-ink); }
.btn-primary:hover { background: var(--brand-hover); color: var(--brand-ink); }
.btn-ghost { background: none; border-color: var(--border-strong); color: var(--text); }
.btn-ghost:hover { border-color: var(--text-dim); background: rgba(127,127,127,.06); }
.btn-sm { min-height: 38px; padding: 7px 14px; font-size: 13.5px; }
.btn:disabled, .btn[aria-disabled="true"] { opacity: .5; cursor: not-allowed; }
.btn-primary:disabled:hover { background: var(--brand); }

/* The homepage replay and the /demo replay are the same artifact. They used to
   render at two densities, 29px pitch against 22px, with the denser one in
   larger type. One definition, both pages. */
.bench-log, .term-log { display: flex; flex-direction: column; gap: 8px;
  overflow: hidden; padding: 20px 18px;
  font-family: var(--mono); font-size: 13px; line-height: 1.6; }
.bench-log .bl, .term-log .ln { white-space: pre-wrap;
  padding-left: 9ch; text-indent: -9ch; color: var(--text-dim); }
@media (max-width: 560px) { .bench-log, .term-log { font-size: 11.5px; padding: 14px; } }

/* ===== canonical site chrome (tools/header.py -- do not edit per page) =====
   Now built from the shared tokens above, so the two hand-maintained light-mode
   blocks this used to carry collapse into nothing. */
.site-nav { position: sticky; top: 0; z-index: 40; background: var(--nav-bg);
  -webkit-backdrop-filter: blur(14px) saturate(1.4); backdrop-filter: blur(14px) saturate(1.4);
  border-bottom: 1px solid var(--border-strong); }
.site-nav .nav-inner { max-width: var(--rail); margin: 0 auto; padding: 0 var(--pad);
  display: flex; align-items: center; justify-content: space-between; height: 56px; }
.site-nav .nav-logo { font-family: var(--mono);
  font-size: 16px; font-weight: 700; letter-spacing: -.01em; color: var(--text);
  text-decoration: none; padding: 13px 6px; margin: -13px -6px; margin-right: auto; }
.site-nav .nav-logo i { font-style: normal; color: var(--brand); }
.site-nav .nav-set { display: flex; gap: 4px; align-items: center; margin-left: 16px; flex: 0 0 auto; }
.site-nav .nav-set a:not(.nav-cta) { color: var(--text-dim); text-decoration: none;
  display: inline-flex; align-items: center; min-height: 44px; font-family: var(--sans);
  font-size: 14px; font-weight: 500; white-space: nowrap; padding: 0 12px; border-radius: 8px; }
.site-nav .nav-set a:not(.nav-cta):hover { color: var(--text); background: rgba(127,127,127,.09); }
.site-nav .nav-cta { display: inline-flex; align-items: center; justify-content: center;
  min-height: 44px; margin-left: 10px; padding: 9px 16px; border-radius: 8px;
  border: 1px solid transparent; background: var(--brand); color: var(--brand-ink);
  text-decoration: none; font-family: var(--sans);
  font-size: 14px; font-weight: 600; letter-spacing: -.01em; white-space: nowrap; flex-shrink: 0; }
.site-nav .nav-cta:hover { background: var(--brand-hover); color: var(--brand-ink); }
.site-nav .nav-set a[aria-current="page"] { color: var(--text); font-weight: 700; }
.site-menu a[aria-current="page"] { font-weight: 700; }
.site-nav a:focus-visible { outline: 2px solid var(--brand); outline-offset: 2px; }
.site-nav .nav-burger { display: none; background: none; border: 1px solid var(--border-strong);
  border-radius: 8px; width: 44px; height: 44px; cursor: pointer; padding: 0;
  align-items: center; justify-content: center; margin-right: 14px; flex: 0 0 auto; }
.site-nav .nav-burger span { display: block; width: 16px; height: 1.5px; background: var(--text);
  position: relative; transition: background .15s ease; }
.site-nav .nav-burger span::before, .site-nav .nav-burger span::after {
  content: ""; position: absolute; left: 0; width: 16px; height: 1.5px; background: var(--text);
  transition: transform .18s ease, top .18s ease; }
.site-nav .nav-burger span::before { top: -5px; }
.site-nav .nav-burger span::after { top: 5px; }
.site-nav .nav-burger[aria-expanded="true"] span { background: transparent; }
.site-nav .nav-burger[aria-expanded="true"] span::before { top: 0; transform: rotate(45deg); }
.site-nav .nav-burger[aria-expanded="true"] span::after { top: 0; transform: rotate(-45deg); }
.site-menu { display: none; border-bottom: 1px solid var(--border-strong); background: var(--surface);
  box-shadow: 0 14px 28px rgba(0,0,0,.45); }
.site-menu.open { display: block; }
.site-menu a { display: block; padding: 14px var(--pad); color: var(--text); text-decoration: none;
  font-family: var(--sans); font-size: 16px; border-top: 1px solid var(--border); }
.site-menu a:first-child { border-top: 0; }
@media (max-width: 800px) {
  .site-nav { position: fixed; top: 0; left: 0; right: 0;
    -webkit-backdrop-filter: none; backdrop-filter: none; background: var(--bg); }
  body { padding-top: 56px; }
  .site-nav .nav-set a:not(.nav-cta) { display: none; }
  .site-nav .nav-burger { display: flex; }
  .site-menu { position: fixed; top: 56px; left: 0; right: 0; z-index: 39;
    max-height: calc(100vh - 56px); overflow-y: auto; }
}
@media (min-width: 801px) { .site-menu { display: none !important; } }
/* burger + logo + CTA do not fit a 320px viewport at the default metrics */
@media (max-width: 400px) {
  .site-nav .nav-inner { padding: 0 16px; }
  .site-nav .nav-burger { margin-right: 10px; }
  .site-nav .nav-cta { margin-left: 8px; padding: 9px 12px; font-size: 13px; }
}
.site-foot { border-top: 1px solid var(--border); margin-top: 64px; padding: 40px 0 48px; }
.site-foot .foot-inner { max-width: var(--rail); margin: 0 auto; padding: 0 var(--pad); }
.site-foot .foot-sr { position: absolute; width: 1px; height: 1px; overflow: hidden;
  clip: rect(0 0 0 0); clip-path: inset(50%); white-space: nowrap; }
.site-foot .foot-map { display: grid; grid-template-columns: repeat(4, 1fr); gap: 28px; }
.site-foot h3 { font-family: var(--mono); font-size: 11.5px; letter-spacing: .1em;
  text-transform: uppercase; color: var(--text-faint); font-weight: 600; margin-bottom: 10px; }
.site-foot a { display: block; color: var(--text-dim); text-decoration: none; font-size: 14px;
  line-height: 1.5; padding: 11px 0; min-height: 44px; font-family: var(--sans); }
.site-foot a:hover { color: var(--text); }
.site-foot .foot-base { display: flex; justify-content: space-between; flex-wrap: wrap; gap: 10px;
  margin-top: 34px; padding-top: 18px; border-top: 1px solid var(--border);
  font-family: var(--mono); font-size: 12.5px; color: var(--text-faint); }
.site-foot .foot-base a { display: inline-block; padding: 11px 0; margin: -11px 0; min-height: 44px;
  color: inherit; font-family: inherit; font-size: inherit; }
@media (max-width: 700px) { .site-foot .foot-map { grid-template-columns: 1fr 1fr; gap: 20px; } }
@media (prefers-color-scheme: light) {
  .site-menu { box-shadow: 0 14px 28px rgba(20,22,26,.12); }
}
/* ===== end canonical site chrome ===== */