/* verifyhash.com — shared site stylesheet (every page in site/*.html links this one file).
   Identity: security paper + tamper-evident seal tape. Fine guilloche lines sit behind page
   heads the way they sit on a cheque; the live checker on the landing page carries a band of
   holographic seal tape that tears and shows VOID the moment the bytes stop matching the pin.
   Fonts are self-hosted from /assets/fonts/ (SIL OFL 1.1 — licence files sit next to them).
   No external requests: nothing in this file fetches from another host. */

@font-face{
  font-family:"Schibsted Grotesk";font-style:normal;font-display:swap;font-weight:400 900;
  src:url("/assets/fonts/schibsted-grotesk-latin-wght-normal.woff2") format("woff2");
}
@font-face{
  font-family:"Schibsted Grotesk";font-style:italic;font-display:swap;font-weight:400 900;
  src:url("/assets/fonts/schibsted-grotesk-latin-wght-italic.woff2") format("woff2");
}
@font-face{
  font-family:"Azeret Mono";font-style:normal;font-display:swap;font-weight:100 900;
  src:url("/assets/fonts/azeret-mono-latin-wght-normal.woff2") format("woff2");
}

/* ------------------------------------------------------------------ tokens */
:root{
  color-scheme:light dark;
  --paper:#F4F4EF;        /* page */
  --paper-2:#EAEBE3;      /* sunken bands */
  --card:#FFFFFF;
  --ink:#15171C;          /* text */
  --ink-2:#434957;        /* secondary text */
  --ink-3:#656B7A;        /* labels, captions */
  --rule:#DCDDD4;
  --rule-2:#C4C6BC;
  --accent:#4431D4;       /* seal ink — links, primary action */
  --accent-hover:#3522B8;
  --accent-ink:#FFFFFF;
  --accent-soft:#E9E6FC;
  --ok:#0D7446;  --ok-soft:#DCF0E4;
  --bad:#BF2A20; --bad-soft:#FAE2DE;
  --guilloche:#4431D4;    /* security-paper line colour (used at low opacity) */
  --code-bg:#17191F; --code-fg:#E8E9EE; --code-dim:#8C92A2; --code-hi:#B9AEFF; --code-rule:#2A2D36;
  --shadow:0 1px 0 rgba(21,23,28,.04),0 18px 40px -28px rgba(21,23,28,.35);
  --holo:conic-gradient(from 200deg at 50% 50%,#ff9fd6,#ffd98c,#a3f0c7,#90d4ff,#b8a2ff,#ff9fd6);

  --sans:"Schibsted Grotesk",ui-sans-serif,system-ui,-apple-system,"Segoe UI",Roboto,Helvetica,Arial,sans-serif;
  --mono:"Azeret Mono",ui-monospace,"SF Mono",Menlo,Consolas,monospace;
  --wrap:74rem;
  --gutter:clamp(1rem,4vw,2rem);
  --radius:14px;
  --guil:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='160' height='36' viewBox='0 0 160 36'%3E%3Cg fill='none' stroke='%23000' stroke-width='.7'%3E%3Cpath d='M0 9C13 3 27 3 40 9S67 15 80 9 107 3 120 9 147 15 160 9'/%3E%3Cpath d='M0 9C13 15 27 15 40 9S67 3 80 9 107 15 120 9 147 3 160 9'/%3E%3Cpath d='M0 27C13 21 27 21 40 27S67 33 80 27 107 21 120 27 147 33 160 27'/%3E%3Cpath d='M0 27C13 33 27 33 40 27S67 21 80 27 107 33 120 27 147 21 160 27'/%3E%3Cpath d='M0 18C20 12 40 24 60 18S100 12 120 18 140 24 160 18' stroke-width='.45'/%3E%3C/g%3E%3C/svg%3E");
}
@media (prefers-color-scheme:dark){
  :root{
    --paper:#0E0F13;
    --paper-2:#13151A;
    --card:#171920;
    --ink:#ECEDF1;
    --ink-2:#B6BAC6;
    --ink-3:#8C91A0;
    --rule:#252830;
    --rule-2:#343844;
    --accent:#A99DFF;
    --accent-hover:#C2B9FF;
    --accent-ink:#130E35;
    --accent-soft:#1F1B3F;
    --ok:#52D69C;  --ok-soft:#10271D;
    --bad:#FF7F72; --bad-soft:#2E1614;
    --guilloche:#A99DFF;
    --code-bg:#0A0B0E; --code-fg:#E8E9EE; --code-dim:#7E8494; --code-hi:#B9AEFF; --code-rule:#23262E;
    --shadow:0 1px 0 rgba(0,0,0,.3),0 24px 50px -30px rgba(0,0,0,.9);
  }
}

/* ------------------------------------------------------------------ base */
*,*::before,*::after{box-sizing:border-box}
html{-webkit-text-size-adjust:100%;font-size:100%;scroll-padding-top:5rem}
/* Root-size ladder (percentages, never px, so a reader's own raised browser default still wins):
   106.25%=17px, 115.625%=18.5px, 128.125%=20.5px, 140.625%=22.5px at a stock 16px setting. */
@media(min-width:1680px){html{font-size:106.25%}}
@media(min-width:2100px){html{font-size:115.625%}}
@media(min-width:2800px){html{font-size:128.125%}}
@media(min-width:3600px){html{font-size:140.625%}}
body{
  margin:0;min-height:100vh;display:flex;flex-direction:column;
  background:var(--paper);color:var(--ink);
  font-family:var(--sans);font-size:1rem;line-height:1.6;
  -webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility;
  overflow-x:hidden;
}
main{flex:1 0 auto}
a{color:var(--accent);text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:.2em}
a:hover{color:var(--accent-hover);text-decoration-thickness:2px}
code,kbd,pre{font-family:var(--mono)}
p code,li code,td code,th code{font-size:.86em;background:var(--paper-2);border:1px solid var(--rule);border-radius:5px;padding:.05em .35em;color:var(--ink)}
::selection{background:color-mix(in srgb,var(--accent) 28%,transparent)}
:focus-visible{outline:2px solid var(--accent);outline-offset:3px;border-radius:4px}
b,strong{font-weight:650}

.wrap{width:100%;max-width:var(--wrap);margin-inline:auto;padding-inline:var(--gutter)}
.mono{font-family:var(--mono)}
.eyebrow{
  display:inline-flex;align-items:center;gap:.55rem;margin:0;
  font-family:var(--mono);font-size:.72rem;font-weight:500;letter-spacing:.14em;text-transform:uppercase;
  color:var(--ink-3);
}
.eyebrow::before{content:"";flex:0 0 1.4rem;height:1px;background:currentColor;opacity:.7}
@media(max-width:560px){.eyebrow{letter-spacing:.06em;font-size:.64rem}.eyebrow::before{display:none}}

/* security-paper guilloche: interlaced sine lines, used as a mask so it takes the theme colour */
.hero::before,section.page::before{
  background:var(--guilloche);
  -webkit-mask-image:var(--guil),linear-gradient(180deg,#000 0,transparent 85%);
          mask-image:var(--guil),linear-gradient(180deg,#000 0,transparent 85%);
  -webkit-mask-size:160px 36px,100% 100%;mask-size:160px 36px,100% 100%;
  -webkit-mask-repeat:repeat,no-repeat;mask-repeat:repeat,no-repeat;
  -webkit-mask-composite:source-in;mask-composite:intersect;
}

/* ------------------------------------------------------------------ top bar */
header.bar{
  position:sticky;top:0;z-index:50;
  background:color-mix(in srgb,var(--paper) 86%,transparent);
  -webkit-backdrop-filter:saturate(1.4) blur(12px);backdrop-filter:saturate(1.4) blur(12px);
  border-bottom:1px solid var(--rule);
}
.bar .row{display:flex;align-items:center;gap:1.25rem;height:62px;position:relative}
.brand{
  display:inline-flex;align-items:center;gap:.6rem;
  font-family:var(--mono);font-weight:600;font-size:1rem;letter-spacing:-.02em;
  color:var(--ink);text-decoration:none;
}
.brand:hover{color:var(--ink);text-decoration:none}
/* the brand mark: a small holographic seal with a pinned centre */
.brand .tick{
  position:relative;width:20px;height:20px;border-radius:50%;flex:0 0 auto;
  background:var(--holo);
  box-shadow:inset 0 0 0 1px rgba(0,0,0,.18);
}
.brand .tick::after{
  content:"";position:absolute;inset:5px;border-radius:50%;
  background:var(--paper);box-shadow:inset 0 0 0 1.5px var(--ink);
}
.bar nav{display:flex;align-items:center;gap:.25rem;margin-left:auto;font-size:.93rem}
.bar nav a{
  color:var(--ink-2);text-decoration:none;padding:.38rem .6rem;border-radius:8px;white-space:nowrap;
  transition:background .15s ease,color .15s ease;
}
.bar nav a:hover{color:var(--ink);background:var(--paper-2)}
.bar nav a[aria-current="page"]{color:var(--ink);background:var(--paper-2);box-shadow:inset 0 0 0 1px var(--rule)}

.btn{
  display:inline-flex;align-items:center;justify-content:center;gap:.5rem;
  font-family:var(--sans);font-size:.93rem;font-weight:600;line-height:1.25;letter-spacing:-.005em;
  padding:.68rem 1.1rem;border-radius:10px;border:1px solid transparent;cursor:pointer;
  text-decoration:none;text-align:center;
  transition:transform .12s ease,background .15s ease,border-color .15s ease,color .15s ease,box-shadow .15s ease;
}
.btn:hover{text-decoration:none}
.btn-primary{background:var(--accent);color:var(--accent-ink);box-shadow:0 1px 0 rgba(255,255,255,.2) inset,0 8px 20px -12px var(--accent)}
.btn-primary:hover{background:var(--accent-hover);color:var(--accent-ink);transform:translateY(-1px)}
.btn-ghost{background:var(--card);color:var(--ink);border-color:var(--rule-2)}
.btn-ghost:hover{border-color:var(--accent);color:var(--accent)}
.bar .btn{padding:.48rem .85rem;font-size:.88rem;border-radius:9px}

/* mobile nav — an accessible disclosure (button[aria-expanded] + nav) on narrow screens */
.navtoggle{
  display:none;width:42px;height:38px;padding:0;flex:0 0 auto;
  background:var(--card);border:1px solid var(--rule-2);border-radius:9px;cursor:pointer;
  align-items:center;justify-content:center;color:var(--ink);
}
.navtoggle:hover{border-color:var(--accent);color:var(--accent)}
.navtoggle-bars{position:relative;display:block;width:16px;height:1.6px;background:currentColor;border-radius:2px;transition:background .15s ease}
.navtoggle-bars::before,.navtoggle-bars::after{content:"";position:absolute;left:0;width:16px;height:1.6px;background:currentColor;border-radius:2px;transition:transform .18s ease,top .18s ease}
.navtoggle-bars::before{top:-5px}
.navtoggle-bars::after{top:5px}
#navtoggle[aria-expanded="true"] .navtoggle-bars{background:transparent}
#navtoggle[aria-expanded="true"] .navtoggle-bars::before{top:0;transform:rotate(45deg)}
#navtoggle[aria-expanded="true"] .navtoggle-bars::after{top:0;transform:rotate(-45deg)}
@media(max-width:980px){
  .navtoggle{display:inline-flex;order:3}
  .bar .row > .btn{order:2;margin-left:auto}
  .bar nav{
    display:none;position:absolute;top:100%;left:0;right:0;
    flex-direction:column;align-items:stretch;gap:0;margin:0;
    background:var(--paper);border-bottom:1px solid var(--rule);
    padding:.4rem var(--gutter) 1rem;box-shadow:0 24px 40px -30px rgba(0,0,0,.5);
  }
  #navtoggle[aria-expanded="true"] + nav{display:flex}
  .bar nav a{padding:.85rem .2rem;border-radius:0;border-bottom:1px solid var(--rule);font-size:1rem;color:var(--ink)}
  .bar nav a:hover{background:transparent;color:var(--accent)}
  .bar nav a[aria-current="page"]{background:transparent;box-shadow:none;color:var(--accent)}
  .bar nav a:last-child{border-bottom:0}
}
@media(max-width:360px){.bar .btn{padding:.45rem .6rem;font-size:.82rem}}

/* ------------------------------------------------------------------ landing hero */
.hero{position:relative;padding:clamp(1.4rem,5vw,4.5rem) 0 clamp(2.5rem,6vw,5rem);isolation:isolate}
.hero::before{
  content:"";position:absolute;inset:0;z-index:-1;pointer-events:none;opacity:.16;
}
.hero-grid{
  display:grid;gap:clamp(1.25rem,3vw,2rem) clamp(2rem,5vw,4.5rem);
  grid-template-columns:minmax(0,1fr) minmax(0,1.08fr);
  grid-template-areas:"copy inst" "cta inst";
  align-items:start;
}
.hero-copy{grid-area:copy;padding-top:clamp(0rem,2vw,1.6rem)}
.hero-grid > .instrument{grid-area:inst}
.hero-grid > .hero-cta{grid-area:cta}
.hero h1{
  font-family:var(--sans);font-weight:750;letter-spacing:-.035em;line-height:.98;text-wrap:balance;
  font-size:clamp(2.35rem,4.5vw,4.3rem);margin:.85rem 0 0;
}
.hero h1 .off{color:var(--accent);font-style:italic;font-weight:650}
.lede{max-width:34rem;color:var(--ink-2);font-size:clamp(1rem,1.6vw,1.18rem);line-height:1.6;margin:1.1rem 0 0}
.lede strong{color:var(--ink)}
.hero-cta{display:flex;flex-direction:column;align-items:flex-start;gap:.6rem;max-width:34rem}
.hero-cta .btn{justify-content:flex-start}
.hero-cta .btn-primary{font-size:1rem;padding:.8rem 1.2rem}
@media(max-width:900px){
  .hero-grid{grid-template-columns:minmax(0,1fr);grid-template-areas:"copy" "inst" "cta"}
  .hero-cta{max-width:none}
}
@media(max-width:560px){
  .hero h1{font-size:2.15rem;margin-top:.5rem}
  .lede{font-size:.98rem;margin-top:.7rem;line-height:1.55}
  .hero-cta{align-items:stretch}
  .hero-cta .btn{justify-content:center}
}

.reveal{opacity:0;transform:translateY(12px);animation:rise .7s cubic-bezier(.2,.7,.2,1) forwards}
.reveal.d1{animation-delay:.03s}.reveal.d2{animation-delay:.1s}.reveal.d3{animation-delay:.18s}.reveal.d4{animation-delay:.26s}
@keyframes rise{to{opacity:1;transform:none}}

/* ------------------------------------------------------------------ the instrument (live checker) */
.instrument{
  position:relative;border-radius:18px;overflow:hidden;
  background:var(--card);border:1px solid var(--rule-2);box-shadow:var(--shadow);
}
/* seal tape across the top: holographic while the bytes match, torn + VOID once they do not */
.tape{position:relative;height:16px;overflow:hidden}
.tape::before,.tape::after{
  content:"";position:absolute;top:0;bottom:0;
  background:
    repeating-linear-gradient(115deg,rgba(255,255,255,.0) 0 6px,rgba(255,255,255,.35) 6px 7px),
    linear-gradient(90deg,#ff9fd6,#ffd98c 20%,#a3f0c7 40%,#90d4ff 60%,#b8a2ff 80%,#ff9fd6);
  background-size:auto,200% 100%;
  transition:transform .35s cubic-bezier(.3,.7,.2,1);
}
.tape::before{left:0;width:50%;background-position:0 0,0 0}
.tape::after{right:0;width:50%;background-position:0 0,100% 0}
.instrument:has(.verdict.bad) .tape::before,
.instrument:has(.verdict.bad) .tape::after{
  background:
    url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='44' height='16'%3E%3Ctext x='4' y='12' font-family='Arial,Helvetica,sans-serif' font-size='10' font-weight='700' letter-spacing='1' fill='%23fff'%3EVOID%3C/text%3E%3C/svg%3E"),
    var(--bad);
}
.instrument:has(.verdict.bad) .tape::before{
  clip-path:polygon(0 0,100% 0,96% 30%,100% 55%,95% 80%,98% 100%,0 100%);
  transform:translateX(-6px) rotate(-.6deg);
}
.instrument:has(.verdict.bad) .tape::after{
  clip-path:polygon(6% 0,100% 0,100% 100%,3% 100%,0 72%,5% 48%,1% 22%);
  transform:translateX(6px) rotate(.6deg);
}
.inst-head{
  display:flex;flex-wrap:wrap;align-items:center;gap:.4rem .7rem;padding:.8rem 1.1rem;
  border-bottom:1px solid var(--rule);
  font-family:var(--mono);font-size:.7rem;letter-spacing:.08em;color:var(--ink-3);
}
.inst-head .dot{width:8px;height:8px;border-radius:50%;background:var(--ok);box-shadow:0 0 0 3px color-mix(in srgb,var(--ok) 22%,transparent)}
.inst-head .net{margin-left:auto;display:inline-flex;align-items:center;gap:.4rem;padding:.15rem .5rem;border:1px solid var(--rule);border-radius:99px;background:var(--paper)}
.inst-head .net b{color:var(--ok);font-weight:700}
.inst-body{display:flex;flex-direction:column}
.inst-in{padding:1.1rem 1.1rem 0}
.inst-in label{display:block;font-family:var(--mono);font-size:.68rem;letter-spacing:.12em;text-transform:uppercase;color:var(--ink-3);margin-bottom:.5rem}
#payload{
  display:block;width:100%;min-height:96px;resize:vertical;margin:0;
  background:var(--paper);color:var(--ink);border:1px solid var(--rule-2);border-radius:10px;
  font-family:var(--mono);font-size:.92rem;line-height:1.55;padding:.75rem .85rem;
}
#payload:focus{outline:none;border-color:var(--accent);box-shadow:0 0 0 3px color-mix(in srgb,var(--accent) 22%,transparent)}
.hint{margin:.7rem 0 0;font-size:.85rem;color:var(--ink-3);line-height:1.5}
.hint kbd{font-family:var(--mono);background:var(--bad-soft);border:1px solid color-mix(in srgb,var(--bad) 35%,var(--rule));border-radius:5px;padding:.02rem .35rem;color:var(--bad);font-size:.76rem;font-weight:600}
.inst-out{padding:1rem 1.1rem 1.1rem;display:flex;flex-direction:column;gap:.75rem}
.digest-label{display:flex;justify-content:space-between;align-items:baseline;font-family:var(--mono);font-size:.68rem;letter-spacing:.12em;text-transform:uppercase;color:var(--ink-3);margin-bottom:.4rem}
.digest{
  font-family:var(--mono);font-size:.8rem;line-height:1.6;word-break:break-all;
  color:var(--ink-3);background:var(--paper);border:1px dashed var(--rule-2);border-radius:10px;padding:.65rem .8rem;min-height:3.2em;
}
.digest .lead{color:var(--ok);font-weight:600}
.instrument:has(.verdict.bad) .digest{border-color:color-mix(in srgb,var(--bad) 45%,var(--rule-2))}
.pinned{font-family:var(--mono);font-size:.74rem;color:var(--ink-3);word-break:break-all}
.pinned b{color:var(--ink-2);font-weight:600}
.verdict{
  display:flex;align-items:center;gap:.7rem;
  font-family:var(--mono);font-weight:700;font-size:.95rem;letter-spacing:.01em;
  padding:.75rem .9rem;border-radius:10px;border:1px solid var(--rule);
  transition:background .2s ease,border-color .2s ease,color .2s ease;
}
.verdict .glyph{display:inline-grid;place-items:center;width:1.6rem;height:1.6rem;border-radius:50%;font-size:.95rem;line-height:1;flex:0 0 auto;color:var(--card)}
.verdict .exit{margin-left:auto;font-size:.72rem;font-weight:500;letter-spacing:.04em;white-space:nowrap;opacity:.8}
.verdict.ok{color:var(--ok);background:var(--ok-soft);border-color:color-mix(in srgb,var(--ok) 35%,transparent)}
.verdict.ok .glyph{background:var(--ok)}
.verdict.bad{color:var(--bad);background:var(--bad-soft);border-color:color-mix(in srgb,var(--bad) 40%,transparent)}
.verdict.bad .glyph{background:var(--bad)}
@media(max-width:560px){
  /* phone: keep the verdict inside the first screen — the explanation follows it */
  .inst-in{display:contents}
  .inst-in label{padding:1rem 1rem 0;margin-bottom:.45rem}
  #payload{width:auto;margin:0 1rem;min-height:5.4em}
  .inst-out{order:2;padding:.8rem 1rem 1rem;gap:.6rem}
  .hint{order:3;margin:0;padding:.8rem 1rem 1rem;border-top:1px solid var(--rule)}
  .inst-head{padding:.65rem 1rem;font-size:.62rem;letter-spacing:.04em}
  .digest{font-size:.74rem;padding:.55rem .7rem}
  .verdict{font-size:.8rem;padding:.6rem .7rem;gap:.55rem}
}

/* ------------------------------------------------------------------ sections */
section{padding:clamp(2.8rem,6vw,4.6rem) 0;border-top:1px solid var(--rule)}
section:nth-of-type(even){background:var(--paper-2)}
.sec-head{max-width:46rem}
.sec-head h1,.sec-head h2{
  font-family:var(--sans);font-weight:750;letter-spacing:-.03em;line-height:1.05;text-wrap:balance;
  font-size:clamp(1.7rem,3.6vw,2.6rem);margin:.7rem 0 0;
}
.sec-head p{color:var(--ink-2);font-size:1.05rem;margin:.9rem 0 0;max-width:40rem}

/* inner pages: a page head on security paper, then the content */
section.page{position:relative;isolation:isolate;border-top:0;padding-top:clamp(2.2rem,6vw,4.5rem);background:none}
section.page::before{
  content:"";position:absolute;left:0;right:0;top:0;height:min(22rem,70%);z-index:-1;pointer-events:none;opacity:.16;
}
section.page .sec-head h1{font-size:clamp(2.1rem,5vw,3.6rem);line-height:1}
section.page .sec-head{margin-bottom:.5rem}

/* proof properties — a spec strip */
.props{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));margin-top:2.2rem;border-top:2px solid var(--ink)}
.prop{padding:1.3rem 1.3rem 1.3rem 0;display:flex;flex-direction:column;gap:.35rem;border-bottom:1px solid var(--rule)}
.prop + .prop{padding-left:1.3rem;border-left:1px solid var(--rule)}
.prop .k{font-family:var(--mono);font-size:2.3rem;font-weight:500;letter-spacing:-.04em;line-height:1.1;color:var(--ink)}
.prop .k small{font-size:1.1rem;color:var(--accent);font-weight:600}
.prop .t{font-weight:650;font-size:1rem;margin-top:.2rem}
.prop .d{color:var(--ink-2);font-size:.9rem;line-height:1.55}
@media(max-width:900px){
  .props{grid-template-columns:repeat(2,minmax(0,1fr))}
  .prop:nth-child(odd){padding-left:0;border-left:0}
}
@media(max-width:520px){
  .props{grid-template-columns:minmax(0,1fr)}
  .prop,.prop + .prop{padding-left:0;border-left:0;display:grid;grid-template-columns:4.2rem minmax(0,1fr);column-gap:1rem}
  .prop .k{grid-row:span 2;font-size:1.9rem}
}

/* three ways to start */
.starts{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:1rem;margin-top:2.2rem}
@media(max-width:900px){.starts{grid-template-columns:minmax(0,1fr)}}
.card{
  border:1px solid var(--rule-2);border-radius:var(--radius);background:var(--card);overflow:hidden;
  display:flex;flex-direction:column;box-shadow:var(--shadow);
}
.card .top{padding:1.15rem 1.2rem .35rem;display:flex;align-items:center;gap:.7rem}
.card .num{
  font-family:var(--mono);font-size:.72rem;font-weight:600;color:var(--accent);
  background:var(--accent-soft);border-radius:6px;padding:.18rem .45rem;
}
.card h3{font-family:var(--sans);font-size:1.12rem;font-weight:700;letter-spacing:-.01em;margin:0}
.card p{color:var(--ink-2);font-size:.93rem;margin:.2rem 1.2rem .3rem}
.card .card-cta{margin:.9rem 1.2rem 1.2rem}
pre{margin:.7rem 1.2rem 1.2rem;background:var(--code-bg);border:1px solid var(--code-rule);border-radius:10px;padding:.85rem .95rem;overflow-x:auto;color:var(--code-fg)}
pre code{font-family:var(--mono);font-size:.8rem;line-height:1.7;color:var(--code-fg)}
.card pre code{white-space:pre-wrap;overflow-wrap:anywhere}
pre code .c{color:var(--code-dim)}
pre code .a{color:var(--code-hi)}
.soon{font-family:var(--mono);font-size:.66rem;letter-spacing:.12em;text-transform:uppercase;color:var(--ink-3);border:1px solid var(--rule);border-radius:4px;padding:.08rem .4rem;margin-left:auto}
.pubhash{margin:auto 1.2rem 1.2rem !important;font-family:var(--mono);font-size:.7rem;line-height:1.5;padding:.7rem .8rem;border:1px dashed var(--rule-2);border-radius:10px}
.pubhash span{color:var(--ink-3);letter-spacing:.08em;text-transform:uppercase}
.pubhash code{display:block;color:var(--ink);word-break:break-all;margin-top:.3rem;background:none;border:0;padding:0;font-size:1em}
.repro-note{margin:1.8rem 0 0;font-size:.95rem;color:var(--ink-2);line-height:1.7;max-width:56rem;padding:1.1rem 1.25rem;border-left:3px solid var(--accent);background:var(--card);border-radius:0 10px 10px 0}
.repro-note .lead-in{color:var(--ink);font-weight:650}

/* for agents */
.agent-box{position:relative;margin-top:2.2rem;border-radius:var(--radius);background:var(--code-bg);border:1px solid var(--code-rule);overflow:hidden;box-shadow:var(--shadow)}
.agent-box::before{
  content:"prompt";display:block;padding:.6rem 1.2rem;border-bottom:1px solid var(--code-rule);
  font-family:var(--mono);font-size:.68rem;letter-spacing:.12em;text-transform:uppercase;color:var(--code-dim);
}
.agent-box pre{margin:0;background:transparent;border:0;border-radius:0;padding:1.2rem 1.3rem 1.4rem}
.agent-box code{font-family:var(--mono);font-size:.86rem;line-height:1.8;color:var(--code-fg);white-space:pre-wrap}
.agent-box code .a{color:var(--code-hi)}
.copybtn{
  position:absolute;top:.4rem;right:.5rem;font-family:var(--mono);font-size:.74rem;font-weight:600;
  color:var(--code-fg);background:transparent;border:1px solid var(--code-rule);border-radius:7px;padding:.3rem .75rem;cursor:pointer;
  transition:border-color .15s,color .15s;
}
.copybtn:hover{border-color:var(--code-hi);color:var(--code-hi)}

/* what it proves / what it does not */
.boundary{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:1rem;margin-top:2.2rem}
@media(max-width:760px){.boundary{grid-template-columns:minmax(0,1fr)}}
.bcol{background:var(--card);border:1px solid var(--rule-2);border-radius:var(--radius);padding:1.5rem;box-shadow:var(--shadow);border-top-width:4px}
.bcol.proves{border-top-color:var(--ok)}
.bcol.not{border-top-color:var(--bad)}
.bcol .h{font-family:var(--mono);font-size:.76rem;font-weight:600;letter-spacing:.12em;text-transform:uppercase;display:flex;align-items:center;gap:.55rem;margin-bottom:1.1rem}
.bcol .h span{display:inline-grid;place-items:center;width:1.5rem;height:1.5rem;border-radius:50%;color:var(--card);font-size:.8rem}
.bcol.proves .h{color:var(--ok)}.bcol.proves .h span{background:var(--ok)}
.bcol.not .h{color:var(--bad)}.bcol.not .h span{background:var(--bad)}
.bcol ul{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:.95rem}
.bcol li{display:flex;gap:.7rem;font-size:.95rem;line-height:1.55}
.bcol li .m{font-family:var(--mono);flex:0 0 auto;color:var(--ink-3)}
.bcol li b{color:var(--ink)}
.bcol li span{color:var(--ink-2)}

/* comparison */
.cmp-scroll{margin-top:2.2rem;overflow-x:auto;border:1px solid var(--rule-2);border-radius:var(--radius);background:var(--card);box-shadow:var(--shadow)}
.cmp{width:100%;min-width:640px;border-collapse:collapse;font-size:.96rem}
.cmp th{
  font-family:var(--sans);font-size:.98rem;font-weight:700;letter-spacing:-.005em;text-align:left;vertical-align:top;
  color:var(--ink);padding:1.3rem 1.4rem;width:17rem;border-bottom:1px solid var(--rule);background:var(--paper-2);
}
.cmp tr:nth-child(2) th{box-shadow:inset 4px 0 0 var(--accent)}
.cmp tr:nth-child(3) th{box-shadow:inset 4px 0 0 var(--bad)}
.cmp td{color:var(--ink-2);line-height:1.65;padding:1.3rem 1.4rem;border-bottom:1px solid var(--rule);vertical-align:top}
.cmp tr:last-child th,.cmp tr:last-child td{border-bottom:0}
.cmp td b{color:var(--ink)}
@media(max-width:640px){
  .cmp{min-width:0}
  .cmp th,.cmp td{display:block;width:auto}
  .cmp th{border-bottom:0;padding:1.1rem 1.1rem .7rem}
  .cmp td{padding:.8rem 1.1rem 1.2rem}
}

/* on-chain */
.chain{
  margin-top:2.2rem;display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1.15fr);gap:1.5rem 2.5rem;align-items:center;
  border:1px solid var(--rule-2);border-radius:var(--radius);background:var(--card);padding:clamp(1.3rem,3vw,2rem);box-shadow:var(--shadow);
}
@media(max-width:760px){.chain{grid-template-columns:minmax(0,1fr)}}
.chain .badge{display:inline-block;font-family:var(--mono);font-size:.68rem;font-weight:600;letter-spacing:.12em;text-transform:uppercase;color:var(--accent);background:var(--accent-soft);border-radius:6px;padding:.25rem .5rem}
.chain h3{font-family:var(--mono);font-weight:600;margin:.7rem 0 .4rem;font-size:1.25rem;letter-spacing:-.02em}
.chain p{color:var(--ink-2);font-size:.95rem;margin:0}
.addr a{
  display:block;font-family:var(--mono);font-size:.88rem;line-height:1.5;word-break:break-all;text-decoration:none;
  color:var(--ink);background:var(--paper);border:1px solid var(--rule-2);border-radius:10px;padding:.9rem 1rem;
  transition:border-color .15s,color .15s;
}
.addr a:hover{border-color:var(--accent);color:var(--accent)}
.addr .cap{font-family:var(--mono);font-size:.66rem;letter-spacing:.1em;text-transform:uppercase;color:var(--ink-3);margin:.6rem 0 0;display:flex;flex-wrap:wrap;gap:.3rem 1rem;justify-content:space-between}

/* pricing */
.tiers{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:1rem;margin-top:2.2rem}
@media(max-width:760px){.tiers{grid-template-columns:minmax(0,1fr)}}
.tier{border:1px solid var(--rule-2);border-radius:var(--radius);padding:1.6rem;background:var(--card);display:flex;flex-direction:column;gap:.75rem;box-shadow:var(--shadow)}
.tier.paid{border-color:color-mix(in srgb,var(--accent) 45%,var(--rule-2));box-shadow:0 0 0 1px color-mix(in srgb,var(--accent) 30%,transparent),var(--shadow)}
.tier .tag{font-family:var(--mono);font-size:.72rem;font-weight:600;letter-spacing:.12em;text-transform:uppercase;color:var(--ink-3)}
.tier.paid .tag{color:var(--accent)}
.tier .price{font-family:var(--sans);font-size:2.2rem;font-weight:750;letter-spacing:-.03em;line-height:1.1}
.tier ul{list-style:none;margin:.3rem 0 0;padding:.9rem 0 0;border-top:1px solid var(--rule);display:flex;flex-direction:column;gap:.6rem}
.tier li{display:flex;gap:.6rem;font-size:.95rem;color:var(--ink-2)}
.tier li .m{color:var(--accent);font-family:var(--mono);flex:0 0 auto}
.tier .tier-cta{margin-top:.6rem;align-self:flex-start}

/* ------------------------------------------------------------------ footer */
footer{border-top:1px solid var(--rule);padding:2.6rem 0 3rem;color:var(--ink-2);background:var(--paper-2);position:relative}
footer::before{content:"";position:absolute;left:0;right:0;top:0;height:4px;background:var(--holo);background:linear-gradient(90deg,#ff9fd6,#ffd98c,#a3f0c7,#90d4ff,#b8a2ff);opacity:.85}
.foot{display:flex;flex-wrap:wrap;gap:1rem 2rem;align-items:center}
.foot nav{display:flex;flex-wrap:wrap;gap:.5rem 1.4rem;font-size:.93rem;margin-left:auto}
.foot nav a{color:var(--ink-2);text-decoration:none}
.foot nav a:hover{color:var(--accent);text-decoration:underline}
.foot .lic{width:100%;max-width:62rem;font-size:.84rem;line-height:1.65;color:var(--ink-3);border-top:1px solid var(--rule);padding-top:1.3rem;margin:1.2rem 0 0}
.foot .lic a{color:var(--ink-2)}
@media(max-width:640px){.foot nav{margin-left:0;width:100%}}

@media(prefers-reduced-motion:reduce){
  .reveal{animation:none;opacity:1;transform:none}
  *,*::before,*::after{transition-duration:.01ms!important;scroll-behavior:auto!important}
}
