/* provethebuy.com: Signed & Filed */
:root {
  --ink: #141A3A; --ink-2: #3A4260; --ink-deep: #0E1330; --ink-line: #232B57; --ink-rule: #2A3466;
  --paper: #EEF1F6; --surface: #FFFFFF; --rule: #D5DBE7; --slate: #5B6478;
  --orange: #F28C28; --orange-text: #B85C0A; --green: #2E9E6B; --green-text: #1F7A50; --red: #D9412B; --red-text: #B8321F;
  --on-ink: #EEF1F6; --on-ink-2: #C9D0EA; --on-ink-3: #8E98C2;
  --sans: "Geist", system-ui, -apple-system, "Segoe UI", Roboto, sans-serif;
  --mono: "Geist Mono", ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --serif: "Newsreader", Georgia, "Times New Roman", serif;
  --gutter: max(16px, 5vw);
}
* { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; }
body { margin: 0; background: var(--paper); color: var(--ink); font: 16px/1.6 var(--sans); -webkit-font-smoothing: antialiased; }
a { color: var(--orange-text); }
a:hover { color: #8A4306; }
:focus-visible { outline: 2px solid var(--orange); outline-offset: 2px; border-radius: 3px; }
code, pre, kbd { font-family: var(--mono); }
img, svg { max-width: 100%; }
.wrap { max-width: 1240px; margin: 0 auto; padding: 0 var(--gutter); }
.skip { position: absolute; left: -999px; top: 8px; background: var(--orange); color: var(--ink); padding: 8px 12px; border-radius: 6px; z-index: 10; }
.skip:focus { left: 8px; }

/* ---------- nav */
.top { background: var(--ink); color: var(--on-ink); border-bottom: 1px solid var(--ink-line); position: relative; z-index: 2; }
.top .wrap { display: flex; align-items: center; justify-content: space-between; gap: 20px; height: 64px; }
.logo { display: inline-flex; align-items: center; gap: 10px; color: var(--on-ink); text-decoration: none; font-weight: 600; font-size: 17px; letter-spacing: -0.01em; }
.logo:hover { color: #fff; }
.logo svg { width: 26px; height: 26px; flex: none; }
.top nav { display: flex; align-items: center; gap: 26px; }
.top nav a { color: var(--on-ink-2); text-decoration: none; font-size: 14.5px; }
.top nav a:hover, .top nav a[aria-current="page"] { color: #fff; }
.top nav .gh { display: inline-flex; align-items: center; gap: 6px; }
.menu-btn { display: none; background: none; border: 1px solid var(--ink-rule); color: var(--on-ink); border-radius: 8px; height: 36px; width: 40px; cursor: pointer; }

/* ---------- buttons */
.btn { display: inline-flex; align-items: center; justify-content: center; gap: 8px; height: 44px; padding: 0 18px; border-radius: 8px; font: 600 15px/1 var(--sans); text-decoration: none; cursor: pointer; border: 1px solid transparent; white-space: nowrap; }
.btn svg { width: 16px; height: 16px; flex: none; }
.btn-accent { background: var(--orange); color: var(--ink); }
.btn-accent:hover { background: #FF9E3D; color: var(--ink); }
.btn-line { background: transparent; color: var(--on-ink); border-color: #3A4478; }
.btn-line:hover { border-color: var(--on-ink); color: #fff; }
.btn-ink { background: var(--ink); color: var(--on-ink); }
.btn-ink:hover { background: #232B57; color: #fff; }
.btn-ghost { background: var(--surface); color: var(--ink); border-color: #C9D0DE; }
.btn-ghost:hover { border-color: var(--ink); color: var(--ink); }
.btn-sm { height: 36px; font-size: 14px; padding: 0 14px; }

/* ---------- stamps */
.stamp { display: inline-block; border: 2.5px solid currentColor; border-radius: 6px; padding: 4px 12px; font: 600 14px/1.2 var(--mono); letter-spacing: 0.08em; transform: rotate(-4deg); }
.stamp.allow { color: var(--green-text); }
.stamp.step { color: var(--orange-text); transform: rotate(3deg); }
.stamp.block { color: var(--red-text); transform: rotate(-2deg); }

/* ---------- hero */
.hero { position: relative; background: var(--ink); color: var(--on-ink); overflow: hidden; }
.hero .guilloche { position: absolute; inset: 0; width: 100%; height: 100%; pointer-events: none; }
.hero .wrap { position: relative; display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: 56px; align-items: center; padding-top: 84px; padding-bottom: 96px; }
.pill { align-self: flex-start; display: inline-flex; align-items: center; gap: 8px; border: 1px solid #3A4478; border-radius: 999px; padding: 6px 14px; font-size: 13px; color: var(--on-ink-2); text-decoration: none; }
.pill:hover { color: #fff; border-color: var(--on-ink-3); }
.pill i { width: 7px; height: 7px; border-radius: 50%; background: #4CC38A; }
.hero-copy { display: flex; flex-direction: column; gap: 26px; }
.hero h1 { margin: 0; font: 500 clamp(42px, 4.9vw, 70px)/1.03 var(--serif); letter-spacing: -0.015em; text-wrap: balance; }
.hero .lede { margin: 0; font-size: 19px; line-height: 1.55; color: var(--on-ink-2); max-width: 34em; }
.install { display: flex; align-items: center; justify-content: space-between; gap: 12px; background: var(--ink-deep); border: 1px solid var(--ink-rule); border-radius: 10px; padding: 10px 10px 10px 18px; max-width: 460px; font: 15px/1.4 var(--mono); color: var(--on-ink); }
.install .p { color: var(--on-ink-3); }
.copy { background: transparent; border: 1px solid #3A4478; border-radius: 6px; color: var(--on-ink-2); height: 32px; min-width: 32px; padding: 0 8px; display: inline-flex; align-items: center; justify-content: center; gap: 6px; cursor: pointer; font: 500 12px var(--sans); }
.copy:hover { color: #fff; border-color: var(--on-ink-2); }
.copy svg { width: 14px; height: 14px; }
.cta-row { display: flex; gap: 12px; flex-wrap: wrap; }

.window { background: var(--ink-deep); border: 1px solid var(--ink-rule); border-radius: 14px; overflow: hidden; box-shadow: 0 30px 60px -20px rgba(4, 7, 26, 0.7); }
.window-bar { display: flex; align-items: center; gap: 8px; padding: 12px 16px; border-bottom: 1px solid var(--ink-line); }
.window-bar i { width: 10px; height: 10px; border-radius: 50%; background: var(--ink-rule); }
.window-bar span { margin-left: 10px; font: 12px var(--mono); color: var(--on-ink-3); }
.code { margin: 0; padding: 18px 22px; font: 13px/1.75 var(--mono); color: var(--on-ink-2); overflow-x: auto; white-space: pre; }
.code .k { color: #B79CFF; } .code .s { color: #F2B36B; } .code .f { color: #7FC8FF; } .code .c { color: #6B76A8; }
.verify-log { border-top: 1px solid var(--ink-line); padding: 14px 22px; font: 13px/1.85 var(--mono); color: var(--on-ink-2); overflow-x: auto; white-space: pre; margin: 0; }
.verify-log .ok { color: #4CC38A; } .verify-log .to { color: var(--orange); }
.hero-demo { position: relative; min-width: 0; }
.hero-demo .stamp { position: absolute; right: -10px; bottom: -40px; background: var(--paper); font-size: 22px; padding: 8px 18px; border-width: 3px; border-radius: 8px; box-shadow: 0 10px 24px -8px rgba(4, 7, 26, 0.6); transform: rotate(-7deg); }

/* ---------- sections */
section { padding: 88px 0; }
.section-head { max-width: 680px; margin-bottom: 44px; }
.section-head h2 { margin: 0 0 12px; font: 600 clamp(28px, 3vw, 38px)/1.15 var(--sans); letter-spacing: -0.02em; text-wrap: balance; }
.section-head p { margin: 0; color: var(--ink-2); font-size: 17px; }
.on-ink { background: var(--ink); color: var(--on-ink); }
.on-ink .section-head p { color: var(--on-ink-2); }
.on-white { background: var(--surface); }

/* terminal replay */
.terminal-grid { display: grid; grid-template-columns: minmax(0, 7fr) minmax(0, 4fr); gap: 48px; align-items: start; }
.term { background: var(--ink); border-radius: 14px; padding: 22px 24px; font: 13.5px/1.7 var(--mono); color: var(--on-ink-2); overflow-x: auto; white-space: pre; margin: 0; min-height: 520px; }
.term .p { color: var(--on-ink-3); } .term .w { color: var(--on-ink); } .term .h { color: var(--orange); }
.term .cursor { display: inline-block; width: 8px; height: 15px; background: var(--orange); vertical-align: -2px; animation: blink 1s steps(1) infinite; }
@keyframes blink { 50% { opacity: 0; } }
.side-notes { display: flex; flex-direction: column; gap: 22px; }
.side-notes h3 { margin: 0 0 6px; font-size: 17px; }
.side-notes p { margin: 0; color: var(--ink-2); font-size: 15px; }
.side-notes code { background: var(--surface); border: 1px solid var(--rule); border-radius: 5px; padding: 1px 6px; font-size: 13px; }

/* steps */
.steps { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 32px; counter-reset: step; list-style: none; padding: 0; margin: 0; }
.steps li { counter-increment: step; display: flex; flex-direction: column; gap: 10px; border-top: 2px solid var(--ink); padding-top: 18px; }
.steps li::before { content: counter(step); font: 600 13px var(--mono); color: var(--orange-text); }
.steps h3 { margin: 0; font-size: 19px; letter-spacing: -0.01em; }
.steps p { margin: 0; color: var(--ink-2); font-size: 15.5px; }
.steps code { font-size: 13px; background: var(--surface); border: 1px solid var(--rule); border-radius: 6px; padding: 7px 10px; align-self: flex-start; }

/* standards table */
.table-wrap { overflow-x: auto; border: 1px solid var(--ink-rule); border-radius: 12px; }
table.std { width: 100%; border-collapse: collapse; font-size: 14.5px; min-width: 720px; }
table.std th, table.std td { text-align: left; padding: 14px 18px; border-bottom: 1px solid var(--ink-line); vertical-align: top; }
table.std th { font-weight: 500; color: var(--on-ink-3); font-size: 13px; }
table.std td:first-child { font-weight: 600; color: var(--on-ink); white-space: nowrap; }
table.std td { color: var(--on-ink-2); }
table.std tr:last-child td { border-bottom: 0; }
.status { font: 600 12px var(--mono); letter-spacing: 0.04em; padding: 2px 8px; border-radius: 5px; border: 1.5px solid currentColor; white-space: nowrap; }
.status.stable { color: #4CC38A; } .status.beta { color: #F2B36B; } .status.preview { color: #B79CFF; } .status.limits { color: var(--on-ink-3); }

/* clone */
.clone { display: grid; grid-template-columns: minmax(0, 5fr) minmax(0, 6fr); gap: 48px; align-items: center; }
.clone pre { background: var(--ink); color: var(--on-ink-2); border-radius: 12px; padding: 20px 22px; font: 14px/1.8 var(--mono); margin: 0; overflow-x: auto; position: relative; }
.clone pre .p { color: var(--on-ink-3); }
.clone pre .copy { position: absolute; top: 12px; right: 12px; }
.screens { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 10px 24px; padding: 0; margin: 22px 0 0; list-style: none; font-size: 15px; color: var(--ink-2); }
.screens li { display: flex; gap: 8px; align-items: baseline; }
.screens li svg { width: 15px; height: 15px; flex: none; color: var(--green-text); transform: translateY(2px); }

/* cloud */
.cloud { display: grid; grid-template-columns: minmax(0, 5fr) minmax(0, 7fr); gap: 56px; align-items: center; }
.cloud ul { list-style: none; padding: 0; margin: 24px 0 28px; display: grid; gap: 14px; }
.cloud li { display: grid; grid-template-columns: 22px 1fr; gap: 10px; font-size: 15.5px; color: var(--ink-2); }
.cloud li b { color: var(--ink); font-weight: 600; }
.cloud li svg { width: 20px; height: 20px; color: var(--ink); }
.record { background: var(--surface); border: 1px solid var(--rule); border-radius: 12px; overflow: hidden; box-shadow: 0 24px 50px -30px rgba(20, 26, 58, 0.35); }
.record-head { background: var(--ink); color: var(--on-ink-2); padding: 12px 18px; display: flex; justify-content: space-between; gap: 12px; flex-wrap: wrap; font: 12.5px var(--mono); }
.record-body { padding: 20px 22px; display: flex; flex-direction: column; gap: 4px; }
.record-title { display: flex; justify-content: space-between; align-items: flex-start; gap: 16px; margin-bottom: 10px; }
.record-title b { font-size: 18px; display: block; }
.record-title span { color: var(--slate); font-size: 14px; }
.proof-row { display: grid; grid-template-columns: 20px minmax(0, 1fr) auto; gap: 10px; padding: 10px 0; border-bottom: 1px solid var(--paper); align-items: start; }
.proof-row:last-child { border-bottom: 0; }
.proof-row svg { width: 18px; height: 18px; color: var(--green-text); margin-top: 2px; }
.proof-row b { display: block; font-size: 14.5px; font-weight: 500; }
.proof-row span { font-size: 13px; color: var(--slate); }
.proof-row code { font-size: 12px; color: var(--slate); white-space: nowrap; }
.redact { display: inline-block; width: 120px; height: 11px; background: var(--ink); border-radius: 2px; vertical-align: middle; }

/* pricing */
.plans { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 16px; }
.plan { background: var(--surface); border: 1px solid var(--rule); border-radius: 12px; padding: 24px 22px; display: flex; flex-direction: column; gap: 14px; position: relative; }
.plan.featured { border-color: var(--ink); box-shadow: 0 0 0 1px var(--ink); }
.plan .tag { position: absolute; top: -12px; left: 22px; background: var(--orange); color: var(--ink); font: 600 12px var(--sans); padding: 3px 10px; border-radius: 999px; }
.plan h3 { margin: 0; font-size: 17px; }
.plan .price { font: 600 36px/1 var(--sans); letter-spacing: -0.02em; }
.plan .price small { font: 400 14px var(--sans); color: var(--slate); letter-spacing: 0; }
.plan .desc { margin: 0; color: var(--ink-2); font-size: 14.5px; min-height: 66px; }
.plan .allow-line { font: 500 13px var(--mono); color: var(--ink); background: var(--paper); border-radius: 6px; padding: 8px 10px; }
.plan ul { list-style: none; padding: 0; margin: 0; display: grid; gap: 8px; font-size: 14px; color: var(--ink-2); flex-grow: 1; }
.plan li { display: grid; grid-template-columns: 16px 1fr; gap: 8px; }
.plan li svg { width: 15px; height: 15px; color: var(--green-text); margin-top: 3px; }
.plan .btn { width: 100%; }
.plans-note { margin: 22px 0 0; color: var(--slate); font-size: 14px; max-width: 760px; }
.compare { margin-top: 56px; }
.compare table { width: 100%; border-collapse: collapse; font-size: 14.5px; background: var(--surface); border: 1px solid var(--rule); border-radius: 12px; overflow: hidden; min-width: 720px; }
.compare th, .compare td { padding: 12px 16px; border-bottom: 1px solid var(--paper); text-align: left; }
.compare thead th { background: var(--ink); color: var(--on-ink-2); font-weight: 500; font-size: 13.5px; }
.compare td + td, .compare th + th { text-align: center; }
.compare .yes { color: var(--green-text); font-weight: 600; }
.compare .no { color: #A3ABBE; }

/* faq */
.faq { display: grid; grid-template-columns: minmax(0, 4fr) minmax(0, 7fr); gap: 56px; }
.faq details { border-bottom: 1px solid var(--rule); padding: 18px 0; }
.faq details:first-child { border-top: 1px solid var(--rule); }
.faq summary { cursor: pointer; font-weight: 600; font-size: 17px; list-style: none; display: flex; justify-content: space-between; gap: 16px; }
.faq summary::-webkit-details-marker { display: none; }
.faq summary::after { content: "+"; font: 400 22px/1 var(--mono); color: var(--slate); }
.faq details[open] summary::after { content: "−"; }
.faq details p { margin: 10px 0 0; color: var(--ink-2); max-width: 64ch; }

/* closing */
.closing { text-align: left; }
.closing .wrap { display: flex; justify-content: space-between; align-items: center; gap: 32px; flex-wrap: wrap; }
.closing h2 { margin: 0; font: 500 clamp(30px, 3.6vw, 48px)/1.1 var(--serif); max-width: 18em; }

/* footer */
footer.site { background: var(--ink-deep); color: var(--on-ink-3); padding: 56px 0 40px; font-size: 14px; }
footer.site .wrap { display: grid; grid-template-columns: 2fr repeat(3, 1fr); gap: 32px; }
footer.site h4 { margin: 0 0 12px; color: var(--on-ink); font-size: 14px; font-weight: 600; }
footer.site ul { list-style: none; margin: 0; padding: 0; display: grid; gap: 8px; }
footer.site a { color: var(--on-ink-2); text-decoration: none; }
footer.site a:hover { color: #fff; }
footer.site .fine { grid-column: 1 / -1; border-top: 1px solid var(--ink-line); padding-top: 22px; margin-top: 12px; display: flex; justify-content: space-between; flex-wrap: wrap; gap: 12px; font: 12.5px var(--mono); }

/* ---------- inner pages */
.page-hero { background: var(--ink); color: var(--on-ink); padding: 64px 0 56px; position: relative; overflow: hidden; }
.page-hero h1 { margin: 0 0 12px; font: 500 clamp(36px, 4.4vw, 58px)/1.05 var(--serif); letter-spacing: -0.015em; max-width: 18em; }
.page-hero p { margin: 0; color: var(--on-ink-2); font-size: 18px; max-width: 40em; }
.page-hero .guilloche { position: absolute; inset: 0; width: 100%; height: 100%; pointer-events: none; }
.page-hero .wrap { position: relative; }

/* docs */
.docs { display: grid; grid-template-columns: 240px minmax(0, 1fr); gap: 56px; padding: 48px 0 96px; }
.docs-nav { position: sticky; top: 24px; align-self: start; display: flex; flex-direction: column; gap: 2px; font-size: 14.5px; }
.docs-nav h4 { margin: 18px 0 6px; font-size: 12.5px; color: var(--slate); font-weight: 500; }
.docs-nav h4:first-child { margin-top: 0; }
.docs-nav a { color: var(--ink-2); text-decoration: none; padding: 6px 10px; border-radius: 6px; }
.docs-nav a:hover { background: var(--surface); color: var(--ink); }
.docs-nav a[aria-current="page"] { background: var(--surface); color: var(--ink); box-shadow: inset 2px 0 0 var(--orange); font-weight: 500; }
.prose { max-width: 760px; min-width: 0; font-size: 16.5px; }
.prose h1 { font: 600 38px/1.15 var(--sans); letter-spacing: -0.02em; margin: 0 0 18px; }
.prose h2 { font: 600 24px/1.25 var(--sans); letter-spacing: -0.015em; margin: 44px 0 12px; scroll-margin-top: 24px; }
.prose h3 { font: 600 18px/1.3 var(--sans); margin: 30px 0 8px; }
.prose p, .prose li { color: var(--ink-2); }
.prose a { color: var(--orange-text); }
.prose code { font-size: 0.86em; background: var(--surface); border: 1px solid var(--rule); border-radius: 5px; padding: 1px 5px; }
.prose pre { background: var(--ink); color: var(--on-ink-2); border-radius: 10px; padding: 16px 18px; overflow-x: auto; font-size: 13.5px; line-height: 1.7; }
.prose pre code { background: none; border: 0; padding: 0; color: inherit; font-size: inherit; }
.prose table { width: 100%; border-collapse: collapse; font-size: 14.5px; display: block; overflow-x: auto; }
.prose th, .prose td { text-align: left; padding: 10px 12px; border-bottom: 1px solid var(--rule); vertical-align: top; }
.prose th { font-weight: 600; color: var(--ink); }
.prose blockquote { margin: 18px 0; padding: 4px 18px; border-left: 3px solid var(--orange); color: var(--ink-2); background: var(--surface); border-radius: 0 8px 8px 0; }
.prose img { border-radius: 10px; border: 1px solid var(--rule); }
.prose .mermaid { background: var(--surface); border: 1px solid var(--rule); border-radius: 10px; padding: 16px; overflow-x: auto; }
.doc-foot { margin-top: 56px; padding-top: 20px; border-top: 1px solid var(--rule); display: flex; justify-content: space-between; gap: 12px; flex-wrap: wrap; font-size: 14px; color: var(--slate); }

/* ---------- responsive */
@media (max-width: 1080px) {
  .plans { grid-template-columns: repeat(2, minmax(0, 1fr)); }
}
@media (max-width: 900px) {
  .hero .wrap, .terminal-grid, .clone, .cloud, .faq { grid-template-columns: minmax(0, 1fr); gap: 40px; }
  .hero .wrap { padding-top: 56px; padding-bottom: 72px; }
  .steps { grid-template-columns: minmax(0, 1fr); }
  .term { min-height: 0; }
  .docs { grid-template-columns: minmax(0, 1fr); gap: 24px; }
  .docs-nav { position: static; flex-direction: row; flex-wrap: wrap; gap: 4px; }
  .docs-nav h4 { display: none; }
  footer.site .wrap { grid-template-columns: repeat(2, 1fr); }
  .menu-btn { display: inline-flex; align-items: center; justify-content: center; }
  .top nav { display: none; position: absolute; top: 64px; left: 0; right: 0; background: var(--ink); flex-direction: column; align-items: flex-start; gap: 4px; padding: 12px var(--gutter) 20px; border-bottom: 1px solid var(--ink-line); }
  .top nav.open { display: flex; }
  .top nav a { padding: 8px 0; font-size: 16px; }
  section { padding: 64px 0; }
}
@media (max-width: 600px) {
  .plans, .screens { grid-template-columns: minmax(0, 1fr); }
  .hero-demo .stamp { right: 8px; font-size: 18px; }
  .install { font-size: 13.5px; }
}
@media (prefers-reduced-motion: reduce) {
  * { animation: none !important; transition: none !important; }
  .stamp { transform: none !important; }
}
.proof-row.locked b, .proof-row.locked svg { color: var(--slate); }
.clone pre { padding-right: 60px; }
.plan ul { align-content: start; }
.plan .allow-line { font: 600 13.5px/1.3 var(--sans); }