/* Verity site — dark-first, monospace-forward. Palette mirrors the product's
   scope inspector (crates/verity-server/src/ui.html). No external requests. */

:root {
  --bg: #0d1117;
  --panel: #131920;
  --panel2: #1a2129;
  --border: #2b3540;
  --text: #cdd6df;
  --dim: #8b95a1;
  --accent: #58a6ff;
  --green: #3fb950;
  --amber: #d29922;
  --blue: #4493f8;
  --red: #f85149;
  --mono: ui-monospace, SFMono-Regular, Menlo, Consolas, "Liberation Mono", monospace;
  /* Proportional face for running prose only. Code, data, labels, the terminal
     and every identifier stay mono. Pure system stack — no network request. */
  --sans: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue",
          Helvetica, Arial, "Noto Sans", sans-serif;
  /* ---- one shared type scale (index / why / docs all consume these) ---- */
  --fs-eyebrow: 12px;   /* uppercase kicker line above a heading */
  --fs-micro: 11px;     /* smallest mono labels/pills */
  --fs-small: 12px;     /* captions, table headers, provenance labels */
  --fs-body: 14px;      /* running prose + list items */
  --fs-h3: 15px;        /* card / subsection heading */
  --fs-lede: 15px;      /* section sub / lede */
  --fs-h2: 23px;        /* section heading (landing) */
  --fs-h1: 40px;        /* hero heading ceiling (clamped) */
  /* ---- radius: 3 steps mapped to role ---- */
  --r-control: 6px;     /* buttons, inputs, pills-that-aren't-pills, small chips */
  --r-card: 8px;        /* cards, code blocks, callouts, terminals */
  --r-feature: 12px;    /* hero / feature panels, big CTA cards */
  --r-pill: 10px;       /* true pills only (badges, version tag) */
  /* rhythm */
  --sec-pad: 46px;
  /* terminal stays dark in both schemes */
  --term-bg: #0a0e13;
  --term-border: #2b3540;
  --term-text: #cdd6df;
  color-scheme: dark;
}

@media (prefers-color-scheme: light) {
  :root {
    --bg: #f6f8fa;
    --panel: #ffffff;
    --panel2: #eef1f4;
    --border: #d0d7de;
    --text: #1f2328;
    --dim: #59636e;
    --accent: #0969da;
    --green: #1a7f37;
    --amber: #9a6700;
    --blue: #0969da;
    --red: #cf222e;
    color-scheme: light;
  }
}

* { box-sizing: border-box; margin: 0; padding: 0; }

html { scroll-behavior: smooth; }
@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  .cursor { animation: none !important; }
}

body {
  background: var(--bg);
  color: var(--text);
  font-family: var(--mono);
  font-size: var(--fs-body);
  line-height: 1.65;
  -webkit-font-smoothing: antialiased;
  text-rendering: optimizeLegibility;
}

/* Running prose gets the proportional face; everything technical stays mono.
   Inline <code> inside prose is re-asserted to mono below. */
.lede, .sec-sub, .claim p, .how-grid p, .stack-col li, .stack-col .plug,
.byot, .honesty, .notmet, .readpath-note, .status-line, .code-note,
.bench-note, .foot-cols, .entry .setup, .entry ul.findings, .tools-inline {
  font-family: var(--sans);
  line-height: 1.6;
}
/* keep identifiers/data mono wherever they appear inside prose */
.lede code, .sec-sub code, .claim p code, .how-grid p code, .stack-col li code,
.byot code, .honesty code, .notmet code, .readpath-note code, .code-note code,
.bench-note code, .entry .setup code, .entry ul.findings code, .foot-cols code {
  font-family: var(--mono);
}

a { color: var(--accent); text-decoration: none; }
a:hover { text-decoration: underline; }

/* visible keyboard focus on every interactive element */
a:focus-visible, button:focus-visible, [tabindex]:focus-visible {
  outline: 2px solid var(--accent);
  outline-offset: 2px;
  border-radius: 4px;
}
:focus:not(:focus-visible) { outline: none; }

.wrap { max-width: 1040px; margin: 0 auto; padding: 0 20px; }

.skip {
  position: absolute; left: -9999px; top: 0;
  background: var(--panel); color: var(--accent); padding: 8px 12px; z-index: 10;
}
.skip:focus { left: 8px; top: 8px; }

/* ---------- header ---------- */

.site-head {
  border-bottom: 1px solid var(--border);
  position: sticky; top: 0; z-index: 5;
  background: color-mix(in srgb, var(--bg) 88%, transparent);
  backdrop-filter: blur(6px);
}
.site-head .wrap {
  display: flex; align-items: baseline; gap: 18px;
  padding-top: 12px; padding-bottom: 12px; flex-wrap: wrap;
}
.logo { font-weight: 700; font-size: 15px; color: var(--text); letter-spacing: .02em; }
.logo:hover { text-decoration: none; color: var(--accent); }
.logo .tick { color: var(--green); }
.ver {
  color: var(--amber); font-size: 11px; border: 1px solid var(--border);
  border-radius: var(--r-pill); padding: 0 7px; vertical-align: 1px;
}
nav.site-nav { margin-left: auto; display: flex; gap: 16px; flex-wrap: wrap; }
nav.site-nav a { color: var(--dim); font-size: 13px; }
nav.site-nav a:hover { color: var(--accent); text-decoration: none; }
nav.site-nav a.gh { color: var(--text); }

/* ---------- hero ---------- */

.hero { padding: 56px 0 30px; }
.hero-grid {
  display: grid; grid-template-columns: minmax(0, 5fr) minmax(0, 6fr);
  gap: 40px; align-items: start;
}
.hero h1 {
  font-size: clamp(30px, 4.4vw, var(--fs-h1)); line-height: 1.18; font-weight: 700;
  letter-spacing: -.02em; margin-bottom: 16px; text-wrap: balance;
}
.hero h1 em { font-style: normal; color: var(--accent); }
.hero .lede { color: var(--dim); margin-bottom: 10px; font-size: var(--fs-lede); max-width: 54ch; }
.hero .lede b, .hero .lede strong { color: var(--text); font-weight: 600; }
.hero-cmd {
  margin-top: 18px; display: flex; align-items: center; gap: 10px;
  border: 1px solid var(--border); border-radius: var(--r-control);
  padding: 10px 12px; background: var(--panel); max-width: 100%;
}
.hero-cmd code { color: var(--text); font-size: 13px; overflow-x: auto; white-space: nowrap; }
.hero-cmd code .p { color: var(--dim); margin-right: 8px; user-select: none; }
.hero-cmd button.copy { margin-left: auto; flex: none; }
.readpath-note {
  color: var(--dim); max-width: 62ch; margin-bottom: 26px;
  padding-left: 14px; border-left: 2px solid var(--accent);
}
.hero-links { margin-top: 18px; display: flex; gap: 12px; flex-wrap: wrap; }
.btn {
  display: inline-block; border: 1px solid var(--border); border-radius: var(--r-control);
  padding: 7px 14px; font-size: 13px; color: var(--text); background: var(--panel);
}
.btn:hover { border-color: var(--accent); color: var(--accent); text-decoration: none; }
.btn.primary { border-color: var(--accent); color: var(--accent); }

/* claims — three parallel pillars (not an ordered sequence): a semantic-colored
   tick rule replaces the old 01/02/03 numbering. */
.claims { margin-top: 30px; border-top: 1px solid var(--border); }
.claim {
  display: grid; grid-template-columns: minmax(150px, 220px) 1fr;
  gap: 14px 20px; padding: 18px 0 18px 16px; border-bottom: 1px solid var(--border);
  position: relative;
}
.claim::before {
  content: ""; position: absolute; left: 0; top: 20px; bottom: 20px;
  width: 2px; border-radius: 2px; background: var(--green);
}
.claim.c-live::before  { background: var(--blue); }
.claim.c-speed::before { background: var(--accent); }
.claim h2 { font-size: var(--fs-h3); font-weight: 700; }
.claim h2 .m { display: block; color: var(--green); font-weight: 600; font-size: var(--fs-small); margin-top: 3px; font-family: var(--mono); }
.claim.c-live  h2 .m { color: var(--blue); }
.claim.c-speed h2 .m { color: var(--accent); }
.claim p { color: var(--dim); font-size: 13px; }
.claim p a { white-space: nowrap; }

/* ---------- terminal ---------- */

.term {
  background: var(--term-bg); border: 1px solid var(--term-border);
  border-radius: var(--r-card); overflow: hidden; color: var(--term-text);
}
.term-head {
  display: flex; align-items: center; gap: 10px;
  padding: 7px 12px; border-bottom: 1px solid var(--term-border);
  background: rgba(255,255,255,.03);
  color: #7d8894; font-size: 12px;
}
.term-head .dot { width: 9px; height: 9px; border-radius: 50%; background: #2b3540; flex: none; }
.term-head .title { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.term-head button {
  margin-left: auto; background: none; border: 1px solid #2b3540; border-radius: var(--r-control);
  color: #7d8894; font-family: var(--mono); font-size: 11px; padding: 2px 9px; cursor: pointer;
}
.term-head button:hover { color: #58a6ff; border-color: #58a6ff; }
.term-body {
  padding: 14px 16px; font-size: 12.5px; line-height: 1.7;
  white-space: pre-wrap; word-break: break-word; overflow-x: auto;
  min-height: 240px; margin: 0; font-family: var(--mono);
}
.term-body .cmd  { color: #cdd6df; font-weight: 600; }
.term-body .p    { color: #58a6ff; }          /* prompt $ */
.term-body .hd   { color: #cdd6df; font-weight: 700; }
.term-body .dim  { color: #7d8894; }
.term-body .ok   { color: #3fb950; font-weight: 600; }
.term-body .warn { color: #d29922; }
.term-body .acc  { color: #58a6ff; }
.cursor {
  display: inline-block; width: 7px; height: 14px; vertical-align: -2px;
  background: #58a6ff; animation: blink 1.1s step-end infinite;
}
@keyframes blink { 50% { opacity: 0; } }

.term.tall .term-body { min-height: 0; }

/* ---------- sections ---------- */

section.block { padding: var(--sec-pad) 0 8px; }

/* Real section heading: normal case, its own size — the loudest text in the
   section, not the quietest. */
section.block > .wrap > h2 {
  font-size: var(--fs-h2); font-weight: 600; line-height: 1.2;
  letter-spacing: -.01em; color: var(--text); margin-bottom: 12px;
  text-wrap: balance; font-family: var(--sans);
}
/* Eyebrow / kicker: the uppercase-accent treatment, demoted to a line that sits
   ABOVE a real heading (matches why.html's pattern). Use .sec-eyebrow on a <p>
   before the h2; .sec-h is the legacy alias kept for pages that still use it. */
.sec-eyebrow, .sec-h {
  font-size: var(--fs-eyebrow); font-weight: 700; text-transform: uppercase;
  letter-spacing: .12em; color: var(--accent); margin-bottom: 8px; font-family: var(--mono);
}
.sec-eyebrow + h2 { margin-top: 0; }
.sec-sub { color: var(--dim); margin-bottom: 22px; max-width: 72ch; font-size: var(--fs-lede); }
.sec-sub b, .sec-sub strong { color: var(--text); font-weight: 600; }

hr.rule { border: 0; border-top: 1px solid var(--border); margin: 44px 0 0; }

/* ---------- code blocks + copy ---------- */

.codeblock { position: relative; margin: 0 0 16px; }
.codeblock pre {
  background: var(--panel); border: 1px solid var(--border); border-radius: var(--r-card);
  padding: 14px 16px; overflow-x: auto; font-size: 12.5px; line-height: 1.7;
}
.codeblock code { font-family: var(--mono); }
.codeblock .c { color: var(--dim); }        /* comment */
.codeblock .k { color: var(--accent); }     /* command/keyword */
.codeblock .s { color: var(--green); }      /* string */
.codeblock .f { color: var(--amber); }      /* flag */
button.copy {
  position: absolute; top: 8px; right: 8px;
  background: var(--panel2); color: var(--dim);
  border: 1px solid var(--border); border-radius: var(--r-control);
  font-family: var(--mono); font-size: 11px; padding: 3px 10px; cursor: pointer;
}
button.copy:hover { color: var(--accent); border-color: var(--accent); }
button.copy.done { color: var(--green); border-color: var(--green); }
.code-note { color: var(--dim); font-size: 12.5px; margin: -6px 0 18px; }
.term + .code-note { margin-top: 12px; }
.code-note code { color: var(--text); }

/* ---------- stack grid ---------- */

.stack-grid {
  display: grid; grid-template-columns: repeat(auto-fit, minmax(280px, 1fr));
  gap: 14px; margin-bottom: 16px;
}
.stack-col {
  border: 1px solid var(--border); border-radius: var(--r-card); background: var(--panel);
  padding: 14px 16px;
}
.stack-col h3 {
  font-size: 12px; text-transform: uppercase; letter-spacing: .08em;
  color: var(--dim); font-weight: 600; margin-bottom: 10px;
}
.stack-col ul { list-style: none; }
.stack-col li { padding: 3px 0; font-size: 13px; }
.stack-col li code { color: var(--dim); font-size: 12px; }
.stack-col li .plug { color: var(--dim); }
.tools-inline { color: var(--dim); font-size: 12px; line-height: 1.9; }
.tools-inline code {
  color: var(--text); background: var(--panel2); border: 1px solid var(--border);
  border-radius: 4px; padding: 0 5px; font-size: 11.5px; white-space: nowrap;
}
.byot {
  border-left: 3px solid var(--accent); background: var(--panel);
  border-radius: 0 var(--r-card) var(--r-card) 0; padding: 12px 16px; color: var(--dim); font-size: 13px;
  margin-top: 4px;
}
.byot b { color: var(--text); }

/* ---------- provenance badges ---------- */

.badge {
  display: inline-block; padding: 1px 8px; border-radius: var(--r-pill);
  font-size: var(--fs-micro); border: 1px solid; margin: 1px 4px 1px 0; vertical-align: middle;
  white-space: nowrap;
}
.b-mirrored       { color: var(--green); border-color: color-mix(in srgb, var(--green) 50%, transparent); background: color-mix(in srgb, var(--green) 8%, transparent); }
.b-approximated   { color: var(--amber); border-color: color-mix(in srgb, var(--amber) 50%, transparent); background: color-mix(in srgb, var(--amber) 8%, transparent); }
.b-admin-assigned { color: var(--blue);  border-color: color-mix(in srgb, var(--blue) 50%, transparent);  background: color-mix(in srgb, var(--blue) 8%, transparent); }
.b-quarantined    { color: var(--red);   border-color: color-mix(in srgb, var(--red) 50%, transparent);   background: color-mix(in srgb, var(--red) 8%, transparent); }

/* ---------- how it works ---------- */

.arch-svg-wrap { overflow-x: auto; margin-bottom: 22px; }
.arch-svg-wrap svg { display: block; min-width: 700px; width: 100%; height: auto; }
.sv-box   { fill: var(--panel); stroke: var(--border); }
.sv-box2  { fill: var(--panel2); stroke: var(--border); }
.sv-boxk  { fill: none; stroke: var(--dim); stroke-dasharray: 4 4; }
.sv-t     { fill: var(--text); font-family: var(--mono); font-size: 12px; font-weight: 600; }
.sv-d     { fill: var(--dim); font-family: var(--mono); font-size: 10.5px; }
.sv-a     { fill: var(--accent); font-family: var(--mono); font-size: 10.5px; }
.sv-line  { stroke: var(--dim); stroke-width: 1; fill: none; }
.sv-lined { stroke: var(--dim); stroke-width: 1; fill: none; stroke-dasharray: 4 4; }
.sv-bm    { font-family: var(--mono); font-size: 10.5px; font-weight: 600; }
.sv-bm.g  { fill: var(--green); }  .sv-bm.a { fill: var(--amber); }
.sv-bm.b  { fill: var(--blue); }   .sv-bm.r { fill: var(--red); }

.how-grid {
  display: grid; grid-template-columns: repeat(auto-fit, minmax(300px, 1fr));
  gap: 14px;
}
.how-grid article {
  border: 1px solid var(--border); border-radius: var(--r-card); background: var(--panel);
  padding: 14px 16px;
}
.how-grid h3 { font-size: var(--fs-h3); font-weight: 700; margin-bottom: 6px; }
.how-grid p { color: var(--dim); font-size: 13px; }
.how-grid p code { color: var(--text); font-size: 12px; }
.how-grid p b { color: var(--text); }

/* ---------- tables ---------- */

.tscroll { overflow-x: auto; margin-bottom: 14px; }
table.bench {
  border-collapse: collapse; width: 100%; font-size: 13px; min-width: 560px;
}
table.bench caption {
  text-align: left; color: var(--dim); font-size: 12px; padding-bottom: 8px;
}
table.bench th, table.bench td {
  border: 1px solid var(--border); padding: 6px 10px; text-align: right;
  white-space: nowrap;
}
table.bench th {
  background: var(--panel2); color: var(--dim); font-weight: 600;
  text-transform: uppercase; font-size: 11px; letter-spacing: .05em;
}
table.bench td:first-child, table.bench th:first-child { text-align: left; white-space: normal; }
table.bench td.hot { color: var(--green); font-weight: 700; }
table.bench td.bad { color: var(--red); }
table.bench td .was { color: var(--dim); font-weight: 400; }
.bench-note { color: var(--dim); font-size: 12.5px; max-width: 78ch; margin-bottom: 12px; }
.bench-note b { color: var(--text); }
.bench-note .breach { color: var(--red); }

.honesty {
  border-left: 3px solid var(--green); background: var(--panel);
  border-radius: 0 var(--r-card) var(--r-card) 0; padding: 12px 16px; font-size: 13px; color: var(--dim);
  margin: 18px 0;
}
.honesty b { color: var(--text); }

.notmet {
  border-left: 3px solid var(--amber); background: var(--panel);
  border-radius: 0 var(--r-card) var(--r-card) 0; padding: 12px 16px; font-size: 13px; color: var(--dim);
  margin: 18px 0;
}
.notmet b { color: var(--text); }

/* ---------- benchmarks page ---------- */

.entry { padding: 30px 0 6px; border-top: 1px solid var(--border); }
.entry:first-of-type { border-top: 0; }
.entry h2 { font-size: 15px; font-weight: 700; margin-bottom: 4px; }
.entry .date { color: var(--amber); font-size: 12px; }
.entry .setup { color: var(--dim); font-size: 13px; margin: 8px 0 14px; max-width: 74ch; }
.entry .setup b { color: var(--text); }
.entry ul.findings { margin: 4px 0 14px 18px; color: var(--dim); font-size: 13px; max-width: 74ch; }
.entry ul.findings li { margin-bottom: 6px; }
.entry ul.findings b { color: var(--text); }
.entry ul.findings .g { color: var(--green); }
.entry ul.findings .r { color: var(--red); }

/* ---------- footer ---------- */

footer.site-foot { border-top: 1px solid var(--border); margin-top: 48px; }
.status-line {
  border: 1px solid color-mix(in srgb, var(--amber) 45%, transparent);
  background: color-mix(in srgb, var(--amber) 7%, transparent);
  color: var(--amber); border-radius: var(--r-control); font-size: 12.5px;
  padding: 8px 12px; margin: 24px 0 0;
}
footer .wrap { padding-top: 20px; padding-bottom: 40px; }
.foot-cols {
  display: flex; gap: 24px; flex-wrap: wrap; justify-content: space-between;
  color: var(--dim); font-size: 12.5px; margin-top: 18px;
}
.foot-cols a { color: var(--dim); text-decoration: underline; text-decoration-color: var(--border); }
.foot-cols a:hover { color: var(--accent); }

/* ---------- knowledge layer section ---------- */
.kl { border-top: 1px solid var(--border); }
.kl-eyebrow {
  font-family: var(--mono); font-size: 11px; letter-spacing: .08em;
  text-transform: uppercase; color: var(--accent); margin-bottom: 6px;
}
.kl-how {
  display: grid; grid-template-columns: repeat(auto-fit, minmax(240px, 1fr));
  gap: 14px; margin: 4px 0 22px;
}
.kl-how article {
  border: 1px solid var(--border); border-radius: var(--r-card); padding: 16px 16px 14px;
  background: var(--panel); position: relative;
}
.kl-how .kl-n {
  font-family: var(--mono); font-size: 12px; font-weight: 700; color: var(--accent);
  border: 1px solid color-mix(in srgb, var(--accent) 45%, var(--border));
  border-radius: var(--r-control); padding: 1px 7px; display: inline-block; margin-bottom: 8px;
}
.kl-how h3 { font-size: var(--fs-h3); font-weight: 700; margin-bottom: 6px; }
.kl-how p { color: var(--dim); font-size: 13px; }
.kl-how p b { color: var(--text); }
.kl-how p code { color: var(--text); font-size: 12px; }

.kl-worked {
  border: 1px solid color-mix(in srgb, var(--green) 30%, var(--border));
  border-radius: var(--r-card); padding: 18px; background: var(--panel); margin-bottom: 18px;
}
.kl-worked p { color: var(--dim); font-size: 13px; margin-bottom: 10px; }
.kl-worked p b, .kl-worked p em { color: var(--text); font-style: normal; }
.kl-worked p code { color: var(--text); font-size: 12px; }
.kl-worked-h { color: var(--text) !important; font-weight: 700; font-size: 14px; margin-top: 4px; }
.kl-worked-flow {
  display: flex; flex-wrap: wrap; align-items: center; gap: 8px;
  font-family: var(--mono); font-size: 12px; margin-bottom: 14px;
}
.kl-src {
  border: 1px solid var(--border); border-radius: var(--r-control); padding: 3px 9px;
  color: var(--dim); background: var(--panel2);
}
.kl-plus, .kl-arrow { color: var(--dim); }
.kl-gate {
  border: 1px solid color-mix(in srgb, var(--red) 45%, var(--border));
  border-radius: var(--r-control); padding: 3px 9px; color: var(--red);
}
.kl-item {
  border: 1px solid color-mix(in srgb, var(--green) 45%, var(--border));
  border-radius: var(--r-control); padding: 3px 9px; color: var(--green);
}
.kl-quote {
  border-left: 3px solid var(--green); background: var(--panel2);
  border-radius: 0 var(--r-control) var(--r-control) 0; padding: 12px 14px; margin: 4px 0 12px;
  color: var(--text); font-size: 13.5px;
}
.kl-quote .kl-kind {
  display: block; font-family: var(--mono); font-size: 10.5px; color: var(--green);
  margin-bottom: 5px; letter-spacing: .04em;
}
.kl-quote .kl-tier {
  display: block; font-family: var(--mono); font-size: 11px; color: var(--dim);
  margin-top: 6px;
}
.kl-quote .kl-tier b { color: var(--green); }

.kl-honest {
  border: 1px solid var(--border); border-left: 3px solid var(--amber);
  border-radius: 0 var(--r-card) var(--r-card) 0; padding: 16px 18px; background: var(--panel);
}
.kl-honest p { color: var(--dim); font-size: 13px; margin-bottom: 10px; }
.kl-honest p b { color: var(--text); }
.kl-honest p code { color: var(--text); font-size: 12px; }
.kl-honest-h { color: var(--text) !important; font-weight: 700; font-size: 14px; }
.kl-facts {
  list-style: none; margin: 4px 0 12px; padding: 0;
  display: grid; grid-template-columns: repeat(auto-fit, minmax(260px, 1fr)); gap: 6px 18px;
}
.kl-facts li {
  color: var(--dim); font-size: 12.5px; padding-left: 16px; position: relative;
}
.kl-facts li::before {
  content: "▚"; position: absolute; left: 0; color: var(--green); font-size: 10px; top: 1px;
}
.kl-facts li b { color: var(--text); }
.kl-facts li code { color: var(--text); font-size: 11.5px; }
.kl-more { margin-bottom: 0 !important; }

/* ---------- responsive ---------- */

@media (max-width: 920px) {
  .hero-grid { grid-template-columns: 1fr; }
  .claim { grid-template-columns: 1fr; }
}
@media (max-width: 560px) {
  body { font-size: 13.5px; }
}

/* color-mix fallback: older engines skip the declarations above and keep these */
@supports not (background: color-mix(in srgb, red 50%, transparent)) {
  .b-mirrored       { background: rgba(63,185,80,.08);  border-color: rgba(63,185,80,.5); }
  .b-approximated   { background: rgba(210,153,34,.08); border-color: rgba(210,153,34,.5); }
  .b-admin-assigned { background: rgba(68,147,248,.08); border-color: rgba(68,147,248,.5); }
  .b-quarantined    { background: rgba(248,81,73,.08);  border-color: rgba(248,81,73,.5); }
  .site-head { background: var(--bg); }
  .status-line { border-color: var(--amber); }
}