:root {
  --bg: #f7f7f4;
  --panel: #ffffff;
  --ink: #16181d;
  --muted: #5b6270;
  --line: #e2e2dc;
  --accent: #0f172a;
  --link: #1d4ed8;
  --ripe: #15803d;
  --pending: #b45309;
  --check: #1d4ed8;
  --nogo: #b91c1c;
  --unknown: #52525b;
  --formed: #0f766e;
  --myth: #7e22ce;
  --warn: #b45309;
  --mono: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --sans: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;
}
@media (prefers-color-scheme: dark) {
  :root {
    --bg: #0f1115; --panel: #171a21; --ink: #e8e8e3; --muted: #9aa1ad; --line: #2a2f3a; --accent: #e8e8e3;
    --link: #8ab4ff; --ripe: #4ade80; --pending: #fbbf24; --check: #8ab4ff; --nogo: #f87171; --unknown: #a1a1aa;
    --formed: #2dd4bf; --myth: #c084fc; --warn: #fbbf24;
  }
}
* { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; }
body { margin: 0; background: var(--bg); color: var(--ink); font: 16px/1.55 var(--sans); }
a { color: var(--link); text-decoration-thickness: 1px; text-underline-offset: 2px; }
a:hover { text-decoration-thickness: 2px; }
code, .code { font-family: var(--mono); font-size: 0.86em; overflow-wrap: anywhere; }
.wrap { max-width: 1060px; margin: 0 auto; padding: 0 16px; }
.sr { position: absolute; width: 1px; height: 1px; overflow: hidden; clip: rect(0 0 0 0); }
header.site { border-bottom: 1px solid var(--line); background: var(--panel); position: sticky; top: 0; z-index: 5; }
header.site .wrap { display: flex; align-items: center; gap: 18px; min-height: 56px; flex-wrap: wrap; }
.brand { font-weight: 700; color: var(--ink); text-decoration: none; display: inline-flex; align-items: center; gap: 8px; letter-spacing: -0.01em; }
.dot { width: 10px; height: 10px; border-radius: 50%; background: var(--ripe); box-shadow: 0 0 0 3px color-mix(in srgb, var(--ripe) 22%, transparent); display: inline-block; }
header.site nav { display: flex; gap: 4px 14px; flex-wrap: wrap; font-size: 0.94rem; }
header.site nav a { color: var(--muted); text-decoration: none; padding: 4px 0; }
header.site nav a[aria-current="page"], header.site nav a:hover { color: var(--ink); text-decoration: underline; }
main { padding: 24px 16px 48px; }
h1 { font-size: clamp(1.7rem, 4.2vw, 2.55rem); line-height: 1.15; letter-spacing: -0.02em; margin: 0.2em 0 0.35em; }
h2 { font-size: 1.25rem; letter-spacing: -0.01em; margin: 0 0 0.5em; }
h3 { font-size: 1.05rem; margin: 0 0 0.2em; }
.sub { font-size: 1.12rem; color: var(--muted); max-width: 760px; margin: 0 0 1em; }
.lede { color: var(--muted); margin: 0 0 1em; }
.fine { color: var(--muted); font-size: 0.86rem; }
.warn { color: var(--warn); }
.panel { background: var(--panel); border: 1px solid var(--line); border-radius: 10px; padding: 18px; margin: 18px 0; }
.callout { border-left: 3px solid var(--unknown); padding: 4px 0 4px 12px; margin: 0; color: var(--muted); }
.btn { display: inline-block; background: var(--accent); color: var(--bg); border: 1px solid var(--accent); border-radius: 8px; padding: 9px 14px; font: inherit; font-size: 0.95rem; font-weight: 600; text-decoration: none; cursor: pointer; margin: 2px 4px 2px 0; }
.btn.ghost { background: transparent; color: var(--ink); border-color: var(--line); }
.btn:hover { filter: brightness(1.1); text-decoration: none; }
.btn:focus-visible, a:focus-visible, textarea:focus-visible { outline: 3px solid var(--link); outline-offset: 2px; }
/* hero */
.hero { padding: 10px 0 6px; }
.hero h1 { max-width: 820px; }
.stats { list-style: none; padding: 0; margin: 0 0 16px; display: flex; flex-wrap: wrap; gap: 8px 22px; color: var(--muted); font-size: 0.95rem; }
.stats b { color: var(--ink); }
.cta { margin: 0 0 8px; }
.rule p { margin: 0; }
/* groups and cards */
.group { margin: 34px 0 10px; }
.group h2 { display: flex; align-items: baseline; gap: 10px; font-size: 1.35rem; }
.count { font-size: 0.85rem; color: var(--muted); font-weight: 500; }
.cards { list-style: none; padding: 0; margin: 0; display: grid; grid-template-columns: repeat(auto-fill, minmax(300px, 1fr)); gap: 12px; }
.cards.mini { grid-template-columns: repeat(auto-fill, minmax(240px, 1fr)); }
.card a { display: flex; flex-direction: column; gap: 6px; height: 100%; padding: 14px 14px 12px; background: var(--panel); border: 1px solid var(--line); border-left: 4px solid var(--vc, var(--line)); border-radius: 10px; color: var(--ink); text-decoration: none; }
.card a:hover { border-color: var(--vc, var(--muted)); box-shadow: 0 2px 10px rgba(0,0,0,0.06); }
.card .cn { font-weight: 700; font-size: 1.02rem; line-height: 1.3; }
.card .cq { color: var(--ink); font-size: 0.93rem; }
.card .ck { color: var(--muted); font-size: 0.86rem; }
.card .meta { margin: 2px 0 0; color: var(--muted); font-size: 0.8rem; font-family: var(--mono); }
.card .badge { align-self: flex-start; }
.v-ripe { --vc: var(--ripe); } .v-pending { --vc: var(--pending); } .v-check { --vc: var(--check); } .v-nogo { --vc: var(--nogo); }
.v-unknown { --vc: var(--unknown); } .v-formed { --vc: var(--formed); } .v-not-timing { --vc: var(--myth); }
.badge { display: inline-block; font-size: 0.75rem; font-weight: 700; letter-spacing: 0.03em; text-transform: uppercase; padding: 2px 8px; border-radius: 999px; color: var(--vc); border: 1px solid var(--vc); background: color-mix(in srgb, var(--vc) 9%, transparent); white-space: nowrap; }
/* category */
.crumbs { font-size: 0.88rem; color: var(--muted); }
.kicker { text-transform: uppercase; letter-spacing: 0.08em; font-size: 0.75rem; color: var(--muted); margin: 14px 0 0; }
.verdict-line { margin: 0 0 6px; display: flex; align-items: center; gap: 10px; flex-wrap: wrap; }
.verdict-line .badge { font-size: 0.9rem; padding: 4px 12px; }
.reason { font-size: 1.05rem; margin: 0 0 6px; max-width: 760px; }
.answer { font-size: 1.12rem; max-width: 780px; border-left: 4px solid var(--vc, var(--line)); padding-left: 14px; margin: 18px 0; }
.answer p { margin: 0; }
.facts { display: grid; grid-template-columns: repeat(auto-fit, minmax(200px, 1fr)); gap: 10px; margin: 18px 0 4px; }
.facts > div { background: var(--panel); border: 1px solid var(--line); border-radius: 10px; padding: 12px; }
.facts dt { font-size: 0.75rem; text-transform: uppercase; letter-spacing: 0.06em; color: var(--muted); margin-bottom: 4px; }
.facts dd { margin: 0; }
.con-detail { margin: 6px 0 0; }
.metric-sum { font-size: 1.05rem; margin: 0 0 10px; }
.metric-sum span { color: var(--muted); font-size: 0.9rem; }
.metric-sum em { color: var(--muted); font-style: normal; font-size: 0.92rem; }
.chart { width: 100%; height: auto; display: block; max-width: 760px; min-width: 520px; }
.chart-wrap { margin: 0 -4px; padding: 0 4px; }
.chart .grid { stroke: var(--line); stroke-width: 1; }
.chart .tick { fill: var(--muted); font-size: 11px; font-family: var(--sans); }
.chart .line { fill: none; stroke: var(--vc, var(--ink)); stroke-width: 2.5; stroke-linejoin: round; }
.chart .pt { fill: var(--vc, var(--ink)); }
.chart .last { fill: var(--panel); stroke: var(--vc, var(--ink)); stroke-width: 3; }
.chart .last-label { fill: var(--ink); font-size: 13px; font-weight: 700; font-family: var(--sans); }
.chart .mark { stroke: var(--muted); stroke-dasharray: 3 4; }
.chart .mark-label { fill: var(--muted); font-size: 11px; font-family: var(--sans); }
.chart .threshold { stroke: var(--warn); stroke-dasharray: 6 4; stroke-width: 1.5; }
.chart .thr-label { fill: var(--warn); font-size: 11px; font-family: var(--sans); }
details.data { margin-top: 8px; }
details.data summary { cursor: pointer; color: var(--muted); font-size: 0.9rem; }
.scroll { overflow-x: auto; -webkit-overflow-scrolling: touch; }
table { border-collapse: collapse; width: 100%; font-size: 0.92rem; }
th, td { text-align: left; vertical-align: top; padding: 8px 10px 8px 0; border-bottom: 1px solid var(--line); }
th { font-size: 0.75rem; text-transform: uppercase; letter-spacing: 0.05em; color: var(--muted); font-weight: 600; }
table.grave td:nth-child(3) { white-space: nowrap; font-family: var(--mono); font-size: 0.86rem; }
.conf { font-family: var(--mono); font-size: 0.72rem; border: 1px solid var(--line); border-radius: 4px; padding: 0 4px; color: var(--muted); text-decoration: none; cursor: help; }
.unlinked { color: var(--muted); font-size: 0.85rem; border-bottom: 1px dotted var(--muted); cursor: help; }
ul.evidence, ul.docs { list-style: none; padding: 0; margin: 0; }
ul.evidence li, ul.docs li { padding: 8px 0; border-bottom: 1px solid var(--line); }
ul.evidence time { font-family: var(--mono); font-size: 0.82rem; color: var(--muted); margin-right: 6px; }
.call { border: 1px solid var(--line); border-radius: 10px; padding: 14px; margin: 12px 0; }
.call header { display: flex; gap: 14px; align-items: flex-start; }
.call .pp { font-family: var(--mono); font-size: 1.6rem; font-weight: 700; color: var(--vc, var(--ink)); min-width: 3.2ch; line-height: 1.1; }
.call h3 { font-size: 1rem; line-height: 1.4; }
.call dl { margin: 10px 0 0; display: grid; grid-template-columns: 150px 1fr; gap: 6px 12px; font-size: 0.92rem; }
.call dt { color: var(--muted); }
.call dd { margin: 0; }
.call .hash { margin: 10px 0 0; font-size: 0.82rem; color: var(--muted); }
.st { font-weight: 600; }
.st-open { color: var(--muted); } .st-due { color: var(--warn); } .st-yes { color: var(--ripe); } .st-no { color: var(--nogo); } .st-void { color: var(--unknown); }
.share-row { display: flex; flex-wrap: wrap; gap: 4px; margin: 0 0 10px; }
textarea { width: 100%; font: 0.9rem/1.45 var(--mono); color: var(--ink); background: var(--bg); border: 1px solid var(--line); border-radius: 8px; padding: 10px; resize: vertical; }
textarea.code { font-size: 0.8rem; margin: 4px 0 10px; }
.row { display: flex; flex-wrap: wrap; gap: 4px; align-items: center; margin: 10px 0; }
.file { position: relative; }
.verify-out { font-family: var(--mono); font-size: 0.9rem; min-height: 1.4em; }
.verify-out.ok { color: var(--ripe); } .verify-out.bad { color: var(--nogo); }
table.ledger td:nth-child(1), table.ledger td:nth-child(2) { white-space: nowrap; font-family: var(--mono); font-size: 0.82rem; }
table.ledger tr:target { background: color-mix(in srgb, var(--link) 12%, transparent); }
table.relook td { font-size: 0.9rem; }
.money { border-color: var(--ripe); }
footer.site { border-top: 1px solid var(--line); padding: 22px 0 36px; color: var(--muted); font-size: 0.9rem; }
footer.site p { margin: 0 0 8px; max-width: 860px; }
@media (max-width: 640px) {
  body { font-size: 15.5px; }
  main { padding-top: 14px; }
  .panel { padding: 14px; }
  .call dl { grid-template-columns: 1fr; }
  .call dt { margin-top: 6px; }
  header.site .wrap { gap: 6px 14px; padding-top: 8px; padding-bottom: 8px; }
  .cards { grid-template-columns: 1fr; }
}
/* embed */
body.embed { background: transparent; margin: 0; }
.ecard { display: flex; flex-direction: column; gap: 6px; padding: 14px 16px; background: var(--panel); border: 1px solid var(--line); border-left: 4px solid var(--vc, var(--line)); border-radius: 10px; color: var(--ink); text-decoration: none; font-family: var(--sans); max-width: 560px; }
.ebrand { font-size: 0.72rem; text-transform: uppercase; letter-spacing: 0.08em; color: var(--muted); }
.ename { font-weight: 700; font-size: 1.05rem; }
.ereason { font-size: 0.92rem; }
.ecall { margin: 0; font-size: 0.86rem; color: var(--muted); }
.ecall b { color: var(--ink); font-family: var(--mono); }
.ecard .badge { align-self: flex-start; }
/* share image (1200x630, screenshotted at build time) */
body.og { width: 1200px; height: 630px; margin: 0; background: #0f172a; color: #f8fafc; overflow: hidden; --ripe: #4ade80; --pending: #fbbf24; --check: #93c5fd; --nogo: #f87171; --unknown: #d4d4d8; --formed: #5eead4; --myth: #d8b4fe; }
body.og .ogwrap { padding: 56px 64px; height: 100%; display: flex; flex-direction: column; gap: 18px; border-left: 14px solid var(--vc, #4ade80); }
body.og .ogtop { font-size: 24px; color: #cbd5e1; display: flex; align-items: center; gap: 12px; font-weight: 600; }
body.og h1 { font-size: 52px; line-height: 1.12; margin: 0; letter-spacing: -0.02em; max-width: 1040px; }
body.og .ogv .badge { font-size: 26px; padding: 6px 18px; }
body.og p { font-size: 28px; line-height: 1.35; color: #e2e8f0; margin: 0; max-width: 1040px; }
body.og .ogmetric { font-size: 22px; color: #cbd5e1; }
body.og .ogmetric b { color: #f8fafc; font-size: 30px; }
body.og .ogcall { display: flex; gap: 18px; align-items: flex-start; margin-top: auto; font-size: 22px; color: #cbd5e1; }
body.og .ogcall b { font-size: 46px; color: var(--vc); font-family: var(--mono); line-height: 1; }
body.og .ogcall i { color: #94a3b8; }