:root {
  --paper: #F4F3EF; --paper-2: #FBFAF7; --paper-3: #ECEAE4;
  --ink: #141414; --ink-2: #3D3B37; --muted: #5C5A55; --faint: #8C8A84;
  --rule: #D6D3CA; --rule-2: #CFCCC4; --rule-strong: #141414;
  --drawing: #ECEEEF;
  --red: #B3261E; --red-bg: #F6E1DE; --red-tx: #8E1F17;
  --amber: #B07D12; --amber-bg: #F4E9D2; --amber-tx: #6B4600;
  --green: #1E6B3A; --green-bg: #E3EFE6; --green-tx: #1E6B3A;
  --slate-bg: #E4E7EC; --slate-tx: #2B3440;
  --proof-bg: #141414; --proof-fg: #F4F3EF; --proof-red: #FF6B5E; --proof-amber: #F2B544; --proof-green: #5FD08A;
  --sans: "IBM Plex Sans", system-ui, sans-serif;
  --mono: "IBM Plex Mono", ui-monospace, monospace;
  --serif: "Source Serif 4", Georgia, serif;
  --max: 1080px;
  color-scheme: light;
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --paper: #121211; --paper-2: #1A1A18; --paper-3: #222220;
    --ink: #ECEAE4; --ink-2: #C9C6BE; --muted: #9C998F; --faint: #6E6C66;
    --rule: #2C2B28; --rule-2: #34332F; --rule-strong: #ECEAE4;
    --drawing: #1A1B1C;
    --red: #E5675C; --red-bg: #3A1814; --red-tx: #F2A59D;
    --amber: #D9A43A; --amber-bg: #33270F; --amber-tx: #E8C27A;
    --green: #4FAE72; --green-bg: #13291B; --green-tx: #8FD3A6;
    --slate-bg: #222831; --slate-tx: #B8C2D0;
    --proof-bg: #ECEAE4; --proof-fg: #141414; --proof-red: #B3261E; --proof-amber: #8F6100; --proof-green: #1E6B3A;
    color-scheme: dark;
  }
}
:root[data-theme="dark"] {
  --paper: #121211; --paper-2: #1A1A18; --paper-3: #222220;
  --ink: #ECEAE4; --ink-2: #C9C6BE; --muted: #9C998F; --faint: #6E6C66;
  --rule: #2C2B28; --rule-2: #34332F; --rule-strong: #ECEAE4;
  --drawing: #1A1B1C;
  --red: #E5675C; --red-bg: #3A1814; --red-tx: #F2A59D;
  --amber: #D9A43A; --amber-bg: #33270F; --amber-tx: #E8C27A;
  --green: #4FAE72; --green-bg: #13291B; --green-tx: #8FD3A6;
  --slate-bg: #222831; --slate-tx: #B8C2D0;
  --proof-bg: #ECEAE4; --proof-fg: #141414; --proof-red: #B3261E; --proof-amber: #8F6100; --proof-green: #1E6B3A;
  color-scheme: dark;
}

* { box-sizing: border-box; margin: 0; padding: 0; }
body { background: var(--paper); color: var(--ink); font-family: var(--sans); font-size: 16px; line-height: 1.6; -webkit-font-smoothing: antialiased; }
a { color: inherit; text-decoration-color: var(--rule-2); text-underline-offset: 3px; }
a:hover { text-decoration-color: var(--ink); }
:focus-visible { outline: 2px solid var(--ink); outline-offset: 3px; border-radius: 2px; }
.wrap { max-width: var(--max); margin: 0 auto; padding: 0 24px; }
.mono { font-family: var(--mono); }
.muted { color: var(--muted); }
.faint { color: var(--faint); }

/* nav */
.nav { border-bottom: 1px solid var(--rule); }
.nav .wrap { display: flex; justify-content: space-between; align-items: center; height: 60px; gap: 16px; }
.nav .name { font-weight: 600; text-decoration: none; letter-spacing: -0.01em; }
.nav ul { list-style: none; display: flex; gap: 22px; font-size: 14px; }
.nav ul a { text-decoration: none; color: var(--muted); }
.nav ul a:hover, .nav ul a[aria-current] { color: var(--ink); }
.nav ul a[aria-current] { box-shadow: inset 0 -1.5px 0 var(--ink); padding-bottom: 2px; }

/* hero */
.hero { display: grid; grid-template-columns: minmax(0, 1fr) 300px; gap: 48px; padding-top: 64px; padding-bottom: 48px; align-items: start; }
.kicker { font-family: var(--mono); font-size: 12px; color: var(--muted); letter-spacing: 0.02em; margin-bottom: 18px; }
.hero h1 { font-size: clamp(34px, 5vw, 52px); line-height: 1.06; font-weight: 600; letter-spacing: -0.025em; max-width: 13em; }
.hero p.lede { font-size: 18px; line-height: 1.6; color: var(--ink-2); margin-top: 20px; max-width: 34em; }
.hero .cta { display: flex; flex-wrap: wrap; gap: 10px; margin-top: 28px; }
.btn { display: inline-flex; align-items: center; height: 40px; padding: 0 16px; border-radius: 6px; font-size: 14px; font-weight: 500; text-decoration: none; border: 1px solid var(--rule-2); color: var(--ink); background: transparent; }
.btn:hover { border-color: var(--ink); }
.btn.primary { background: var(--ink); color: var(--paper); border-color: var(--ink); }

/* status card */
.status { border: 1px solid var(--rule-2); border-radius: 10px; background: var(--paper-2); padding: 16px 18px; font-size: 13px; }
.status-head { display: flex; align-items: center; gap: 8px; font-weight: 600; margin-bottom: 14px; }
.dot { width: 8px; height: 8px; border-radius: 50%; background: var(--green); flex: none; }
.dot.warn { background: var(--amber); } .dot.bad { background: var(--red); }
.svc { margin-bottom: 12px; }
.svc-top { display: flex; justify-content: space-between; gap: 8px; margin-bottom: 5px; }
.svc-top span:last-child { font-family: var(--mono); font-size: 12px; color: var(--muted); }
.runs { display: flex; gap: 3px; }
.runs span { flex: 1; height: 14px; border-radius: 2px; background: var(--rule); }
.runs .ok { background: var(--green); } .runs .no { background: var(--red); } .runs .other { background: var(--amber); }
.facts { display: grid; grid-template-columns: 1fr 1fr; gap: 6px 10px; padding-top: 10px; border-top: 1px solid var(--rule); color: var(--muted); }
.facts b { color: var(--ink); font-weight: 600; }
.status-foot { font-family: var(--mono); font-size: 11px; color: var(--faint); margin-top: 10px; }

/* ledger */
.ledger-head { display: flex; justify-content: space-between; align-items: end; gap: 16px; flex-wrap: wrap; margin: 24px 0 10px; }
.ledger-head h2 { font-size: 13px; font-family: var(--mono); font-weight: 500; letter-spacing: 0.04em; }
.filters { display: flex; gap: 4px; }
.filters button { font: 500 13px var(--sans); color: var(--muted); background: none; border: 1px solid transparent; border-radius: 6px; padding: 5px 10px; cursor: pointer; }
.filters button:hover { color: var(--ink); }
.filters button[aria-pressed="true"] { color: var(--ink); border-color: var(--rule-2); background: var(--paper-2); }
.ledger { list-style: none; border-top: 1.5px solid var(--rule-strong); margin-bottom: 72px; }
.entry { display: grid; grid-template-columns: 104px minmax(0, 1fr) 96px 92px; gap: 20px; align-items: baseline; padding: 16px 0; border-bottom: 1px solid var(--rule); }
.entry time, .entry .hash { font-family: var(--mono); font-size: 13px; color: var(--muted); }
.entry .hash { color: var(--faint); text-decoration: none; text-align: right; }
.entry .hash:hover { color: var(--ink); text-decoration: underline; }
.entry h3 { font-size: 17px; font-weight: 600; letter-spacing: -0.01em; line-height: 1.35; }
.entry h3 a { text-decoration: none; }
.entry h3 a:hover { text-decoration: underline; }
.entry p { color: var(--muted); font-size: 14px; margin-top: 2px; }
.tag { justify-self: start; font-family: var(--mono); font-size: 11.5px; font-weight: 500; letter-spacing: 0.04em; padding: 3px 8px; border-radius: 4px; }
.tag.block { background: var(--red-bg); color: var(--red-tx); }
.tag.review { background: var(--amber-bg); color: var(--amber-tx); }
.tag.fixed { background: var(--green-bg); color: var(--green-tx); }
.tag.release { background: var(--slate-bg); color: var(--slate-tx); }
.entry[hidden] { display: none; }

/* inner pages */
.page-head { padding-top: 56px; padding-bottom: 28px; }
.page-head h1 { font-size: clamp(30px, 4.5vw, 44px); font-weight: 600; letter-spacing: -0.02em; line-height: 1.1; }
.page-head p { color: var(--ink-2); font-size: 17px; margin-top: 12px; max-width: 38em; }
.drawing { background: var(--drawing); border: 1px solid var(--rule); border-radius: 8px; padding: 12px; }
.drawing svg { display: block; width: 100%; height: auto; }
.drawing .ln { stroke: var(--ink); fill: none; }
.drawing .bx { fill: var(--paper-2); stroke: var(--ink); }
.drawing .tb { fill: none; stroke: var(--red); stroke-dasharray: 6 5; }
.drawing .t { fill: var(--ink); font: 500 14px var(--sans); }
.drawing .ts { fill: var(--muted); font: 12px var(--sans); }
.drawing .tm { fill: var(--red); font: 12px var(--mono); }
.drawing .chip rect { fill: var(--ink); } .drawing .chip text { fill: var(--paper); font: 500 12px var(--mono); }
.drawing .chip:hover rect { fill: var(--red); }
.drawing-legend { display: flex; justify-content: space-between; gap: 12px; flex-wrap: wrap; font-size: 12px; color: var(--muted); margin-top: 10px; font-family: var(--mono); }
.stack-list { display: none; list-style: none; border-top: 1.5px solid var(--rule-strong); }
.stack-list li { padding: 12px 0; border-bottom: 1px solid var(--rule); }
.section-title { font-family: var(--mono); font-size: 13px; font-weight: 500; letter-spacing: 0.04em; margin: 56px 0 12px; }
.tools { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 28px; }
.tool { border-top: 1.5px solid var(--rule-strong); padding-top: 14px; }
.tool h3 { font-size: 20px; font-weight: 600; letter-spacing: -0.01em; }
.tool p { color: var(--ink-2); margin: 6px 0 12px; }
.tool code { display: block; font-family: var(--mono); font-size: 13px; background: var(--paper-2); border: 1px solid var(--rule); border-radius: 6px; padding: 10px 12px; color: var(--green); }
.tool .links { display: flex; gap: 16px; font-size: 14px; margin-top: 12px; }
.index { list-style: none; border-top: 1.5px solid var(--rule-strong); margin-bottom: 72px; }
.index li { display: grid; grid-template-columns: 220px minmax(0, 1fr) 180px; gap: 20px; padding: 14px 0; border-bottom: 1px solid var(--rule); align-items: baseline; }
.index li a { font-weight: 600; text-decoration: none; }
.index li a:hover { text-decoration: underline; }
.index li span:last-child { font-family: var(--mono); font-size: 12px; color: var(--muted); }

/* post (editorial) */
.post { max-width: 680px; margin: 0 auto; padding: 56px 24px 24px; }
.post-meta { display: flex; justify-content: space-between; gap: 12px; flex-wrap: wrap; font-size: 13px; color: var(--muted); border-bottom: 1px solid var(--rule); padding-bottom: 12px; }
.post h1 { font-family: var(--serif); font-weight: 600; font-size: clamp(34px, 5.5vw, 50px); line-height: 1.08; letter-spacing: -0.015em; margin: 28px 0 16px; }
.dek { font-family: var(--serif); font-style: italic; font-size: 21px; line-height: 1.45; color: var(--ink-2); }
.receipt { display: flex; justify-content: space-between; align-items: center; gap: 12px; flex-wrap: wrap; margin: 28px 0 8px; padding: 12px 14px; border: 1px solid var(--rule-2); border-radius: 8px; background: var(--paper-2); font-size: 14px; }
.receipt .mono { font-size: 12px; color: var(--muted); }
.prose { font-family: var(--serif); font-size: 19px; line-height: 1.75; color: var(--ink); }
.prose > * + * { margin-top: 1.1em; }
.prose > p:first-of-type::first-letter { float: left; font-size: 3.4em; line-height: 0.85; padding: 0.08em 0.1em 0 0; font-weight: 600; }
.prose h2 { font-family: var(--sans); font-size: 22px; font-weight: 600; letter-spacing: -0.01em; margin-top: 2.2em; }
.prose ul, .prose ol { padding-left: 1.2em; }
.prose li + li { margin-top: 0.5em; }
.prose strong { font-weight: 600; }
.prose a { text-decoration-color: var(--faint); }
.pull { font-family: var(--serif); font-size: 26px; line-height: 1.35; border-left: 2px solid var(--red); padding: 2px 0 2px 22px; margin: 1.6em 0 !important; }
.prose table { width: 100%; border-collapse: collapse; font-family: var(--sans); font-size: 14px; line-height: 1.45; }
.prose th { font-family: var(--mono); font-size: 11.5px; font-weight: 500; letter-spacing: 0.04em; text-transform: uppercase; color: var(--muted); text-align: left; border-bottom: 1.5px solid var(--rule-strong); padding: 8px 10px 8px 0; }
.prose td { border-bottom: 1px solid var(--rule); padding: 9px 10px 9px 0; vertical-align: top; }
.prose td.num { text-align: right; font-family: var(--mono); font-size: 13px; }
.table-wrap { overflow-x: auto; }
.prose pre { font-family: var(--mono); font-size: 14px; line-height: 1.6; background: var(--paper-2); border: 1px solid var(--rule); border-radius: 8px; padding: 14px 16px; overflow-x: auto; }
.byline { max-width: 680px; margin: 48px auto 72px; padding: 18px 24px 0; border-top: 1px solid var(--rule); font-size: 14px; color: var(--muted); }

/* footer */
footer.site { border-top: 1px solid var(--rule); padding: 28px 0 40px; font-size: 14px; color: var(--muted); }
footer.site .wrap { display: flex; justify-content: space-between; gap: 16px; flex-wrap: wrap; }
footer.site nav { display: flex; gap: 18px; flex-wrap: wrap; }
footer.site a { text-decoration: none; } footer.site a:hover { color: var(--ink); }

@media (max-width: 860px) {
  .hero { grid-template-columns: minmax(0, 1fr); gap: 32px; padding-top: 40px; }
  .entry { grid-template-columns: minmax(0, 1fr) auto; gap: 4px 12px; }
  .entry time { grid-column: 1; grid-row: 1; }
  .entry .tag { grid-column: 2; grid-row: 1; justify-self: end; }
  .entry > div { grid-column: 1 / -1; }
  .entry .hash { grid-column: 1 / -1; text-align: left; }
  .tools { grid-template-columns: minmax(0, 1fr); }
  .index li { grid-template-columns: minmax(0, 1fr); gap: 2px; }
  .drawing { display: none; } .stack-list { display: block; }
  .prose { font-size: 18px; }
}
@media (max-width: 520px) {
  .wrap { padding: 0 16px; }
  .nav ul { gap: 14px; }
  .post { padding: 40px 16px 16px; }
  .byline { padding: 18px 16px 0; }
}

/* theme switch */
.nav-right { display: flex; align-items: center; gap: 22px; }
.theme-switch { position: relative; width: 56px; height: 30px; border-radius: 999px; border: 1px solid var(--rule-2); background: var(--paper-2); cursor: pointer; flex: none; padding: 0; }
.theme-switch .knob { position: absolute; top: 3px; left: 3px; width: 22px; height: 22px; border-radius: 50%; background: var(--ink); color: var(--paper); display: grid; place-items: center; transition: transform 220ms cubic-bezier(.3,.7,.2,1); }
.theme-switch .knob svg { width: 13px; height: 13px; }
.theme-switch .ico { position: absolute; top: 50%; transform: translateY(-50%); width: 13px; height: 13px; color: var(--faint); }
.theme-switch .ico.sun { left: 8px; } .theme-switch .ico.moon { right: 8px; }
:root[data-theme="dark"] .theme-switch .knob { transform: translateX(26px); }
@media (prefers-reduced-motion: reduce) { .theme-switch .knob { transition: none; } }

/* proof wall: maximal */
.proof { background: var(--proof-bg); color: var(--proof-fg); padding: 72px 0 64px; overflow: hidden; }
.proof .label { font-family: var(--mono); font-size: 13px; letter-spacing: 0.06em; color: color-mix(in srgb, var(--proof-fg) 60%, transparent); display: flex; justify-content: space-between; gap: 16px; flex-wrap: wrap; border-bottom: 1px solid color-mix(in srgb, var(--proof-fg) 25%, transparent); padding-bottom: 14px; }
.proof-grid { display: grid; grid-template-columns: repeat(12, minmax(0, 1fr)); gap: 0; margin-left: -25px; }
.fact { padding: 28px 24px 26px 24px; border-left: 1px solid color-mix(in srgb, var(--proof-fg) 25%, transparent); border-bottom: 1px solid color-mix(in srgb, var(--proof-fg) 25%, transparent); display: flex; flex-direction: column; min-width: 0; }
.fact .n { font-weight: 700; letter-spacing: -0.045em; line-height: 0.88; font-size: clamp(64px, 11vw, 150px); font-feature-settings: "tnum"; }
.fact .n small { font-size: 0.42em; letter-spacing: -0.02em; font-weight: 600; opacity: 0.6; }
.fact .what { font-size: 17px; line-height: 1.4; margin-top: 14px; max-width: 22em; }
.fact .src { font-family: var(--mono); font-size: 12px; color: color-mix(in srgb, var(--proof-fg) 55%, transparent); margin-top: auto; padding-top: 16px; text-decoration: none; display: inline-flex; gap: 6px; }
.fact .src:hover { color: var(--proof-fg); text-decoration: underline; }
.fact.red .n { color: var(--proof-red); } .fact.amber .n { color: var(--proof-amber); } .fact.green .n { color: var(--proof-green); }
.span-7 { grid-column: span 7; } .span-5 { grid-column: span 5; } .span-4 { grid-column: span 4; } .span-3 { grid-column: span 3; } .span-6 { grid-column: span 6; }
.ticker { margin-top: 28px; font-family: var(--mono); font-size: 13px; white-space: nowrap; color: color-mix(in srgb, var(--proof-fg) 50%, transparent); overflow: hidden; mask-image: linear-gradient(90deg, transparent, #000 6%, #000 94%, transparent); }
.ticker span { display: inline-block; animation: tick 60s linear infinite; padding-right: 48px; }
@keyframes tick { to { transform: translateX(-100%); } }
@media (prefers-reduced-motion: reduce) { .ticker span { animation: none; } }

/* in-post maximal figures */
.figure-row { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); border-top: 1.5px solid var(--rule-strong); border-bottom: 1px solid var(--rule); margin: 2em 0 !important; font-family: var(--sans); }
.figure-row > div { padding: 18px 16px 16px 0; }
.figure-row > div + div { padding-left: 16px; border-left: 1px solid var(--rule); }
.figure-row b { display: block; font-size: clamp(48px, 8vw, 76px); line-height: 0.9; font-weight: 700; letter-spacing: -0.045em; }
.figure-row span { display: block; font-size: 14px; line-height: 1.4; color: var(--muted); margin-top: 10px; }
.figure-row .red b { color: var(--red); } .figure-row .amber b { color: var(--amber); }

@media (max-width: 860px) {
  .proof-grid { margin-left: 0; } .proof-grid > .fact { grid-column: span 12; padding-left: 0; border-left: 0; }
  .figure-row { grid-template-columns: minmax(0, 1fr); }
  .figure-row > div + div { padding-left: 0; border-left: 0; border-top: 1px solid var(--rule); }
}

/* ---- site additions ---- */
.tag.note { background: var(--paper-3); color: var(--ink-2); }
.tag.essay { background: var(--ink); color: var(--paper); }
.page-head .kicker { margin-bottom: 14px; }

/* writing index */
.post-list { list-style: none; border-top: 1.5px solid var(--rule-strong); margin-bottom: 72px; }
.post-list li { display: grid; grid-template-columns: 104px minmax(0, 1fr) 80px; gap: 20px; padding: 18px 0; border-bottom: 1px solid var(--rule); align-items: baseline; }
.post-list time { font-family: var(--mono); font-size: 13px; color: var(--muted); }
.post-list h3 { font-family: var(--serif); font-size: 22px; font-weight: 600; line-height: 1.25; letter-spacing: -0.01em; }
.post-list h3 a { text-decoration: none; } .post-list h3 a:hover { text-decoration: underline; }
.post-list p { color: var(--muted); font-size: 15px; margin-top: 4px; }
.post-list .tag { justify-self: end; }
.post-list li[hidden] { display: none; }
.subscribe { display: flex; gap: 10px; flex-wrap: wrap; margin-top: 18px; }

/* links page */
.links-page { max-width: 560px; margin: 0 auto; padding: 56px 24px 72px; }
.links-page h1 { font-size: 36px; font-weight: 600; letter-spacing: -0.02em; margin-top: 8px; }
.links-page > p { color: var(--ink-2); margin: 10px 0 28px; }
.link-list { display: flex; flex-direction: column; border-top: 1.5px solid var(--rule-strong); }
.link-item { display: flex; justify-content: space-between; align-items: baseline; gap: 16px; padding: 16px 2px; border-bottom: 1px solid var(--rule); text-decoration: none; font-weight: 600; }
.link-item:hover { background: var(--paper-2); }
.link-item span:last-child { font-weight: 400; font-size: 14px; color: var(--muted); text-align: right; }
.link-item.featured span:first-child { font-family: var(--serif); font-size: 19px; }

/* post footer nav */
.post-nav { max-width: 680px; margin: 0 auto 72px; padding: 0 24px; display: grid; grid-template-columns: 1fr 1fr; gap: 16px; font-size: 14px; }
.post-nav a { text-decoration: none; border-top: 1px solid var(--rule); padding-top: 12px; }
.post-nav a span { display: block; font-family: var(--mono); font-size: 12px; color: var(--muted); }
.post-nav a:last-child { text-align: right; }
.post-nav a:hover b { text-decoration: underline; }
.post-nav b { font-family: var(--serif); font-weight: 600; font-size: 17px; }

@media (max-width: 860px) {
  .post-list li { grid-template-columns: minmax(0, 1fr) auto; gap: 4px 12px; }
  .post-list time { grid-row: 1; } .post-list .tag { grid-row: 1; grid-column: 2; }
  .post-list li > div { grid-column: 1 / -1; }
  .post-nav { grid-template-columns: 1fr; }
  .post-nav a:last-child { text-align: left; }
}
.tool code { white-space: pre; overflow-x: auto; }

/* ---- hero Mage button ---- */
.btn-mage { gap: 8px; cursor: pointer; font-family: var(--sans); }
.btn-mage svg { width: 18px; height: 18px; }

/* ---- proof wall: clickable numbers and verify drawers ---- */
.fact button.n { background: none; border: 0; padding: 0; color: inherit; font-family: var(--sans); text-align: left; cursor: pointer; }
.fact button.n:hover span, .fact button.n:focus-visible span { text-decoration: underline; text-decoration-thickness: 4px; text-underline-offset: 10px; }
.fact-actions { margin-top: auto; padding-top: 16px; display: flex; gap: 16px; align-items: center; flex-wrap: wrap; }
.fact-actions .src { margin: 0; padding: 0; }
.verify-btn { font: 500 12px var(--mono); letter-spacing: .04em; color: var(--proof-fg); background: transparent; border: 1px solid color-mix(in srgb, var(--proof-fg) 40%, transparent); border-radius: 4px; padding: 5px 9px; cursor: pointer; }
.verify-btn:hover { background: var(--proof-fg); color: var(--proof-bg); }
dialog.verify { margin: 0 0 0 auto; height: 100dvh; max-height: 100dvh; width: min(600px, 100vw); max-width: 100vw; border: 0; border-left: 1.5px solid var(--rule-strong); background: var(--paper); color: var(--ink); padding: 28px 32px 40px; overflow-y: auto; }
dialog.verify::backdrop { background: rgba(10, 10, 9, .55); }
dialog.verify[open] { animation: slide-in 260ms cubic-bezier(.3,.7,.2,1); }
@keyframes slide-in { from { transform: translateX(40px); opacity: 0; } }
@media (prefers-reduced-motion: reduce) { dialog.verify[open] { animation: none; } }
.verify-close { display: flex; justify-content: flex-end; }
.verify-close button { font: 500 13px var(--sans); background: none; border: 1px solid var(--rule-2); border-radius: 6px; padding: 6px 10px; color: var(--ink); cursor: pointer; }
.verify .kicker { margin: 12px 0 8px; }
.verify-n { font-size: 120px; font-weight: 700; line-height: .9; letter-spacing: -.05em; }
.verify-n small { font-size: .45em; opacity: .6; }
.verify-n.red { color: var(--red); } .verify-n.amber { color: var(--amber); } .verify-n.green { color: var(--green); }
.verify h2 { font-size: 21px; font-weight: 600; line-height: 1.35; margin: 14px 0 22px; letter-spacing: -.01em; }
.verify-label { font: 500 12px var(--mono); letter-spacing: .04em; color: var(--muted); text-transform: uppercase; margin: 18px 0 6px; }
.verify-hash { display: block; font-family: var(--mono); font-size: 14px; word-break: break-all; background: var(--paper-2); border: 1px solid var(--rule); border-left: 3px solid var(--ink); border-radius: 4px; padding: 10px 12px; }
.verify-note { color: var(--ink-2); margin-top: 16px; }
.verify-how-head { display: flex; justify-content: space-between; align-items: end; }
.verify-how-head .copy { font: 500 12px var(--sans); background: var(--ink); color: var(--paper); border: 0; border-radius: 4px; padding: 5px 10px; cursor: pointer; }
.verify pre { font-family: var(--mono); font-size: 12.5px; line-height: 1.6; background: var(--paper-2); border: 1px solid var(--rule); border-radius: 6px; padding: 12px 14px; overflow-x: auto; white-space: pre; margin-bottom: 24px; }

/* ---- traction ---- */
.traction { padding-top: 8px; }
.traction .section-title { margin-top: 48px; }
.traction-grid { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); border-top: 1.5px solid var(--rule-strong); }
.traction-grid a { padding: 18px 18px 18px 0; text-decoration: none; border-bottom: 1px solid var(--rule); }
.traction-grid a + a { padding-left: 18px; border-left: 1px solid var(--rule); }
.traction-grid b { display: block; font-size: 56px; font-weight: 700; line-height: 1; letter-spacing: -.04em; font-feature-settings: "tnum"; }
.traction-grid span { display: block; color: var(--muted); font-size: 14px; margin-top: 8px; }
.traction-grid a:hover b { text-decoration: underline; text-decoration-thickness: 3px; }

/* ---- playground ---- */
.playground { margin-top: 8px; }
#playground { border: 1.5px solid var(--rule-strong); border-radius: 10px; background: var(--paper-2); padding: 22px; }
.pg-intro h3 { font-size: 22px; font-weight: 600; letter-spacing: -.01em; }
.pg-intro p { color: var(--ink-2); margin: 6px 0 16px; max-width: 46em; }
.pg-intro code, .now code { font-family: var(--mono); font-size: .88em; }
.pg-label { display: block; font: 500 12px var(--mono); color: var(--muted); letter-spacing: .04em; margin-bottom: 6px; text-transform: uppercase; }
#pg-input { width: 100%; min-height: 220px; resize: vertical; font: 13px/1.55 var(--mono); color: var(--ink); background: var(--paper); border: 1px solid var(--rule-2); border-radius: 6px; padding: 12px; }
#pg-input:focus { outline: 2px solid var(--ink); outline-offset: 1px; }
.pg-actions { display: flex; gap: 10px; flex-wrap: wrap; align-items: center; margin-top: 12px; }
.pg-actions .btn { cursor: pointer; font-family: var(--sans); }
.pg-actions .btn:disabled { opacity: .55; cursor: progress; }
.pg-status { font-size: 14px; color: var(--muted); }
.pg-empty { margin-top: 18px; color: var(--muted); }
.pg-result { margin-top: 22px; }
.pg-sev { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); border-top: 1.5px solid var(--rule-strong); border-bottom: 1px solid var(--rule); }
.pg-sev > div { padding: 14px 14px 14px 0; }
.pg-sev > div + div { padding-left: 14px; border-left: 1px solid var(--rule); }
.pg-sev b { display: block; font-size: 64px; line-height: .9; font-weight: 700; letter-spacing: -.04em; }
.pg-sev span { display: block; font-size: 13px; color: var(--muted); margin-top: 6px; }
.pg-sev-high b { color: var(--red); } .pg-sev-medium b { color: var(--amber); }
.pg-table { width: 100%; border-collapse: collapse; font-size: 14px; margin-top: 18px; }
.pg-table th { text-align: left; font: 500 11.5px var(--mono); letter-spacing: .04em; text-transform: uppercase; color: var(--muted); border-bottom: 1.5px solid var(--rule-strong); padding: 8px 10px 8px 0; }
.pg-table td { border-bottom: 1px solid var(--rule); padding: 9px 10px 9px 0; vertical-align: top; }
.pg-findings { list-style: none; margin-top: 18px; border-top: 1.5px solid var(--rule-strong); }
.pg-findings li { padding: 12px 0; border-bottom: 1px solid var(--rule); }
.pg-f-head { display: flex; gap: 10px; align-items: baseline; flex-wrap: wrap; }
.pg-f-head .mono { font-size: 12px; color: var(--muted); }
.pg-findings p { font-size: 14px; margin-top: 4px; }

/* ---- now ---- */
.now { margin-bottom: 72px; }
.now-grid { border-top: 1.5px solid var(--rule-strong); }
.now-item { display: grid; grid-template-columns: 160px minmax(0, 1fr); gap: 4px 24px; padding: 20px 0; border-bottom: 1px solid var(--rule); }
.now-k { grid-row: span 2; font: 500 12px var(--mono); letter-spacing: .06em; text-transform: uppercase; color: var(--muted); padding-top: 5px; }
.now-item h3 { font-family: var(--serif); font-size: 24px; font-weight: 600; letter-spacing: -.01em; }
.now-item p { color: var(--ink-2); }

/* ---- Mage ---- */
.mage-launcher { position: fixed; right: 20px; bottom: 20px; z-index: 50; display: inline-flex; align-items: center; gap: 8px; height: 46px; padding: 0 16px 0 12px; border-radius: 999px; border: 1.5px solid var(--ink); background: var(--ink); color: var(--paper); font: 600 14px var(--sans); cursor: pointer; box-shadow: 0 6px 24px rgba(0,0,0,.18); }
.mage-launcher svg { width: 24px; height: 24px; }
.mage-launcher:hover { transform: translateY(-1px); }
.mage-launcher.is-open { background: var(--paper); color: var(--ink); }
.mage-panel { position: fixed; right: 20px; bottom: 78px; z-index: 50; width: min(400px, calc(100vw - 32px)); height: min(560px, calc(100dvh - 110px)); display: flex; flex-direction: column; background: var(--paper); color: var(--ink); border: 1.5px solid var(--rule-strong); border-radius: 12px; box-shadow: 0 18px 50px rgba(0,0,0,.22); overflow: hidden; }
.mage-panel[hidden] { display: none; }
.mage-head { display: flex; align-items: center; gap: 10px; padding: 12px 12px 12px 14px; border-bottom: 1px solid var(--rule); background: var(--paper-2); }
.mage-avatar { width: 36px; height: 36px; flex: none; display: grid; place-items: center; border-radius: 8px; background: var(--ink); color: var(--paper); }
.mage-avatar svg { width: 24px; height: 24px; }
.mage-title { flex: 1; min-width: 0; line-height: 1.25; }
.mage-title b { display: block; font-size: 15px; }
.mage-title span { display: block; font-size: 11.5px; color: var(--muted); font-family: var(--mono); white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }
.mage-icon { width: 34px; height: 34px; display: grid; place-items: center; border: 1px solid transparent; border-radius: 6px; background: none; color: var(--muted); cursor: pointer; }
.mage-icon svg { width: 18px; height: 18px; }
.mage-icon:hover { color: var(--ink); border-color: var(--rule-2); }
.mage-icon[aria-pressed="true"] { color: var(--paper); background: var(--ink); }
.mage-log { flex: 1; overflow-y: auto; padding: 14px; display: flex; flex-direction: column; gap: 12px; }
.mage-msg { max-width: 92%; font-size: 14.5px; line-height: 1.55; }
.mage-msg.mage { align-self: flex-start; }
.mage-msg.mage p { background: var(--paper-2); border: 1px solid var(--rule); border-radius: 4px 12px 12px 12px; padding: 10px 12px; }
.mage-msg.user { align-self: flex-end; background: var(--ink); color: var(--paper); border-radius: 12px 4px 12px 12px; padding: 8px 12px; }
.mage-links { display: flex; flex-wrap: wrap; gap: 6px 14px; margin: 8px 2px 0; font-size: 13.5px; font-weight: 600; }
.mage-chips { display: flex; flex-wrap: wrap; gap: 6px; margin-top: 8px; }
.mage-chips button { font: 500 13px var(--sans); color: var(--ink); background: var(--paper); border: 1px solid var(--rule-2); border-radius: 999px; padding: 5px 11px; cursor: pointer; }
.mage-chips button:hover { border-color: var(--ink); }
.mage-form { display: flex; gap: 8px; padding: 10px; border-top: 1px solid var(--rule); }
.mage-form input { flex: 1; min-width: 0; height: 38px; font: 14px var(--sans); color: var(--ink); background: var(--paper-2); border: 1px solid var(--rule-2); border-radius: 6px; padding: 0 10px; }
.mage-form input:focus { outline: 2px solid var(--ink); outline-offset: 0; }
.mage-form button { height: 38px; padding: 0 14px; font: 600 14px var(--sans); color: var(--paper); background: var(--ink); border: 0; border-radius: 6px; cursor: pointer; }
.mage-foot { font-size: 11.5px; color: var(--faint); padding: 0 12px 10px; font-family: var(--mono); }
@media (prefers-reduced-motion: reduce) { .mage-launcher:hover { transform: none; } }

@media (max-width: 860px) {
  .traction-grid { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .traction-grid a:nth-child(odd) { padding-left: 0; border-left: 0; }
  .traction-grid b { font-size: 44px; }
  .pg-sev { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .pg-sev > div:nth-child(odd) { padding-left: 0; border-left: 0; }
  .pg-sev b { font-size: 48px; }
  .now-item { grid-template-columns: minmax(0, 1fr); }
  .now-k { grid-row: auto; }
  dialog.verify { padding: 20px 18px 32px; }
  .verify-n { font-size: 88px; }
  .mage-launcher span { display: none; }
  .mage-launcher { padding: 0 11px; right: 14px; bottom: 14px; }
  .mage-panel { right: 12px; bottom: 70px; }
}

/* phone nav: name and switch on top, links below */
@media (max-width: 560px) {
  .nav .wrap { height: auto; flex-wrap: wrap; padding-top: 12px; padding-bottom: 10px; row-gap: 8px; }
  .nav .name { white-space: nowrap; }
  .nav-right { display: contents; }
  .nav-right ul { order: 3; flex-basis: 100%; gap: 20px; }
  .theme-switch { order: 2; }
}

/* ---- Mage in the hero ---- */
.hero { grid-template-columns: minmax(0, 1fr) 400px; align-items: center; }
.mage-stage { position: relative; margin: 0; display: flex; flex-direction: column; align-items: center; }
.mage-hero { position: relative; display: block; width: 340px; height: 360px; border: 0; padding: 0; background: none; cursor: pointer; perspective: 900px; }
.mage-disc { position: absolute; left: 50%; bottom: 0; width: 320px; height: 320px; transform: translateX(-50%); border-radius: 50%; background: var(--paper-3); border: 1.5px solid var(--rule-strong); }
.mage-disc::before { content: ''; position: absolute; inset: -14px; border-radius: 50%; border: 1px dashed var(--rule-2); }
.mage-disc::after { content: ''; position: absolute; width: 14px; height: 14px; border-radius: 50%; background: var(--red); top: 30px; left: 30px; box-shadow: 0 0 0 5px var(--paper); }
.mage-img { position: absolute; left: 50%; bottom: 0; width: 330px; height: auto; transform: translateX(-50%) rotateY(var(--ry, 0deg)) rotateX(var(--rx, 0deg)); transform-origin: 50% 90%; transition: transform 240ms cubic-bezier(.2,.7,.2,1); filter: drop-shadow(0 18px 22px rgba(0,0,0,.16)); animation: mage-bob 5s ease-in-out infinite;
  --r: 160px; -webkit-mask: linear-gradient(#000 0 0) top / 100% 50% no-repeat, radial-gradient(circle var(--r) at 50% calc(100% - var(--r)), #000 99.5%, transparent 100%); mask: linear-gradient(#000 0 0) top / 100% 50% no-repeat, radial-gradient(circle var(--r) at 50% calc(100% - var(--r)), #000 99.5%, transparent 100%); }
.mage-hero:hover .mage-img { filter: drop-shadow(0 22px 26px rgba(0,0,0,.22)); }
.mage-hero:focus-visible { outline: 2px solid var(--ink); outline-offset: 6px; border-radius: 50%; }
@keyframes mage-bob { 0%, 100% { translate: 0 0; } 50% { translate: 0 -6px; } }
.mage-bubble { position: absolute; top: 6px; left: -36px; z-index: 2; display: flex; flex-direction: column; gap: 6px; max-width: 220px; padding: 12px 14px; background: var(--paper-2); border: 1.5px solid var(--rule-strong); border-radius: 14px 14px 14px 4px; font-size: 15px; font-weight: 600; box-shadow: 0 8px 22px rgba(0,0,0,.08); }
.mage-bubble::after { content: ''; position: absolute; left: 22px; bottom: -9px; width: 14px; height: 14px; background: var(--paper-2); border-right: 1.5px solid var(--rule-strong); border-bottom: 1.5px solid var(--rule-strong); transform: rotate(45deg); }
.mage-bubble-text { transition: opacity 200ms; }
.mage-bubble-text.swap { opacity: 0; }
.mage-bubble button { align-self: flex-start; font: 500 13px var(--sans); color: var(--ink); background: none; border: 0; padding: 0; text-decoration: underline; text-underline-offset: 3px; cursor: pointer; }
.mage-stage figcaption { margin-top: 14px; font-size: 13px; color: var(--muted); text-align: center; }
.mage-stage figcaption b { color: var(--ink); }
@media (prefers-reduced-motion: reduce) { .mage-img { animation: none; transition: none; } }

/* Memoji in the launcher, chat header and hero button */
.mage-launcher img { width: 32px; height: 32px; border-radius: 50%; background: var(--paper-3); margin-left: -4px; }
.mage-avatar { background: var(--paper-3); border: 1px solid var(--rule-2); overflow: hidden; border-radius: 50%; }
.mage-avatar img { width: 36px; height: 36px; }
.btn-mage img { width: 22px; height: 22px; border-radius: 50%; background: var(--paper-3); }

/* ---- live status as a slim bar under the hero ---- */
.status-bar { display: grid; grid-template-columns: auto minmax(0, 1fr) minmax(0, 1fr) auto; gap: 8px 28px; align-items: center; margin-bottom: 40px; }
.status-bar .status-head { margin: 0; white-space: nowrap; }
.status-bar .svc { margin: 0; }
.status-bar .facts { border-top: 0; padding-top: 0; grid-template-columns: repeat(2, auto); gap: 2px 16px; white-space: nowrap; }
.status-bar .status-foot { grid-column: 1 / -1; margin-top: 0; }

@media (max-width: 1000px) {
  .status-bar { grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); }
  .status-bar .status-head, .status-bar .facts { grid-column: 1 / -1; }
}
@media (max-width: 860px) {
  .hero { grid-template-columns: minmax(0, 1fr); }
  .mage-stage { order: -1; margin-top: 8px; }
  .mage-hero { width: 260px; height: 270px; }
  .mage-disc { width: 240px; height: 240px; }
  .mage-img { width: 250px; --r: 120px; }
  .mage-bubble { left: auto; right: 0; top: 0; max-width: 170px; font-size: 14px; }
  .status-bar { grid-template-columns: minmax(0, 1fr); }
  .status-bar .facts { white-space: normal; }
}

/* 3D Mage canvas (replaces the image once the model has loaded) */
.mage-hero { --r: 160px; }
.mage-canvas { position: absolute; inset: 0; width: 100%; height: 100%; -webkit-mask: linear-gradient(#000 0 0) top / 100% 50% no-repeat, radial-gradient(circle var(--r) at 50% calc(100% - var(--r)), #000 99.5%, transparent 100%); mask: linear-gradient(#000 0 0) top / 100% 50% no-repeat, radial-gradient(circle var(--r) at 50% calc(100% - var(--r)), #000 99.5%, transparent 100%); }
.mage-hero.is-3d .mage-img { visibility: hidden; }
@media (max-width: 860px) { .mage-hero { --r: 120px; } }

/* Mage poses: crossfade over the 3D model while chatting; pose avatar beside each answer */
.mage-hero.is-3d.posing .mage-img { visibility: visible; }
.mage-hero .mage-canvas { transition: opacity 260ms ease; }
.mage-hero.posing .mage-canvas { opacity: 0; }
.mage-hero.posing .mage-img { animation: mage-pop 320ms cubic-bezier(.2,.8,.2,1.2), mage-bob 5s ease-in-out 320ms infinite; }
@keyframes mage-pop { from { opacity: .2; scale: .94; } }
.mage-msg.mage { display: flex; gap: 8px; align-items: flex-start; max-width: 100%; }
.mage-pose { width: 44px; height: 44px; flex: none; object-fit: contain; margin-top: 2px; image-rendering: auto; }
.mage-body { min-width: 0; flex: 1; }
@media (prefers-reduced-motion: reduce) { .mage-hero.posing .mage-img { animation: none; } .mage-hero .mage-canvas { transition: none; } }

/* ---- case studies ---- */
.case-head { padding-top: 56px; padding-bottom: 8px; }
.case-head h1 { font-family: var(--serif); font-weight: 600; font-size: clamp(34px, 5.5vw, 52px); line-height: 1.08; letter-spacing: -.015em; max-width: 18em; margin-top: 10px; }
.case-dek { font-family: var(--serif); font-style: italic; font-size: 21px; line-height: 1.45; color: var(--ink-2); max-width: 36em; margin-top: 14px; }
.case-head .kicker a { text-decoration: none; }
.case-grid { display: grid; grid-template-columns: minmax(0, 1.1fr) minmax(0, 1fr); gap: 32px; margin: 32px auto 8px; align-items: start; }
.factsheet { border-top: 1.5px solid var(--rule-strong); }
.factsheet > div { display: grid; grid-template-columns: 110px minmax(0, 1fr); gap: 12px; padding: 12px 0; border-bottom: 1px solid var(--rule); }
.factsheet dt { font: 500 12px var(--mono); letter-spacing: .05em; text-transform: uppercase; color: var(--muted); padding-top: 3px; }
.factsheet dd { font-size: 15px; line-height: 1.5; color: var(--ink-2); display: flex; flex-wrap: wrap; gap: 6px 10px; }
.factsheet dd a { font-size: 13px; }
.chip-plain { font: 500 12px var(--mono); padding: 2px 8px; border: 1px solid var(--rule-2); border-radius: 4px; color: var(--ink); background: var(--paper-2); }
.case-numbers { display: grid; gap: 0; border-top: 1.5px solid var(--rule-strong); }
.case-numbers > div { padding: 16px 0; border-bottom: 1px solid var(--rule); }
.case-numbers b { display: block; font-size: clamp(40px, 6vw, 64px); line-height: .95; font-weight: 700; letter-spacing: -.04em; }
.case-numbers span { display: block; color: var(--muted); font-size: 14px; margin-top: 6px; }
.case-numbers .red b { color: var(--red); } .case-numbers .amber b { color: var(--amber); } .case-numbers .green b { color: var(--green); }
.case-body { padding-top: 24px; }
.case-list { list-style: none; border-top: 1.5px solid var(--rule-strong); margin-bottom: 72px; }
.case-list a { display: grid; grid-template-columns: 104px minmax(0, 1fr) auto; grid-template-areas: "when title nums" "when desc nums"; gap: 4px 20px; padding: 20px 0; border-bottom: 1px solid var(--rule); text-decoration: none; }
.case-list .when { grid-area: when; padding-top: 4px; }
.case-list-title { grid-area: title; font-family: var(--serif); font-size: 23px; font-weight: 600; line-height: 1.25; }
.case-list .muted { grid-area: desc; font-size: 15px; }
.case-list-nums { grid-area: nums; display: flex; gap: 14px; align-items: baseline; }
.case-list-nums b { font-size: 28px; font-weight: 700; letter-spacing: -.03em; }
.case-list-nums .red { color: var(--red); } .case-list-nums .amber { color: var(--amber); } .case-list-nums .green { color: var(--green); }
.case-list a:hover .case-list-title { text-decoration: underline; }
@media (max-width: 860px) {
  .case-grid { grid-template-columns: minmax(0, 1fr); }
  .case-list a { grid-template-columns: minmax(0, 1fr); grid-template-areas: "when" "title" "desc" "nums"; }
  .factsheet > div { grid-template-columns: minmax(0, 1fr); gap: 4px; }
}

/* work page: question table, coverage matrix, evidence contract */
.matrix { width: 100%; border-collapse: collapse; font-size: 14px; line-height: 1.45; margin-bottom: 20px; }
.matrix th { text-align: left; font: 500 11.5px var(--mono); letter-spacing: .04em; text-transform: uppercase; color: var(--muted); border-bottom: 1.5px solid var(--rule-strong); padding: 8px 12px 8px 0; vertical-align: bottom; }
.matrix td { border-bottom: 1px solid var(--rule); padding: 10px 12px 10px 0; vertical-align: top; color: var(--ink-2); }
.matrix td a { font-family: var(--mono); font-size: 13px; white-space: nowrap; }
.matrix.coverage th:not(:first-child), .matrix.coverage td:not(:first-child) { text-align: center; padding-left: 6px; padding-right: 6px; }
.matrix.coverage td:first-child { font-family: var(--mono); font-size: 13px; color: var(--ink); white-space: nowrap; }
.matrix.coverage td:not(:first-child) { color: var(--red); }
.small-note { font-size: 13px; margin: 0 0 56px; max-width: 760px; }
.contract { list-style: none; display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 0 28px; border-top: 1.5px solid var(--rule-strong); margin: 0 0 72px; padding: 0; }
.contract li { padding: 14px 0; border-bottom: 1px solid var(--rule); display: flex; flex-direction: column; gap: 4px; }
.contract strong { font-weight: 600; }
.contract span { color: var(--ink-2); font-size: 14px; }
.contract code { font-family: var(--mono); font-size: 12.5px; }
@media (max-width: 860px) { .contract { grid-template-columns: minmax(0, 1fr); } }

/* work page: extra sheets */
.drawing .zone { fill: none; stroke: var(--ink); stroke-dasharray: 2 4; }
.drawing .ln.dash { stroke-dasharray: 6 5; }
.runit { margin: 36px 0 0; padding: 16px 18px; border: 1px solid var(--rule-strong); border-left-width: 4px; border-radius: 8px; background: var(--paper-2); }
.runit-head { display: flex; justify-content: space-between; gap: 12px; flex-wrap: wrap; font-size: 12px; text-transform: uppercase; letter-spacing: .06em; color: var(--muted); }
.runit-head a { text-transform: none; letter-spacing: 0; }
.runit p { margin: 10px 0 12px; font-size: 15px; }
.prose .runit pre { margin: 0; }
.runit + .runit { margin-top: 16px; }
