:root {
  color-scheme: dark;
  --bg: #071014;
  --panel: #0c1a20;
  --panel-2: #10242b;
  --line: #21414a;
  --text: #edf7f5;
  --muted: #a7c0bd;
  --accent: #45e0ae;
  --accent-2: #79a8ff;
  --warning: #ffd166;
  --max: 1160px;
  font-family: Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
}
* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body { margin: 0; background: radial-gradient(circle at 80% 0, #102b31 0, var(--bg) 32rem); color: var(--text); line-height: 1.65; }
a { color: var(--accent); text-decoration-thickness: .08em; text-underline-offset: .2em; }
a:hover { color: #8bf4d1; }
.wrap { width: min(calc(100% - 2rem), var(--max)); margin: 0 auto; }
.topbar { position: sticky; top: 0; z-index: 20; border-bottom: 1px solid var(--line); background: rgb(7 16 20 / .92); backdrop-filter: blur(12px); }
.nav { min-height: 4.25rem; display: flex; align-items: center; gap: 1.25rem; }
.brand { color: var(--text); text-decoration: none; font-weight: 800; letter-spacing: .02em; }
.brand span { color: var(--accent); }
.nav nav { display: flex; gap: 1rem; margin-left: auto; align-items: center; flex-wrap: wrap; }
.nav nav a { color: var(--muted); text-decoration: none; font-size: .94rem; }
.nav nav a:hover { color: var(--text); }
.lang { border: 1px solid var(--line); border-radius: 999px; padding: .25rem .7rem; }
.hero { padding: clamp(4.5rem, 9vw, 8.5rem) 0 4rem; }
.eyebrow, .label { text-transform: uppercase; letter-spacing: .14em; font-size: .76rem; font-weight: 800; color: var(--accent); }
h1 { max-width: 900px; margin: .65rem 0 1rem; font-size: clamp(2.55rem, 7vw, 5.8rem); line-height: 1.02; letter-spacing: -.055em; hyphens: auto; overflow-wrap: break-word; }
h2 { margin-top: 0; font-size: clamp(1.75rem, 4vw, 2.75rem); line-height: 1.15; letter-spacing: -.035em; }
h3 { margin: 0 0 .45rem; line-height: 1.25; }
.lead { max-width: 780px; font-size: clamp(1.1rem, 2vw, 1.35rem); color: var(--muted); }
.actions { display: flex; flex-wrap: wrap; gap: .75rem; margin-top: 2rem; }
.button { display: inline-block; border: 1px solid var(--accent); border-radius: .7rem; padding: .72rem 1rem; background: var(--accent); color: #03251b; text-decoration: none; font-weight: 800; }
.button.secondary { background: transparent; color: var(--text); border-color: var(--line); }
.proofline { display: flex; gap: .75rem; flex-wrap: wrap; margin-top: 2.4rem; }
.chip { border: 1px solid var(--line); border-radius: 999px; padding: .35rem .72rem; color: var(--muted); background: rgb(12 26 32 / .65); font-size: .86rem; }
main section { padding: 3.8rem 0; border-top: 1px solid var(--line); }
.section-head { max-width: 760px; margin-bottom: 1.8rem; }
.section-head p, .card p, .muted { color: var(--muted); }
.grid { display: grid; grid-template-columns: repeat(12, 1fr); gap: 1rem; }
.card { grid-column: span 6; min-width: 0; padding: 1.35rem; border: 1px solid var(--line); border-radius: 1rem; background: linear-gradient(145deg, rgb(16 36 43 / .92), rgb(10 24 29 / .92)); }
.card.third { grid-column: span 4; }
.card.full { grid-column: 1 / -1; }
.card ul { padding-left: 1.15rem; }
.meta { display: flex; flex-wrap: wrap; gap: .45rem; margin-bottom: .85rem; }
.badge { border-radius: .35rem; padding: .2rem .5rem; background: #15352f; color: #88f2ce; font: 700 .7rem/1.4 ui-monospace, SFMono-Regular, Consolas, monospace; }
.badge.demo { background: #3b3014; color: var(--warning); }
.metric { font-size: 2rem; font-weight: 850; letter-spacing: -.04em; }
.split { display: grid; grid-template-columns: 1fr 1fr; gap: 1.3rem; }
.timeline { border-left: 2px solid var(--line); padding-left: 1.25rem; }
.timeline article { margin: 0 0 1.5rem; }
.downloads a { display: block; margin: .55rem 0; }
.notice { border-left: 4px solid var(--warning); padding: 1rem 1.1rem; background: #2b2514; color: #ffe7a8; }
.signature { position: relative; overflow: hidden; border: 1px solid #2e645f; border-radius: 1.4rem; background: linear-gradient(150deg, #0c2023, #071014 58%); box-shadow: 0 30px 100px rgb(0 0 0 / .35); }
.signature::before { content: ""; position: absolute; inset: -40% -20% auto auto; width: 34rem; height: 34rem; border-radius: 50%; background: radial-gradient(circle, rgb(69 224 174 / .18), transparent 68%); pointer-events: none; }
.signature-head { display: flex; gap: 1rem; align-items: center; padding: 1rem 1.2rem; border-bottom: 1px solid var(--line); }
.status-dot { width: .65rem; height: .65rem; border-radius: 50%; background: var(--accent); box-shadow: 0 0 1rem var(--accent); }
.signature-head strong { margin-right: auto; }
.command-shell { display: grid; grid-template-columns: 175px 1fr; min-height: 450px; }
.command-rail { padding: 1rem; border-right: 1px solid var(--line); background: rgb(5 15 18 / .65); }
.command-rail span { display: block; margin: .35rem 0; padding: .58rem .7rem; border-radius: .5rem; color: var(--muted); font-size: .82rem; }
.command-rail span.active { background: #14342d; color: #8bf4d1; }
.command-main { padding: clamp(1rem, 3vw, 2rem); }
.command-main h3 { font-size: clamp(1.4rem, 3vw, 2.2rem); }
.signal-grid { display: grid; grid-template-columns: repeat(3, 1fr); gap: .7rem; margin: 1.2rem 0; }
.signal { border: 1px solid var(--line); border-radius: .8rem; background: #0d1d22; padding: .85rem; }
.signal b { display: block; font-size: 1.35rem; color: var(--accent); }
.flowline { display: grid; grid-template-columns: 1fr auto 1fr auto 1fr; gap: .45rem; align-items: center; margin: 1.1rem 0; }
.flowline span { border: 1px solid var(--line); border-radius: .65rem; padding: .7rem; text-align: center; color: var(--muted); font-size: .8rem; }
.flowline i { color: var(--accent); font-style: normal; }
.audit-log { margin-top: 1rem; border-top: 1px solid var(--line); padding-top: .8rem; font: .78rem/1.7 ui-monospace, SFMono-Regular, Consolas, monospace; color: #8ca9a6; }
.audit-log b { color: var(--accent); }
.proof-number { font-size: clamp(3rem, 7vw, 6rem); font-weight: 900; line-height: .9; letter-spacing: -.07em; color: var(--text); }
code, pre { font-family: ui-monospace, SFMono-Regular, Consolas, monospace; }
pre { overflow-x: auto; padding: 1rem; border: 1px solid var(--line); border-radius: .8rem; background: #061015; }
footer { border-top: 1px solid var(--line); padding: 2rem 0 3rem; color: var(--muted); }
.footer { display: flex; gap: 1rem; flex-wrap: wrap; }
.footer span:first-child { margin-right: auto; }
@media (max-width: 760px) {
  .nav { align-items: flex-start; padding: .9rem 0; }
  .nav nav { gap: .65rem; }
  .card, .card.third { grid-column: 1 / -1; }
  .split { grid-template-columns: 1fr; }
  .command-shell { grid-template-columns: 1fr; }
  .command-rail { display: none; }
  .signature-head { flex-wrap: wrap; }
  .signal-grid { grid-template-columns: 1fr; }
  .flowline { grid-template-columns: 1fr; }
  .flowline i { transform: rotate(90deg); text-align: center; }
  h1 { font-size: clamp(2.05rem, 8.5vw, 2.7rem); hyphens: none; overflow-wrap: anywhere; }
}
@media (prefers-reduced-motion: reduce) { html { scroll-behavior: auto; } }
