/* Proverify.ai — design system
   Minimalist black/white/gray base (matches the deck + autonomakers.com).
   Two subtle accent tones distinguish TokenOps (capital/ledger) from Runtime (execution). */

:root{
  --bg:#fff;
  --ink:#0a0a0a;
  --muted:#63636b;
  --line:#dedede;
  --soft:#f5f5f7;
  --dark:#111;
  --radius:22px;
  --shadow:0 24px 60px rgba(0,0,0,.08);

  /* TokenOps — ledger blue. Capital, economics, management control. */
  --tokenops:#33507B;
  --tokenops-mid:#7690B3;
  --tokenops-tint:#EEF2F7;
  --tokenops-line:#C7D3E2;

  /* Runtime — signal green. Executable authority, operational control. */
  --runtime:#2E6B4F;
  --runtime-mid:#75A692;
  --runtime-tint:#EDF4F0;
  --runtime-line:#C6DBD0;
}
*{box-sizing:border-box}
html{scroll-behavior:smooth}
body{margin:0;background:var(--bg);color:var(--ink);font-family:-apple-system,BlinkMacSystemFont,"SF Pro Display","Inter",Segoe UI,sans-serif;-webkit-font-smoothing:antialiased}
a{color:inherit;text-decoration:none}
button,input{font:inherit}
img{max-width:100%;display:block}
.shell{width:min(1180px,calc(100% - 40px));margin:auto}

/* header / nav */
.site-header{position:sticky;top:0;z-index:20;background:rgba(255,255,255,.86);backdrop-filter:blur(20px);border-bottom:1px solid rgba(0,0,0,.06)}
.nav-wrap{height:66px;display:flex;align-items:center;justify-content:space-between}
.wordmark{font-weight:700;letter-spacing:-.04em;font-size:22px}
.nav{display:flex;gap:24px;align-items:center;font-size:14px}
.nav a{color:#333}
.nav a.on-tokenops{color:var(--tokenops)}
.nav a.on-runtime{color:var(--runtime)}
.nav .nav-cta{background:#111;color:#fff;padding:10px 16px;border-radius:999px}

/* hero */
.hero{padding:88px 0 64px}
.hero-grid{display:grid;grid-template-columns:1.05fr .95fr;gap:56px;align-items:center}
.eyebrow{text-transform:uppercase;letter-spacing:.14em;font-size:12px;font-weight:700;color:#666}
.eyebrow.tokenops{color:var(--tokenops)}
.eyebrow.runtime{color:var(--runtime)}
.hero h1{font-size:clamp(42px,6.4vw,76px);line-height:1;letter-spacing:-.06em;margin:16px 0 22px;max-width:900px}
.lede{font-size:20px;line-height:1.55;color:#4b4b4b;max-width:680px}
.actions{display:flex;gap:12px;flex-wrap:wrap;margin-top:30px}
.button{display:inline-flex;align-items:center;justify-content:center;padding:13px 20px;border-radius:999px;border:1px solid #111;font-weight:600;font-size:15px}
.button-dark{background:#111;color:#fff}
.button-light{background:#fff}
.button-tokenops{background:var(--tokenops);border-color:var(--tokenops);color:#fff}
.button-runtime{background:var(--runtime);border-color:var(--runtime);color:#fff}
.microcopy{margin-top:16px;color:#737373;font-size:13px}

/* split visual: two panels, one per product */
.split-visual{display:grid;grid-template-columns:1fr 1fr;gap:2px;background:var(--line);border-radius:26px;overflow:hidden;box-shadow:var(--shadow)}
.split-panel{background:#fff;padding:26px;min-height:420px;display:flex;flex-direction:column;justify-content:space-between}
.split-panel.tokenops{border-top:3px solid var(--tokenops)}
.split-panel.runtime{border-top:3px solid var(--runtime)}
.split-panel h3{font-size:20px;margin:14px 0 8px;letter-spacing:-.02em}
.split-panel p{color:#5d5d5d;font-size:14px;line-height:1.55;margin:0}
.split-panel .tag{font-size:11px;font-weight:700;letter-spacing:.08em;text-transform:uppercase}
.split-panel.tokenops .tag{color:var(--tokenops)}
.split-panel.runtime .tag{color:var(--runtime)}
.split-panel .url{font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:12px;color:#888;margin-top:auto;padding-top:16px}

/* sections */
.section{padding:96px 0}
.section.alt{background:var(--soft)}
.section-head{max-width:760px;margin-bottom:44px}
.section-head h2{font-size:clamp(34px,4.6vw,58px);line-height:1.04;letter-spacing:-.05em;margin:12px 0 16px}
.section-head p{font-size:18px;color:#555;line-height:1.55}

/* cards */
.grid-3{display:grid;grid-template-columns:repeat(3,1fr);gap:16px}
.grid-2{display:grid;grid-template-columns:1fr 1fr;gap:16px}
.card{border:1px solid var(--line);border-radius:var(--radius);padding:24px;background:#fff}
.card h3{font-size:20px;letter-spacing:-.02em;margin:0 0 10px}
.card p{color:#5d5d5d;line-height:1.55;margin:0;font-size:15px}
.card .label{font-size:12px;color:#777;text-transform:uppercase;letter-spacing:.1em;font-weight:700;margin-bottom:18px}
.card.tokenops{border-left:3px solid var(--tokenops)}
.card.runtime{border-left:3px solid var(--runtime)}
.card.tokenops .label{color:var(--tokenops)}
.card.runtime .label{color:var(--runtime)}

/* tags / chips */
.tag-chip{display:inline-flex;align-items:center;padding:5px 12px;border-radius:999px;font-size:12px;font-weight:600;border:1px solid var(--line)}
.tag-chip.tokenops{color:var(--tokenops);background:var(--tokenops-tint);border-color:var(--tokenops-line)}
.tag-chip.runtime{color:var(--runtime);background:var(--runtime-tint);border-color:var(--runtime-line)}

/* process / flow steps */
.process{display:grid;grid-template-columns:repeat(3,1fr);gap:0;border:1px solid var(--line);border-radius:24px;overflow:hidden}
.phase{padding:26px 22px;min-height:220px;border-right:1px solid var(--line)}
.phase:last-child{border-right:0}
.phase span{font-size:12px;color:#777;font-weight:700}
.phase h3{font-size:21px;margin:28px 0 10px;letter-spacing:-.02em}
.phase p{font-size:14px;color:#666;line-height:1.5}
.arrow-row{text-align:center;font-size:22px;color:#999;padding:6px 0}

/* dark/inverted blocks */
.dark-block{background:#111;color:#fff;border-radius:28px;padding:44px}
.dark-block h2,.dark-block h3{color:#fff}
.dark-block p{color:#bbb}
.dark-block.tokenops{background:linear-gradient(180deg,#111 0%,#16223a 100%)}
.dark-block.runtime{background:linear-gradient(180deg,#111 0%,#122b1f 100%)}

/* compare table (prompt-as-control vs runtime-as-control style) */
.compare{display:grid;grid-template-columns:1fr 1fr;gap:16px;margin-top:26px}
.compare>div{border:1px solid var(--line);border-radius:22px;padding:26px}
.compare h3{font-size:22px;margin:0 0 16px}
.compare ul{list-style:none;padding:0;margin:0;display:grid;gap:12px;color:#555;font-size:15px}
.compare li:before{content:"—";margin-right:10px;color:#999}

/* metric row */
.metric-row{display:grid;grid-template-columns:repeat(3,1fr);gap:32px;border-top:1px solid var(--line);padding-top:32px;margin-top:8px}
.metric-row .metric{border-left:1px solid var(--line);padding-left:18px}
.metric-row .metric:first-child{border-left:0;padding-left:0}
.metric-value{font-size:36px;font-weight:700;letter-spacing:-.02em;line-height:1}
.metric-label{font-size:13px;color:#777;margin-top:6px}

/* team / profiles */
.team{display:grid;grid-template-columns:repeat(3,1fr);gap:18px}
.profile{border-top:1px solid #111;padding-top:16px}
.profile h3{font-size:20px;margin:0 0 4px}
.profile .role{font-size:13px;color:#777;margin-bottom:14px}
.profile p{color:#555;line-height:1.5;font-size:14px}

/* spec table */
.spec-table{width:100%;border-collapse:collapse;margin-top:20px}
.spec-table th,.spec-table td{text-align:left;padding:14px;border-bottom:1px solid var(--line);font-size:14px;vertical-align:top}
.spec-table th{color:#777;font-weight:600;width:22%}

/* page hero (interior pages) */
.page-hero{padding:76px 0 46px}
.page-hero h1{font-size:clamp(38px,5.6vw,64px);letter-spacing:-.055em;line-height:1.02;margin:12px 0 18px}
.page-hero p{font-size:19px;color:#555;max-width:760px;line-height:1.55}

/* footer */
.footer{border-top:1px solid var(--line);padding:40px 0 60px}
.footer-grid{display:flex;justify-content:space-between;gap:24px;color:#666;font-size:13px;flex-wrap:wrap}
.footer-links{display:flex;gap:18px}

.skip-link{position:absolute;left:-9999px}
.skip-link:focus{left:10px;top:10px;background:#fff;padding:10px;z-index:99}

/* homepage: capital control + operational control */
.home-hero{padding:100px 0 72px}
.hero-copy{max-width:980px}
.home-hero h1{max-width:1050px}
.home-hero .lede{font-size:22px;max-width:760px}
.control-statement{display:flex;gap:28px;margin:28px 0 0;font-size:15px}
.control-statement strong:first-child{color:var(--tokenops)}
.control-statement strong:last-child{color:var(--runtime)}
.button span,.text-link span{margin-left:6px;transition:transform .2s ease}
.button:hover span,.text-link:hover span{transform:translateX(4px)}
.control-model{display:grid;grid-template-columns:1fr 90px 1fr;margin-top:76px;border:1px solid var(--line);border-radius:26px;overflow:hidden;background:#fff;box-shadow:var(--shadow)}
.control-column{padding:30px 34px;position:relative;min-height:190px;transition:background .2s ease}
.control-column.tokenops{border-top:4px solid var(--tokenops)}
.control-column.runtime{border-top:4px solid var(--runtime)}
.control-column.tokenops:hover{background:var(--tokenops-tint)}
.control-column.runtime:hover{background:var(--runtime-tint)}
.control-column .tag{font-size:11px;text-transform:uppercase;letter-spacing:.1em;font-weight:700}
.control-column.tokenops .tag{color:var(--tokenops)}
.control-column.runtime .tag{color:var(--runtime)}
.control-column h2{font-size:32px;letter-spacing:-.04em;margin:26px 0 5px}
.control-column p{margin:0;color:#666}
.control-number{position:absolute;right:28px;top:25px;color:#aaa;font-size:12px;font-family:ui-monospace,monospace}
.control-connector{display:grid;place-items:center;background:#111;color:#fff;position:relative}
.control-connector:before,.control-connector:after{content:"";position:absolute;left:-14px;width:14px;border-top:1px solid #111}
.control-connector:after{left:auto;right:-14px}
.control-connector span{font-size:11px;text-transform:uppercase;letter-spacing:.12em;font-weight:700;transform:rotate(-90deg)}
.problem-section{border-top:1px solid var(--line)}
.problem-grid{display:grid;grid-template-columns:.9fr 1.1fr;gap:100px}
.sticky-head{align-self:start}.sticky-head h2{margin-bottom:0}
.section-intro{font-size:22px;line-height:1.5;margin:0 0 34px;color:#444}
.question-list{list-style:none;padding:0;margin:0;border-top:1px solid var(--line)}
.question-list li{display:grid;grid-template-columns:110px 1fr;gap:24px;padding:20px 0;border-bottom:1px solid var(--line);font-size:17px;line-height:1.4}
.question-list span{color:#888;font-size:11px;letter-spacing:.1em;text-transform:uppercase;font-weight:700;padding-top:5px}
.wide-head{max-width:920px}
.product-pair{display:grid;grid-template-columns:1fr 1fr;gap:18px}
.product-card{background:#fff;border:1px solid var(--line);border-radius:26px;padding:34px;overflow:hidden;position:relative}
.product-card.tokenops{border-top:4px solid var(--tokenops)}
.product-card.runtime{border-top:4px solid var(--runtime)}
.product-card-head{display:flex;justify-content:space-between;align-items:start}
.product-card h3{font-size:40px;letter-spacing:-.045em;margin:20px 0 0}
.product-index{font-family:ui-monospace,monospace;color:#aaa;font-size:12px}
.product-shorthand{font-size:21px!important;color:var(--ink)!important;font-weight:650;letter-spacing:-.02em;margin:24px 0 14px!important}
.product-card>p{color:#5b5b61;line-height:1.65;font-size:15px}
.feature-list{list-style:none;padding:22px 0 0;margin:26px 0;border-top:1px solid var(--line);display:grid;grid-template-columns:1fr 1fr;gap:16px}
.feature-list li{font-size:14px;padding-left:17px;position:relative;line-height:1.4}
.feature-list li:before{content:"";width:6px;height:6px;border-radius:50%;position:absolute;left:0;top:7px;background:currentColor}
.product-card.tokenops .feature-list li:before{color:var(--tokenops)}
.product-card.runtime .feature-list li:before{color:var(--runtime)}
.text-link{display:inline-flex;align-items:center;font-size:14px;font-weight:700;margin-top:8px}
.product-card.tokenops .text-link{color:var(--tokenops)}
.product-card.runtime .text-link,.runtime-link{color:var(--runtime)}
.combined-grid{display:grid;grid-template-columns:.85fr 1.15fr;gap:100px;align-items:start}
.combined-grid h2{font-size:clamp(38px,5vw,62px);line-height:1.02;letter-spacing:-.05em;margin:12px 0}
.combined-copy>p{font-size:20px;line-height:1.55;color:#555;margin:0 0 20px}
.combined-copy .emphasis{color:var(--ink);font-weight:650}
.accountability-flow{display:grid;grid-template-columns:1fr auto 1fr auto 1fr;align-items:stretch;margin-top:46px;border-top:1px solid var(--line);padding-top:24px;gap:12px}
.accountability-flow>div{display:flex;flex-direction:column;gap:7px}
.accountability-flow span{font-size:11px;letter-spacing:.09em;text-transform:uppercase;color:#888;font-weight:700}
.accountability-flow strong{font-size:14px;line-height:1.4}
.accountability-flow .plus,.accountability-flow .equals{font-size:18px;align-self:center;color:#aaa}
.accountability-flow .outcome{border-left:2px solid #111;padding-left:15px}
.intelligence-grid{display:grid;grid-template-columns:.85fr 1.15fr;gap:100px;align-items:center}
.runtime-orbit{aspect-ratio:1;max-width:430px;border:1px solid var(--runtime-line);border-radius:50%;display:grid;place-items:center;position:relative;background:radial-gradient(circle,var(--runtime-tint),transparent 66%)}
.runtime-orbit:before,.runtime-orbit:after{content:"";position:absolute;border:1px solid var(--runtime-line);border-radius:50%;inset:15%}
.runtime-orbit:after{inset:31%;background:#fff;box-shadow:0 18px 50px rgba(46,107,79,.12)}
.orbit-core{z-index:1;color:var(--runtime);font-size:27px;font-weight:700;text-align:center;letter-spacing:-.03em}
.orbit-core small{display:block;font-size:10px;text-transform:uppercase;letter-spacing:.12em;color:#777;margin-bottom:6px}
.orbit-label,.orbit-detail{position:absolute;background:var(--soft);border:1px solid var(--runtime-line);border-radius:999px;padding:8px 13px;font-size:11px;font-weight:700;z-index:2}
.orbit-label{top:8%;right:2%}.orbit-detail{bottom:9%;left:0}
.intelligence-section .section-head{margin:0}
.intelligence-section .section-head p{font-size:17px}
.home-cta{padding:56px}
.home-cta .eyebrow{color:#aaa}
.home-cta h2{font-size:clamp(42px,6vw,70px);letter-spacing:-.055em;line-height:1;margin:14px 0 20px}
.home-cta>p{font-size:17px;max-width:600px;line-height:1.55}
.button-inverted{border-color:#555;color:#fff;background:transparent}

@media(max-width:900px){
  .hero-grid,.compare,.content-grid,.problem-grid,.combined-grid,.intelligence-grid{grid-template-columns:1fr}
  .grid-3,.team,.metric-row{grid-template-columns:1fr 1fr}
  .process{grid-template-columns:1fr}
  .phase{border-right:0;border-bottom:1px solid var(--line);min-height:auto}
  .split-visual{grid-template-columns:1fr}
  .problem-grid,.combined-grid,.intelligence-grid{gap:48px}
  .accountability-flow{grid-template-columns:1fr;gap:16px}
  .accountability-flow .plus,.accountability-flow .equals{display:none}
  .accountability-flow .outcome{padding:14px 0 0;border-left:0;border-top:2px solid #111}
}
@media(max-width:640px){
  .shell{width:min(100% - 24px,1180px)}
  .nav a:not(.nav-cta){display:none}
  .hero h1{font-size:44px}
  .section{padding:68px 0}
  .grid-3,.team,.grid-2,.metric-row{grid-template-columns:1fr}
  .page-hero h1{font-size:42px}
  .footer-grid{flex-direction:column}
  .home-hero{padding-top:68px}
  .control-statement{flex-direction:column;gap:8px}
  .control-model,.product-pair{grid-template-columns:1fr}
  .control-connector{height:46px}
  .control-connector span{transform:none}
  .control-connector:before,.control-connector:after{display:none}
  .control-column{min-height:170px;padding:26px}
  .product-card{padding:26px}
  .feature-list{grid-template-columns:1fr}
  .question-list li{grid-template-columns:80px 1fr;gap:12px}
  .runtime-orbit{width:90%;margin:auto}
  .home-cta{padding:34px 24px}
}