@font-face {font-family:'Inter Tight';src:url('assets/fonts/inter-tight.ttf') format('truetype');font-weight:100 900;font-display:swap}
@font-face {font-family:'IBM Plex Mono';src:url('assets/fonts/ibm-plex-mono.ttf') format('truetype');font-weight:400;font-display:swap}
:root {--bg:#0b141c;--panel:#112330;--ink:#e7eff6;--muted:#aec5d6;--line:#304a5e;--blue:#8ac8fa;--mint:#9bdcbe;--rose:#ff7285;--attack:#e58b9a;--sans:'Inter Tight',Arial,sans-serif;--mono:'IBM Plex Mono',monospace;color-scheme:dark}
* {box-sizing:border-box}
html {scroll-behavior:smooth;scroll-padding-top:30px}
body {margin:0;background:var(--bg);color:var(--ink);font:22px/1.55 var(--sans);-webkit-font-smoothing:antialiased}
a {color:inherit;text-decoration:none}
button,select {font:inherit;color:inherit;cursor:pointer}
button {touch-action:manipulation}
button:disabled {opacity:.65;cursor:wait}
[hidden] {display:none!important}
:focus-visible {outline:2px solid var(--blue);outline-offset:5px}
::selection {background:#335a75;color:white}
.container {width:min(1184px,calc(100% - 64px));margin-inline:auto}
.icon {display:inline-block;width:24px;height:24px;fill:none;stroke:currentColor;stroke-width:1.6;stroke-linecap:round;stroke-linejoin:round;vertical-align:middle;flex-shrink:0}
.icon.small {width:18px;height:18px}
.icon-library {position:absolute;width:0;height:0;overflow:hidden}
.sr-only {position:absolute;width:1px;height:1px;margin:-1px;padding:0;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}
.skip-link {position:fixed;top:-70px;left:16px;padding:10px 16px;background:var(--blue);color:var(--bg);z-index:10}
.skip-link:focus {top:10px}
h1,h2,h3,p {margin:0}
h1,h2,h3 {font-weight:600;line-height:1.1;letter-spacing:-.035em;text-wrap:balance}
h2 {font-size:52px}
h3 {font-size:26px;line-height:1.25}
.button {display:inline-flex;align-items:center;justify-content:center;gap:10px;border:1px solid transparent;border-radius:7px;padding:12px 20px;font-size:20px;line-height:1.4;font-weight:550;white-space:nowrap}
.button-primary {background:var(--blue);color:#0d2537;border-color:var(--blue)}
.button-primary:hover {background:#b0ddff}
.text-link {display:inline-flex;align-items:center;gap:9px;font-size:20px;color:var(--blue);max-width:100%}
.text-link:hover {color:#cae8ff}
.site-header {border-bottom:1px solid var(--line)}
.header-inner {height:88px;display:grid;grid-template-columns:minmax(0,1fr) auto minmax(0,1fr);align-items:center;column-gap:28px}
.site-header .wordmark {justify-self:start}
.wordmark {display:inline-flex;align-items:center;gap:12px;font-size:30px;line-height:1;font-weight:650;letter-spacing:-.045em}
.brand-mark {width:35px;height:35px;color:var(--blue)}
.site-nav {display:flex;align-items:center;justify-content:center;justify-self:center;gap:8px;font-size:19px;font-weight:500;color:var(--muted)}
.site-nav a {position:relative;display:inline-flex;align-items:center;min-height:44px;padding:8px 14px;line-height:1.4;white-space:nowrap;transition:color .18s ease}
.site-nav a::after {content:'';position:absolute;bottom:2px;left:14px;right:14px;height:2px;background:var(--blue);transform:scaleX(0);transform-origin:left;transition:transform .18s ease}
.site-nav a:hover,.site-nav a:focus-visible {color:var(--ink)}
.site-nav a:hover::after,.site-nav a:focus-visible::after {transform:scaleX(1)}
.header-code {display:inline-flex;align-items:center;justify-self:end;gap:8px;padding:8px 13px;border:1px solid var(--line);border-radius:6px;font-size:18px;line-height:1.4;color:#bed7e8;white-space:nowrap;transition:border-color .18s ease,color .18s ease,background .18s ease}
.header-code:hover {border-color:#6c98b7;color:var(--ink);background:#142735}
.header-code>.icon:first-child {width:21px;height:21px}
main {display:flex;flex-direction:column;gap:100px}
.hero {display:grid;grid-template-columns:1.2fr 1fr;gap:56px;align-items:center;padding-top:66px}
.hero h1 {font-size:76px;line-height:1.04;letter-spacing:-.05em;text-wrap:initial}
.hero h1 em {font-style:normal;color:var(--blue)}
.hero-story {font-size:25px;line-height:1.5;color:var(--muted);margin-top:28px;max-width:610px}
.hero-story strong {display:block;font-size:27px;line-height:1.4;font-weight:550;color:var(--ink);margin-top:18px}
.hero-actions {display:flex;align-items:center;flex-wrap:wrap;gap:24px;margin-top:30px}
.hero-route,.verifier-route {display:grid;grid-template-columns:minmax(0,1fr) 32px minmax(0,1fr) 32px minmax(0,1fr);align-items:start;gap:10px}
.hero-route {grid-template-columns:minmax(0,1fr) 90px minmax(0,1fr) 90px minmax(0,1fr);gap:6px;padding:25px 0;border-block:1px solid var(--line)}
.hero-route .route-node>.icon {width:76px;height:76px}
.hero-route .route-arrows {gap:0;padding-top:22px}
.hero-route .route-arrows>.hero-hop {display:block;width:100%;height:16px}
.hero-route .hero-request {color:var(--blue)}
.hero-route .hero-response {color:var(--mint)}
.hero-route .hero-connector {opacity:.48;stroke-width:1.35;vector-effect:non-scaling-stroke}
.hero-route .hero-packet {opacity:0;filter:drop-shadow(0 0 2px currentColor);animation:hero-packet-travel 8s linear infinite}
.hero-route .hero-packet-head {fill:currentColor;stroke:currentColor;stroke-width:6;vector-effect:non-scaling-stroke}
.hero-route .hero-packet-trail {fill:none;stroke:currentColor;stroke-width:5;stroke-linecap:round;opacity:.22;vector-effect:non-scaling-stroke}
.hero-leg-client .hero-request .hero-packet {animation-delay:.4s}
.hero-leg-backend .hero-request .hero-packet {animation-delay:1.9s}
.hero-leg-backend .hero-response .hero-packet {animation-delay:4.4s}
.hero-leg-client .hero-response .hero-packet {animation-delay:5.9s}
.hero-route .hero-node-client>.icon {animation:hero-client-arrival 8s ease-in-out infinite}
.hero-route .hero-node-router>.icon {animation:hero-router-arrival 8s ease-in-out infinite}
.hero-route .hero-node-backend>.icon {animation:hero-backend-arrival 8s ease-in-out infinite}
@keyframes hero-packet-travel {
  0% {opacity:0;transform:translateX(0)}
  2% {opacity:1;transform:translateX(0)}
  14% {opacity:1;transform:translateX(88px)}
  16%,100% {opacity:0;transform:translateX(88px)}
}
@keyframes hero-client-arrival {
  0%,83%,95%,100% {color:#c1d8e9;filter:drop-shadow(0 0 0 transparent);transform:scale(1)}
  88%,90% {color:var(--mint);filter:drop-shadow(0 0 4px #9bdcbe70);transform:scale(1.04)}
}
@keyframes hero-router-arrival {
  0%,15%,27%,65%,77%,100% {color:var(--blue);filter:drop-shadow(0 0 0 transparent);transform:scale(1)}
  19%,23% {color:var(--blue);filter:drop-shadow(0 0 4px #8ac8fa70);transform:scale(1.04)}
  69%,73% {color:var(--mint);filter:drop-shadow(0 0 4px #9bdcbe70);transform:scale(1.04)}
}
@keyframes hero-backend-arrival {
  0%,34%,46%,100% {color:#c1d8e9;filter:drop-shadow(0 0 0 transparent);transform:scale(1)}
  38%,42% {color:var(--blue);filter:drop-shadow(0 0 4px #8ac8fa70);transform:scale(1.04)}
}
.route-node {display:flex;flex-direction:column;align-items:center;gap:18px;text-align:center;min-width:0}
.route-node>.icon {width:88px;height:88px;stroke-width:1.35;color:#c1d8e9}
.route-node>span {font-size:22px;line-height:1.3;color:#c4dbe9;max-width:160px}
.router-node>.icon,.router-node>span {color:var(--blue)}
.route-arrows {display:flex;flex-direction:column;align-items:center;gap:15px;padding-top:24px;color:#7ea4bd}
.route-arrows>.icon {width:32px;height:24px}
.reverse {transform:rotate(180deg)}
.chapter {padding-top:48px;border-top:1px solid #3d5a70}
.chapter-heading {max-width:1050px;margin-bottom:32px}
.chapter-label {display:flex;align-items:center;gap:14px;font-size:18px;color:#a0c4de;margin-bottom:17px}
.chapter-label>span {font:18px/1.5 var(--mono);color:var(--blue);padding-right:14px;border-right:1px solid #4d718b}
.chapter-heading>p:not(.chapter-label) {font-size:22px;line-height:1.55;color:var(--muted);margin-top:20px;max-width:980px}
.attack-accent {color:var(--attack)}
.verification-accent {color:var(--blue)}
#interactive {padding-top:32px}
#interactive .chapter-heading {margin-bottom:24px}
#interactive .chapter-label {margin-bottom:14px}
#interactive .chapter-heading>p:not(.chapter-label) {margin-top:16px}
.film-frame {position:relative;width:min(100%,1080px);margin-inline:auto;background:var(--bg);border:1px solid var(--line);border-radius:8px;overflow:hidden}
video {display:block;width:100%;aspect-ratio:16/9;object-fit:contain;background:var(--bg)}
.film-play {position:absolute;left:50%;top:50%;right:auto;bottom:auto;transform:translate(-50%,-50%);display:grid;place-items:center;width:80px;height:80px;padding:0;line-height:0;border-radius:50%;border:1px solid #b5dfff;background:#8ac8fa;color:#0d2537;box-shadow:0 6px 24px #0003}
.film-play:hover {background:#b9e1ff}
#attack .film-play {background:var(--attack);border-color:#f1afbb;color:#311a20}
#attack .film-play:hover {background:#efa5b1}
.film-play>.icon {width:34px;height:34px;fill:currentColor;stroke:none;margin:0}
.verifier-shell {border:1px solid #41627a;border-radius:9px;background:#0e1d28;padding:24px}
.verifier-toolbar {display:flex;justify-content:space-between;align-items:center;gap:24px}
.evidence-picker {display:flex;align-items:center;gap:16px;min-width:0}
.evidence-picker>label {font-size:18px;color:#c4ddec}
.select-wrap {position:relative;min-width:280px;max-width:100%}
.select-wrap select {appearance:none;width:100%;padding:12px 42px 12px 15px;background:#162e40;border:1px solid #4b718d;border-radius:6px;font:19px/1.4 var(--sans);color:#d4e9f7}
.select-wrap>.icon {position:absolute;top:50%;right:14px;transform:translateY(-50%) rotate(90deg);width:19px;height:19px;color:#9fc9e5;pointer-events:none}
.client-request {display:grid;grid-template-columns:140px minmax(0,1fr);align-items:baseline;gap:18px;border-top:1px solid var(--line);margin-top:12px;padding-top:12px}
.request-label {font-size:17px;line-height:1.5;color:#9dbbd1}
#client-question {font-size:21px;line-height:1.5;color:#d1e3ef;overflow-wrap:anywhere}
.verifier-route {max-width:790px;margin:18px auto;gap:24px}
.verifier-route .route-node>.icon {width:52px;height:52px}
.verifier-route .route-node {flex-direction:row;align-items:center;justify-content:center;gap:10px}
.verifier-route .route-node>span {font-size:21px}
.verifier-route .route-arrows {padding-top:4px;gap:8px}
.verifier-route .route-arrows>.icon {width:28px;height:18px}
.verifier-workspace {display:grid;grid-template-columns:minmax(0,1.5fr) minmax(340px,1fr);gap:30px;border-top:1px solid var(--line);padding-top:20px}
.panel-heading {display:flex;align-items:center;justify-content:space-between;gap:12px;margin-bottom:17px}
.panel-heading h3,.checks-panel h3 {font-size:24px;letter-spacing:-.02em}
.panel-heading>span {font-size:18px;color:#8eb7d3;overflow-wrap:anywhere;text-align:right}
.response-panel {min-width:0}
#response-json {margin:0;padding:20px;background:#142b3b;border:1px solid #35566e;border-radius:5px;height:292px;overflow:auto;white-space:pre-wrap;overflow-wrap:anywhere;font:19px/1.45 var(--mono);color:#b7ddce;scrollbar-width:thin;scrollbar-color:#577f9c #142b3b}
.json-line {display:block;min-height:1.45em}
.changed-line {background:#3b293b80;color:#ffb0bc;padding-left:8px;box-shadow:-3px 0 var(--rose)}
#client-question.changed-line {color:#ffb0bc}
.checks-panel h3 {margin-bottom:8px}
.proof-row {display:grid;grid-template-columns:27px minmax(0,1fr) auto;align-items:center;gap:11px;border-bottom:1px solid var(--line);padding:10px 0}
.proof-row>.icon {width:26px;height:26px;color:var(--blue)}
.proof-row>div {min-width:0;display:flex;flex-direction:column;gap:3px}
.proof-row>div>span {font-size:19px;line-height:1.35;color:#c2ddeb}
.proof-row strong {font:17px/1.45 var(--mono);font-weight:400;color:#97b7d0}
.proof-row[data-status=valid] strong {color:var(--mint)}
.proof-row[data-status=invalid] strong,.proof-row[data-status=invalid]>.icon {color:var(--rose)}
.proof-time {font:18px/1.4 var(--mono);color:#b2cee2;white-space:nowrap}
.verification-total {display:flex;align-items:baseline;justify-content:space-between;gap:16px;padding-top:20px}
.verification-total>span {font-size:18px;color:#abc7da}
#proof-total {font-size:42px;line-height:1.1;letter-spacing:-.03em;font-weight:550;font-variant-numeric:tabular-nums;color:var(--blue)}
#proof-total small {font-size:18px;font-weight:400;letter-spacing:0}
#proof-outcome {display:block;border-top:1px solid var(--line);margin-top:16px;padding-top:12px;font-size:22px;line-height:1.4;color:#bbd4e6;min-height:44px}
#proof-outcome[data-accept=true] {color:var(--mint)}
#proof-outcome[data-accept=false] {color:var(--rose)}
.performance-summary {display:grid;grid-template-columns:minmax(0,.95fr) minmax(0,1.25fr);gap:72px;padding:4px 0 34px;border-bottom:1px solid var(--line)}
.performance-summary article {min-width:0}
.performance-summary h3 {font-size:24px;letter-spacing:-.02em}
.client-benchmark h3 {display:flex;align-items:center;gap:12px}
.client-benchmark h3>.icon {width:29px;height:29px;color:var(--mint)}
.client-primary {display:flex;flex-direction:column;gap:6px;margin-top:21px}
.client-primary>strong {font-size:64px;font-weight:550;line-height:1.1;letter-spacing:-.04em;font-variant-numeric:tabular-nums;color:var(--mint)}
.client-primary small {font-size:29px;font-weight:400;letter-spacing:0}
.client-primary>span {font-size:20px;color:var(--muted)}
.client-followup {display:flex;align-items:center;gap:20px;margin-top:23px}
.client-followup>strong {font-size:29px;font-weight:500;line-height:1.2;font-variant-numeric:tabular-nums;color:#c8e9dc;white-space:nowrap}
.client-followup small {font-size:20px;font-weight:400}
.client-followup>span {font-size:19px;line-height:1.4;color:var(--muted);max-width:180px}
.evidence-benchmark {padding-left:44px;border-left:1px solid var(--line)}
.evidence-metrics {margin:12px 0 0}
.evidence-metrics>div {display:grid;grid-template-columns:minmax(0,1fr) auto;gap:24px;align-items:center;padding:14px 0;border-bottom:1px solid var(--line)}
.evidence-metrics>div:last-child {padding-bottom:0;border:0}
.evidence-metrics dt {font-size:20px;color:#bfd6e6;line-height:1.4}
.evidence-metrics dd {margin:0;display:flex;flex-direction:column;align-items:flex-end;gap:4px}
.evidence-metrics strong {font-size:27px;font-weight:500;line-height:1.3;font-variant-numeric:tabular-nums;white-space:nowrap}
.evidence-metrics strong>small {font-size:19px;font-weight:400;color:#b4cddd}
.evidence-metrics dd>span {font-size:18px;line-height:1.4;color:var(--muted);white-space:nowrap}
.performance-overhead {display:grid;grid-template-columns:minmax(0,.95fr) minmax(0,1.25fr);gap:72px;padding-top:28px;align-items:start}
.overhead-heading h3 {font-size:24px;letter-spacing:-.02em;line-height:1.35}
.overhead-heading p {font-size:19px;line-height:1.4;color:var(--muted);margin-top:7px}
.overhead-metrics {margin:0;display:grid;grid-template-columns:1fr 1fr;gap:32px;padding-left:44px}
.overhead-metrics dt {font-size:19px;line-height:1.4;color:#bfd6e6}
.overhead-metrics dd {display:flex;align-items:baseline;flex-wrap:wrap;gap:14px;margin:10px 0 0}
.overhead-metrics strong {font-size:32px;font-weight:500;line-height:1.2;letter-spacing:-.025em;font-variant-numeric:tabular-nums;color:var(--blue)}
.overhead-metrics strong>small {font-size:21px;font-weight:400;margin-left:3px}
.overhead-metrics dd>span {font-size:19px;color:var(--muted);white-space:nowrap}
.overhead-pinned strong {color:var(--mint)}
.performance-source {display:flex;align-items:center;justify-content:flex-end;gap:20px;margin-top:25px;flex-wrap:wrap;font-size:18px;color:#91b1c8}
.performance-source .text-link {font-size:19px}
.paper-section .chapter-heading {max-width:none}
.paper-section h2 {max-width:1080px;font-size:48px;line-height:1.15;text-wrap:initial}
.paper-links {display:flex;gap:28px;flex-wrap:wrap;margin-top:25px}
.citation-box {max-width:100%;margin-top:30px;padding:24px 27px;border:1px solid var(--line);border-radius:7px;background:#102330}
.citation-heading {display:flex;align-items:center;justify-content:space-between;gap:20px;padding-bottom:19px;border-bottom:1px solid var(--line)}
.citation-heading h3 {font-size:24px}
#copy-citation {display:flex;align-items:center;gap:8px;border:0;background:none;color:var(--blue);font-size:18px;padding:0}
#copy-citation>.icon {width:21px;height:21px}
#bibtex {margin:21px 0 0;font:18px/1.7 var(--mono);color:#b9d1e2;white-space:pre-wrap;overflow-wrap:anywhere}
.bib-author {display:inline-block;white-space:nowrap}
.integration-section {margin-bottom:80px}
.integration-section .chapter-heading {max-width:1000px}
.integration-actions {margin-top:26px}
.site-footer {border-top:1px solid var(--line);padding:27px 0}
.site-footer>.container {display:flex;justify-content:space-between;align-items:center;gap:24px}
.site-footer .wordmark {font-size:26px;color:#bfd6e6}
.site-footer .text-link {font-size:18px}
.site-footer .text-link>.icon {transform:rotate(-90deg);width:20px;height:20px}
@media(min-width:1600px) {.hero h1{font-size:82px}.hero-story{font-size:26px}.hero-story strong{font-size:28px}}
@media(max-width:1100px) {
  .hero{grid-template-columns:1.25fr 1fr;gap:35px}.hero h1{font-size:66px}.hero-story{font-size:24px}.hero-story strong{font-size:26px}.hero-route{gap:7px}.hero-route .route-node>.icon{width:70px;height:70px}.hero-route .route-node>span{font-size:21px}
  h2{font-size:48px}.verifier-workspace{grid-template-columns:minmax(0,1.3fr) minmax(320px,1fr);gap:23px}.proof-row{gap:9px}.panel-heading{align-items:flex-start;flex-direction:column;gap:5px}
}
@media(max-width:850px) {
  .container{width:calc(100% - 48px)}.header-inner{height:auto;grid-template-columns:minmax(0,1fr) auto;row-gap:12px;padding-block:16px 12px}.wordmark{font-size:28px}.site-nav{grid-column:1/-1;grid-row:2;justify-self:stretch;gap:24px;padding-top:10px;border-top:1px solid #263d4e;font-size:18px}.site-nav a{padding:6px 12px}.site-nav a::after{left:12px;right:12px}.header-code{font-size:18px}main{gap:82px}.hero{grid-template-columns:1fr;padding-top:45px;gap:34px}.hero h1{font-size:72px}.hero-story{font-size:25px;max-width:720px}.hero-story strong{font-size:27px}.hero-route{max-width:640px;width:100%;padding:24px 0}.hero-route .route-node>.icon{width:76px;height:76px}.hero-route .route-node>span{font-size:22px}.chapter{padding-top:41px}h2{font-size:46px}.chapter-heading{margin-bottom:29px}
  .verifier-shell{padding:24px}.verifier-route{gap:15px}.verifier-route .route-node{flex-direction:column}.verifier-workspace{grid-template-columns:1fr;gap:27px}.panel-heading{align-items:center;flex-direction:row}#response-json{height:auto;max-height:450px;min-height:0}.proof-row{padding:13px 0;grid-template-columns:29px minmax(0,1fr) auto;gap:13px}.proof-row>div>span{font-size:20px}.proof-time{font-size:19px}#proof-total{font-size:44px}
  .paper-section h2{font-size:44px}.integration-section{margin-bottom:65px}
}
@media(max-width:600px) {
  body{font-size:20px}.container{width:calc(100% - 36px)}.header-inner{height:auto;column-gap:16px;row-gap:12px;padding-block:15px 12px}.wordmark{font-size:26px}.brand-mark{width:30px;height:30px}.site-nav{justify-content:space-between;gap:4px;padding-top:9px;font-size:17px}.site-nav a{min-height:40px;padding:6px 8px}.site-nav a::after{left:8px;right:8px}.header-code{font-size:17px;gap:6px;padding:7px 10px}
  main{gap:65px}.hero{padding-top:34px;gap:30px}.hero h1{font-size:clamp(46px,12.4vw,70px);line-height:1.04}.hero-story{font-size:23px;line-height:1.5;margin-top:24px}.hero-story strong{font-size:25px;line-height:1.4;margin-top:18px}.hero-actions{gap:20px;margin-top:25px}.hero-actions .button{font-size:19px;padding:12px 16px}.hero-actions .text-link{font-size:19px}.hero-route{grid-template-columns:minmax(0,1fr) 24px minmax(0,1fr) 24px minmax(0,1fr);gap:6px}.hero-route .route-node>.icon{width:58px;height:58px}.hero-route .route-node>span{font-size:20px;line-height:1.3}.hero-route .route-node{gap:13px}.hero-route .route-arrows{padding-top:12px;gap:8px}.route-arrows>.icon{width:24px;height:22px}
  .chapter{padding-top:34px}.chapter-label{font-size:17px;gap:12px;margin-bottom:15px}.chapter-label>span{font-size:17px;padding-right:12px}h2{font-size:38px;line-height:1.12}.chapter-heading>p:not(.chapter-label){font-size:21px;line-height:1.5;margin-top:18px}.chapter-heading{margin-bottom:25px}.film-frame{border-radius:5px}.film-play{width:52px;height:52px}.film-play>.icon{width:25px;height:25px}
  .verifier-shell{padding:18px 15px;border-radius:7px}.verifier-toolbar{align-items:stretch;flex-direction:column;gap:14px}.evidence-picker{gap:7px;flex-direction:column;align-items:stretch}.evidence-picker>label{font-size:17px}.select-wrap{min-width:0;flex:1}.select-wrap select{font-size:19px;padding:10px 36px 10px 12px}.select-wrap>.icon{right:10px}.verifier-toolbar>.button{font-size:19px;width:100%;padding:11px}.client-request{grid-template-columns:1fr;gap:7px;margin-top:12px;padding-top:12px}.request-label{font-size:16px}#client-question{font-size:20px}.verifier-route{grid-template-columns:minmax(0,1fr) 20px minmax(0,1fr) 20px minmax(0,1fr);gap:7px;margin:18px auto}.verifier-route .route-node>.icon{width:46px;height:46px}.verifier-route .route-node>span{font-size:18px;line-height:1.3}.verifier-route .route-node{gap:8px}.verifier-route .route-arrows{gap:6px;padding-top:10px}.verifier-route .route-arrows>.icon{width:20px;height:20px}.verifier-workspace{gap:25px;padding-top:21px}.panel-heading{align-items:flex-start;flex-direction:column;gap:7px;margin-bottom:14px}.panel-heading h3,.checks-panel h3{font-size:22px}.panel-heading>span{font-size:18px}#response-json{font-size:18px;line-height:1.45;padding:15px;height:auto;max-height:360px;min-height:0}.proof-row{grid-template-columns:25px minmax(0,1fr) auto;gap:9px;padding:12px 0}.proof-row>.icon{width:25px;height:25px}.proof-row>div>span{font-size:19px;line-height:1.35}.proof-row strong{font-size:16px}.proof-time{font-size:17px}.verification-total{gap:12px;padding-top:20px}.verification-total>span{font-size:18px}#proof-total{font-size:40px}#proof-total small{font-size:17px}#proof-outcome{font-size:21px;margin-top:16px;padding-top:12px}
  .paper-section h2{font-size:37px;line-height:1.15}.paper-links{gap:22px;margin-top:23px}.paper-links .text-link{font-size:19px}.citation-box{padding:20px 17px;margin-top:25px}.citation-heading{padding-bottom:17px}.citation-heading h3{font-size:22px}#copy-citation{font-size:17px}#bibtex{font-size:17px;line-height:1.7;margin-top:18px}
  .integration-section{margin-bottom:60px}.integration-actions{margin-top:23px}.integration-actions .button{font-size:19px}.site-footer>.container{gap:16px}.site-footer .wordmark{font-size:25px}.site-footer .text-link{font-size:17px}
}
@media(max-width:1100px) {.hero-route{grid-template-columns:minmax(0,1fr) 86px minmax(0,1fr) 86px minmax(0,1fr);gap:6px}.hero-route .route-node>.icon{width:64px;height:64px}.hero-route .route-arrows{padding-top:16px;gap:0}}
@media(max-width:850px) {.hero-route{grid-template-columns:minmax(0,1fr) 100px minmax(0,1fr) 100px minmax(0,1fr)}.hero-route .route-node>.icon{width:76px;height:76px}.hero-route .route-arrows{padding-top:22px}}
@media(max-width:600px) {.hero-route{grid-template-columns:minmax(0,1fr) clamp(46px,13vw,68px) minmax(0,1fr) clamp(46px,13vw,68px) minmax(0,1fr);gap:6px}.hero-route .route-node>.icon{width:58px;height:58px}.hero-route .route-arrows{padding-top:13px;gap:0}}
@media(prefers-reduced-motion:reduce) {html{scroll-behavior:auto}*,*:before,*:after{animation-duration:.01ms!important;transition-duration:.01ms!important}}
@media(prefers-reduced-motion:reduce) {.hero-route .hero-packet{display:none;animation:none!important}.hero-route .route-node>.icon{animation:none!important;transform:none;filter:none}}
@media(max-width:1100px) {
  .performance-summary,.performance-overhead{gap:44px;grid-template-columns:minmax(0,.9fr) minmax(0,1.2fr)}
  .evidence-benchmark,.overhead-metrics{padding-left:30px}.client-primary>strong{font-size:60px}.client-followup{gap:16px}.evidence-metrics>div{gap:18px}.overhead-metrics{gap:24px}
}
@media(max-width:850px) {
  .performance-summary,.performance-overhead{gap:30px;grid-template-columns:minmax(0,1fr) minmax(0,1.2fr)}
  .evidence-benchmark,.overhead-metrics{padding-left:24px}.client-primary>strong{font-size:56px}.client-followup{align-items:flex-start;flex-direction:column;gap:6px;margin-top:21px}.client-followup>span{max-width:none}.evidence-metrics>div{gap:12px}.evidence-metrics dt{font-size:19px}.evidence-metrics strong{font-size:25px}.evidence-metrics dd>span{font-size:18px}.overhead-metrics{grid-template-columns:1fr;gap:22px}.overhead-metrics dd{margin-top:5px}
}
@media(max-width:600px) {
  .performance-summary{grid-template-columns:1fr;gap:30px;padding-top:0;padding-bottom:27px}
  .performance-summary h3{font-size:23px}.client-primary{margin-top:18px;gap:5px}.client-primary>strong{font-size:56px}.client-primary small{font-size:26px}.client-primary>span{font-size:19px}.client-followup{flex-direction:row;align-items:center;gap:20px;margin-top:18px}.client-followup>strong{font-size:27px}.client-followup small{font-size:19px}.client-followup>span{font-size:18px;max-width:175px}
  .evidence-benchmark{padding:27px 0 0;border:0;border-top:1px solid var(--line)}.evidence-metrics{margin-top:11px}.evidence-metrics>div{padding:13px 0;gap:16px}.evidence-metrics dt{font-size:19px}.evidence-metrics strong{font-size:25px}.evidence-metrics strong>small{font-size:18px}.evidence-metrics dd>span{font-size:18px}
  .performance-overhead{grid-template-columns:1fr;padding-top:25px;gap:22px}.overhead-heading h3{font-size:23px}.overhead-heading p{font-size:18px;margin-top:5px}
  .overhead-metrics{padding:0;gap:19px}.overhead-metrics>div{display:grid;grid-template-columns:minmax(0,1fr) auto;align-items:center;gap:16px}.overhead-metrics dt{font-size:19px}.overhead-metrics dd{margin:0;flex-direction:column;align-items:flex-end;gap:2px}.overhead-metrics strong{font-size:29px}.overhead-metrics strong>small{font-size:20px}.overhead-metrics dd>span{font-size:18px}
  .performance-source{margin-top:23px;gap:12px;font-size:17px}.performance-source .text-link{font-size:18px}
}