:root {
  --bg: #faf8f4; --panel: #ffffff; --panel-2: #f3efe7; --ink: #26231d; --muted: #6b6658; --line: #e6e0d4;
  --accent: #b4532f; --accent-hover: #9f4829; --accent-soft: #f6e6de; --accent-ink: #ffffff;
  --ok: #2f6b3a; --ok-soft: #e2eee0;
  --radius: 14px; --shadow: 0 18px 50px rgba(38, 35, 29, .12);
  --font: -apple-system, BlinkMacSystemFont, "SF Pro Text", "Segoe UI", Inter, system-ui, sans-serif;
}
@media (prefers-color-scheme: dark) {
  :root { --bg: #1b1a17; --panel: #242320; --panel-2: #2d2b27; --ink: #efebe3; --muted: #a39c8a; --line: #3a3833;
    --accent: #d9774f; --accent-hover: #e38a64; --accent-soft: #3a2a22; --accent-ink: #1b1a17; --shadow: 0 18px 50px rgba(0,0,0,.4);
    --ok: #9fd3a4; --ok-soft: #23321f; }
}
* { box-sizing: border-box; }
/* `hidden` wins over a class that sets display (.btn is inline-flex), so a
   button a script has not shown yet stays hidden. */
[hidden] { display: none !important; }
html { scroll-behavior: smooth; }
body { margin: 0; background: var(--bg); color: var(--ink); font: 16px/1.6 var(--font); -webkit-font-smoothing: antialiased; }
a { color: var(--accent); }
h1, h2, h3 { letter-spacing: -0.015em; line-height: 1.2; }

.top { position: sticky; top: 0; z-index: 10; display: flex; align-items: center; justify-content: space-between; gap: 16px;
  padding: 14px clamp(18px, 5vw, 56px); background: color-mix(in srgb, var(--bg) 88%, transparent); backdrop-filter: blur(10px); border-bottom: 1px solid var(--line); }
.brand { display: flex; align-items: center; gap: 10px; color: var(--ink); text-decoration: none; font-weight: 650; }
.mark { width: 30px; height: 30px; border-radius: 9px; display: grid; place-items: center; background: var(--accent); color: var(--accent-ink); font-size: 11px; font-weight: 750; }
.pill { font-size: 11px; font-weight: 650; padding: 2px 8px; border-radius: 999px; background: var(--accent-soft); color: var(--accent); }
nav { display: flex; align-items: center; gap: clamp(10px, 2.5vw, 26px); }
nav a { color: var(--muted); text-decoration: none; font-size: 14px; }
nav a:hover { color: var(--ink); }
@media (max-width: 720px) { nav a:not(.btn) { display: none; } }

.btn { display: inline-flex; align-items: center; justify-content: center; gap: 8px; padding: 12px 22px; border-radius: 10px;
  background: var(--accent); color: var(--accent-ink) !important; font-weight: 650; text-decoration: none; border: 1px solid var(--accent); transition: background .15s; }
.btn:hover { background: var(--accent-hover); }
.btn.small { padding: 7px 14px; font-size: 14px; }
.btn.ghost { background: transparent; color: var(--ink) !important; border-color: var(--line); }
.btn.ghost:hover { background: var(--panel-2); }

main > section { padding: clamp(56px, 9vw, 110px) clamp(18px, 5vw, 56px); }
.hero { display: grid; grid-template-columns: 1.05fr 1fr; gap: clamp(28px, 5vw, 70px); align-items: center; max-width: 1200px; margin: 0 auto; }
@media (max-width: 900px) { .hero { grid-template-columns: 1fr; } }
h1 { font-size: clamp(38px, 5.6vw, 64px); margin: 0 0 20px; font-weight: 720; }
.lede { font-size: clamp(18px, 1.6vw, 21px); color: var(--muted); max-width: 34ch; margin: 0 0 28px; }
.cta { display: flex; gap: 12px; flex-wrap: wrap; }
.fine { font-size: 13px; color: var(--muted); margin-top: 16px; }

.window { background: var(--panel); border: 1px solid var(--line); border-radius: 16px; box-shadow: var(--shadow); overflow: hidden; }
.win-bar { display: flex; align-items: center; gap: 7px; padding: 12px 14px; border-bottom: 1px solid var(--line); background: var(--panel-2); font-size: 13px; font-weight: 600; }
.win-bar i { width: 11px; height: 11px; border-radius: 50%; background: var(--line); }
.win-bar span { margin-left: 8px; }
.win-body { padding: 20px; display: flex; flex-direction: column; gap: 12px; font-size: 14px; }
.bubble { padding: 12px 14px; border-radius: 12px; max-width: 90%; }
.bubble.you { align-self: flex-end; background: var(--panel-2); }
.bubble.ea { border: 1px solid var(--line); }
.bubble.ea p { margin: 8px 0 0; }
.bubble table { border-collapse: collapse; margin-top: 8px; width: 100%; font-size: 13px; }
.bubble th, .bubble td { text-align: left; padding: 4px 8px; border-bottom: 1px solid var(--line); }
.activity { font-size: 12.5px; color: var(--muted); padding-left: 4px; }

.band { background: var(--panel); border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); }
.band > * { max-width: 1100px; margin-left: auto; margin-right: auto; }
h2 { font-size: clamp(28px, 3.4vw, 40px); margin: 0 0 10px; font-weight: 700; }
.section-lede { color: var(--muted); font-size: 18px; margin: 0 auto 36px; }
.cards { display: grid; grid-template-columns: repeat(3, 1fr); gap: 18px; }
@media (max-width: 860px) { .cards { grid-template-columns: 1fr; } }
/* Two rows of cards in one section (Why not just a chatbot?) sat border to
   border; the same gap between the rows as between the cards. */
.cards + .cards { margin-top: 18px; }
/* A row of two: the second row of the chatbot section, now that the proof has
   a block of its own under it (#1086). */
.cards.two { grid-template-columns: repeat(2, 1fr); }
@media (max-width: 860px) { .cards.two { grid-template-columns: 1fr; } }
/* "Don't take our word for any of it" closes the chatbot section on its own.
   As the sixth card it carried the address and its controls and stood ~170 px
   taller than the two cards beside it, each left with that much blank (#1086). */
.proof-strip { margin-top: 18px; display: grid; grid-template-columns: 1.15fr 1fr; gap: 12px 40px; align-items: start;
  border: 1px solid var(--line); border-radius: var(--radius); padding: 26px 28px; background: var(--accent-soft); }
@media (max-width: 860px) { .proof-strip { grid-template-columns: 1fr; padding: 22px; } }
.proof-strip h3 { margin: 0 0 6px; font-size: 19px; }
.proof-strip p { margin: 0; font-size: 15px; color: var(--ink); }
.proof-strip p + p { margin-top: 10px; }
.proof-strip .eg { font-size: 13.5px; }
/* Four team shapes: four across while they fit, then two by two, then one. */
.cards.four { grid-template-columns: repeat(4, 1fr); }
@media (max-width: 1040px) { .cards.four { grid-template-columns: repeat(2, 1fr); } }
@media (max-width: 560px) { .cards.four { grid-template-columns: 1fr; } }
.card { border: 1px solid var(--line); border-radius: var(--radius); padding: 22px; background: var(--bg); }
.card h3 { margin: 12px 0 6px; font-size: 19px; }
.card p { margin: 0; color: var(--muted); font-size: 15px; }
.card .eg { margin-top: 10px; font-size: 13.5px; color: var(--ink); }
.diagram { width: 100%; height: 86px; }
.diagram line, .diagram path { stroke: var(--line); stroke-width: 2.5; fill: none; }
.diagram .back { stroke: var(--accent); stroke-dasharray: 5 5; }
.diagram circle { fill: var(--panel-2); stroke: var(--muted); stroke-width: 1.5; }
.diagram .lead { fill: var(--accent); stroke: var(--accent); }
.diagram .ring { fill: none; stroke: var(--line); stroke-width: 2.5; stroke-dasharray: 6 6; }
.diagram .dot { fill: var(--accent-soft); stroke: var(--accent); }

.features { max-width: 1100px; margin: 0 auto; display: grid; grid-template-columns: repeat(3, 1fr); gap: 34px 30px; }
@media (max-width: 860px) { .features { grid-template-columns: 1fr 1fr; } }
@media (max-width: 560px) { .features { grid-template-columns: 1fr; } }
.feature h3 { font-size: 17px; margin: 0 0 6px; }
.feature p { margin: 0; color: var(--muted); font-size: 15px; }

.steps { list-style: none; counter-reset: step; padding: 0; margin: 30px auto 0; display: grid; grid-template-columns: repeat(2, 1fr); gap: 18px; }
@media (max-width: 760px) { .steps { grid-template-columns: 1fr; } }
.steps li { counter-increment: step; position: relative; border: 1px solid var(--line); border-radius: var(--radius); padding: 22px 22px 20px 64px; background: var(--bg); }
.steps li::before { content: counter(step); position: absolute; left: 20px; top: 20px; width: 30px; height: 30px; border-radius: 50%; display: grid; place-items: center;
  background: var(--accent); color: var(--accent-ink); font-weight: 700; font-size: 14px; }
.steps h3 { margin: 2px 0 6px; font-size: 17px; }
.steps p { margin: 0; color: var(--muted); font-size: 15px; }
.note { margin-top: 18px !important; border-radius: var(--radius); padding: 18px 22px; background: var(--accent-soft); }
.note h3 { margin: 0 0 4px; font-size: 16px; }
.note p { margin: 0; font-size: 15px; }

.privacy { max-width: 1100px; margin: 0 auto; }
.two { display: grid; grid-template-columns: 1fr 1fr; gap: 28px; margin-top: 18px; }
@media (max-width: 760px) { .two { grid-template-columns: 1fr; } }
.two p { margin: 0; color: var(--muted); }
.two b { color: var(--ink); }
/* The client-data paragraph runs the full width under the two columns: it is the
   answer to the question a services firm actually asks, not a footnote to it. */
.client-data { margin: 22px 0 0; color: var(--muted); }
.client-data b { color: var(--ink); }

.gate { max-width: 1100px; margin: 0 auto; }
.gate-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 20px; margin-top: 8px; align-items: start; }
@media (max-width: 760px) { .gate-grid { grid-template-columns: 1fr; } }
.pane { display: flex; flex-direction: column; gap: 8px; border: 1px solid var(--line); border-radius: var(--radius); padding: 24px; background: var(--panel); }
.pane h3 { margin: 0 0 6px; font-size: 19px; }
.pane label { font-size: 14px; font-weight: 600; margin-top: 4px; }
.pane .opt { font-weight: 400; color: var(--muted); }
.pane input, .pane textarea { font: inherit; font-size: 15px; color: var(--ink); background: var(--bg);
  border: 1px solid var(--line); border-radius: 9px; padding: 11px 12px; width: 100%; }
.pane input:focus-visible, .pane textarea:focus-visible { outline: 2px solid var(--accent); outline-offset: 1px; }
#code { font-family: ui-monospace, SFMono-Regular, Menlo, monospace; letter-spacing: .06em; text-transform: uppercase; }
.pane textarea { resize: vertical; min-height: 58px; }
.pane .btn { margin-top: 12px; }
.pane .fine { margin-top: 2px; }
.msg { margin: 0; font-size: 14.5px; color: var(--muted); min-height: 1.6em; }
.msg.good { color: var(--accent); font-weight: 600; }
.msg.bad { color: #b3261e; font-weight: 600; }
@media (prefers-color-scheme: dark) { .msg.bad { color: #f2b8b5; } }
.trap { position: absolute; left: -9999px; width: 1px; height: 1px; overflow: hidden; }

.invite { text-align: center; background: var(--panel); border-top: 1px solid var(--line); }
.invite p { color: var(--muted); max-width: 46ch; margin: 0 auto 24px; font-size: 17px; }

/* A contact address that works in any browser: the address as text, a Copy
   button (site.js shows it), and the mail-app link second. A mailto: link on
   its own does nothing where no mail app is set up (DEFECTS #1082). */
.contact { display: inline-flex; flex-wrap: wrap; align-items: baseline; gap: 4px 10px; }
.contact .addr { color: var(--ink); font-weight: 650; -webkit-user-select: all; user-select: all; overflow-wrap: anywhere; }
.copy { font: inherit; font-size: 13px; font-weight: 600; line-height: 1.4; padding: 2px 10px; border-radius: 7px; cursor: pointer;
  border: 1px solid var(--line); background: var(--panel); color: var(--ink); }
.copy:hover { background: var(--panel-2); }
.copy:focus-visible { outline: 2px solid var(--accent); outline-offset: 1px; }
.contact .mail { font-size: 13px; }
/* A finger, not a pointer: the Copy button at its full target size (#1088).
   24 px is the WCAG 2.2 minimum and is what a mouse gets; a phone gets 44. */
@media (pointer: coarse) {
  .copy { min-height: 44px; min-width: 44px; padding: 8px 14px; }
}
/* Read by a screen reader, not shown: the Copy buttons' live region (site.js). */
.sr-only { position: absolute; width: 1px; height: 1px; padding: 0; margin: -1px; overflow: hidden; clip: rect(0, 0, 0, 0); white-space: nowrap; border: 0; }
.invite .contact-line { margin-bottom: 0; }
.invite .contact { justify-content: center; font-size: 20px; gap: 8px 14px; }
.invite .copy { font-size: 15px; padding: 8px 16px; border-radius: 10px; background: var(--accent); border-color: var(--accent); color: var(--accent-ink); }
.invite .copy:hover { background: var(--accent-hover); }
.invite .contact .mail { flex-basis: 100%; font-size: 14px; }

footer { display: flex; justify-content: space-between; padding: 22px clamp(18px, 5vw, 56px); font-size: 13px; color: var(--muted); border-top: 1px solid var(--line); }

/* ---------- pages other than the landing page ----------
   security.html, whats-new.html and start.html are prose, not a pitch. They use
   the same tokens, the same header and the same footer; everything below is the
   reading column and the few blocks the landing page never needed — code, a
   table, a release entry. */
.doc { max-width: 760px; margin: 0 auto; }
.doc h1 { font-size: clamp(32px, 4.4vw, 46px); margin: 0 0 18px; font-weight: 720; }
.doc h2 { font-size: clamp(22px, 2.6vw, 29px); margin: 46px 0 12px; }
.doc h3 { font-size: 19px; margin: 32px 0 8px; }
.doc p, .doc li { color: var(--muted); }
.doc .lead { font-size: 18px; color: var(--ink); }
.doc b, .doc strong { color: var(--ink); }
.doc hr { border: 0; border-top: 1px solid var(--line); margin: 44px 0; }
.doc ul, .doc ol { padding-left: 22px; }
.doc li { margin: 6px 0; }
.doc blockquote { margin: 18px 0; padding: 14px 18px; border-left: 3px solid var(--accent);
  background: var(--panel-2); border-radius: 0 var(--radius) var(--radius) 0; }
.doc blockquote p { margin: 0; color: var(--ink); }
.doc pre { background: var(--panel-2); border: 1px solid var(--line); border-radius: var(--radius);
  padding: 14px 16px; overflow-x: auto; font-size: 13px; line-height: 1.55; color: var(--ink); }
.doc code { font-family: ui-monospace, SFMono-Regular, Menlo, monospace; font-size: 13.5px; }
.doc p code, .doc li code, .doc td code { background: var(--panel-2); border-radius: 5px; padding: 1px 5px; }
.doc table { border-collapse: collapse; width: 100%; margin: 18px 0; font-size: 14.5px; }
.doc th, .doc td { text-align: left; padding: 9px 12px; border-bottom: 1px solid var(--line); vertical-align: top; color: var(--muted); }
.doc th { color: var(--ink); font-weight: 650; }
.doc .callout { border: 1px solid var(--line); border-radius: var(--radius); padding: 18px 22px; background: var(--panel); margin: 22px 0; }
.doc .callout > :first-child { margin-top: 0; }
.doc .callout > :last-child { margin-bottom: 0; }
.doc .warn { background: var(--accent-soft); border-color: var(--accent-soft); }
.doc .meta { font-size: 13px; }

/* The proof page: one row per claim, its verdict beside it. Rendered from the
   prover's own output by tools/proof-page.mjs. */
.doc .proof { list-style: none; padding: 0; margin: 26px 0; border-top: 1px solid var(--line); }
.doc .proof li { display: grid; grid-template-columns: 96px 1fr; gap: 6px 16px; margin: 0; padding: 16px 0; border-bottom: 1px solid var(--line); }
@media (max-width: 560px) { .doc .proof li { grid-template-columns: 1fr; } }
.verdict { justify-self: start; align-self: start; margin-top: 2px; font-size: 11.5px; font-weight: 700; letter-spacing: .06em;
  padding: 3px 9px; border-radius: 999px; background: var(--ok-soft); color: var(--ok); }
.doc .proof .claim { margin: 0; color: var(--ink); font-weight: 600; }
.doc .proof .claim-meta { margin: 4px 0 0; font-size: 13.5px; }

/* One release. Version and date sit in a rail beside the notes on a wide
   screen, and above them on a phone. */
.rel { border-top: 1px solid var(--line); padding: 26px 0 6px; display: grid; grid-template-columns: 150px 1fr; gap: 10px 28px; }
@media (max-width: 680px) { .rel { grid-template-columns: 1fr; gap: 4px; } }
.rel .relv { font-size: 19px; font-weight: 700; margin: 0; letter-spacing: -0.015em; }
.rel .reld { font-size: 13px; color: var(--muted); margin: 3px 0 0; }
.rel .relbody > :first-child { margin-top: 0; }
.rel .relbody p { margin: 0 0 10px; }
.rel .relbody ul { margin: 0; }
.rel .now { display: inline-block; font-size: 11px; font-weight: 650; padding: 2px 8px; border-radius: 999px;
  background: var(--accent-soft); color: var(--accent); margin-top: 8px; }