:root {
  --ice-0: #f7fcff;
  --ice-1: #d9f4ff;
  --ice-2: #afe7f8;
  --ice-3: #64caeb;
  --blue: #008dcc;
  --blue-bright: #22c9ff;
  --blue-deep: #004c70;
  --navy: #021d2c;
  --ink: #052c40;
  --muted: #365866;
  --line: rgba(2, 55, 79, 0.3);
  --mono: "DM Mono", ui-monospace, SFMono-Regular, Consolas, monospace;
  --sans: "Manrope", system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body {
  margin: 0;
  color: var(--ink);
  background: var(--ice-0);
  font-family: var(--sans);
  -webkit-font-smoothing: antialiased;
  overflow-x: hidden;
}
a { color: inherit; text-decoration: none; }
button, input { font: inherit; }
button { color: inherit; }
::selection { color: #fff; background: var(--blue); }
.skip-link { position: fixed; top: 10px; left: 10px; z-index: 100; padding: 10px 14px; background: var(--navy); color: #fff; transform: translateY(-160%); }
.skip-link:focus { transform: none; }

.ocean { position: absolute; inset: 0 0 auto; height: 930px; overflow: hidden; pointer-events: none; z-index: 0; }
.caustics { position: absolute; inset: -20% -10%; opacity: .52; background: radial-gradient(ellipse at 18% 10%, rgba(34,179,230,.16) 0 1px, transparent 2px), radial-gradient(ellipse at 82% 18%, rgba(34,179,230,.14), transparent 35%), linear-gradient(115deg, transparent 0 34%, rgba(255,255,255,.85) 43%, transparent 52%); background-size: 18px 15px, auto, auto; mask-image: linear-gradient(#000, transparent 80%); }
.school-defs { position: absolute; }
.minnow { fill: #35add6; }
.minnow-soft { opacity: .58; }
.school { position: absolute; opacity: .22; overflow: visible; filter: drop-shadow(0 12px 24px rgba(30,145,190,.09)); will-change: transform; }
.school-mass, .hero-school-mass { fill: url(#minnow-pattern); }
.school-stray { fill: #35add6; opacity: .62; }
.school-stray-two { opacity: .38; }
.school-leader, .hero-school-leader { fill: #007aa9; }
.school-one { top: 120px; left: -470px; width: 430px; animation: swim-one 36s linear infinite; }
.school-two { top: 540px; right: -340px; width: 300px; opacity: .15; animation: swim-two 44s linear 7s infinite; }
.bubble { position: absolute; border: 1px solid rgba(51,173,217,.25); border-radius: 50%; animation: bubble-up 9s ease-in infinite; }
.bubble-one { width: 7px; height: 7px; left: 12%; top: 630px; }
.bubble-two { width: 11px; height: 11px; left: 14%; top: 670px; animation-delay: -3s; }
.bubble-three { width: 5px; height: 5px; right: 8%; top: 360px; animation-delay: -6s; }
@keyframes swim-one { 0% { transform: translateX(0) translateY(0) scaleX(-1) rotate(-1deg); } 52% { transform: translateX(calc(100vw + 920px)) translateY(46px) scaleX(-1) rotate(1deg); } 53%, 100% { transform: translateX(calc(100vw + 920px)) translateY(46px) scaleX(-1) rotate(1deg); } }
@keyframes swim-two { 0% { transform: translateX(0) translateY(0); } 64% { transform: translateX(calc(-100vw - 740px)) translateY(-38px); } 65%, 100% { transform: translateX(calc(-100vw - 740px)) translateY(-38px); } }
@keyframes bubble-up { 0% { transform: translateY(0); opacity: 0; } 20% { opacity: .4; } 100% { transform: translateY(-240px); opacity: 0; } }

.site-header { position: relative; z-index: 20; width: min(1380px, calc(100% - 64px)); height: 90px; margin: auto; display: flex; align-items: center; border-bottom: 1px solid rgba(2,55,79,.42); }
.brand { display: flex; align-items: center; gap: 9px; font-size: 20px; font-weight: 700; letter-spacing: -.05em; }
.brand-mark { width: 37px; fill: var(--ink); }
.brand-mark path { fill: none; stroke: currentColor; stroke-width: 1.6; }
.brand-mark circle { fill: currentColor; }
.brand-reading { margin-left: -5px; color: #557481; font: 400 10px var(--mono); letter-spacing: .08em; }
.site-nav { display: flex; gap: 34px; margin: auto; font-size: 12px; font-weight: 600; }
.site-nav a { position: relative; }
.site-nav a::after { content: ""; position: absolute; left: 0; right: 100%; bottom: -7px; height: 1px; background: var(--blue); transition: right .25s; }
.site-nav a:hover::after { right: 0; }
.github-link { display: flex; align-items: center; gap: 8px; font: 500 11px var(--mono); }
.github-link svg { width: 17px; fill: currentColor; }
.nav-toggle { display: none; }

main { position: relative; z-index: 1; }
.hero { width: min(1280px, calc(100% - 64px)); min-height: 700px; margin: auto; padding: 110px 0 150px; display: grid; grid-template-columns: 1fr 380px; align-items: center; gap: 70px; }
.hero-copy { max-width: 790px; }
.eyebrow, .kicker { margin: 0 0 28px; color: var(--blue); font: 500 10px var(--mono); letter-spacing: .18em; text-transform: uppercase; }
.eyebrow { display: flex; align-items: center; gap: 11px; }
.eyebrow span { width: 25px; height: 1px; background: var(--blue); }
h1, h2, h3, p { margin-top: 0; }
h1 { margin-bottom: 28px; color: var(--navy); font-size: clamp(55px, 6.4vw, 94px); line-height: .99; letter-spacing: -.067em; font-weight: 500; }
h1 em { color: #009fe3; font-style: normal; font-weight: 500; }
.hero-lede { max-width: 680px; color: #345b6c; font-size: clamp(16px, 1.5vw, 19px); line-height: 1.75; }
.hero-actions { display: flex; gap: 11px; margin-top: 35px; }
.button { min-width: 145px; height: 50px; padding: 0 21px; display: inline-flex; align-items: center; justify-content: center; gap: 18px; border: 1px solid transparent; border-radius: 2px; font-size: 12px; font-weight: 600; transition: transform .2s, background .2s, border-color .2s; }
.button:hover { transform: translateY(-2px); }
.button-primary { color: #fff; background: #004b6e; box-shadow: 0 10px 28px rgba(4,62,89,.22); }
.button-primary:hover { background: #00638e; }
.button-secondary { background: #fff; border-color: rgba(2,55,79,.38); backdrop-filter: blur(10px); }
.button-secondary:hover { border-color: rgba(10,76,105,.3); }
.hero-note { display: flex; gap: 25px; margin-top: 29px; color: #527381; font: 500 10px var(--mono); text-transform: uppercase; letter-spacing: .08em; }
.hero-note span { display: flex; align-items: center; gap: 8px; }
.hero-note span::before { content: ""; width: 4px; height: 4px; border-radius: 50%; border: 1px solid var(--blue); }
.hero-aside { justify-self: end; width: 340px; color: rgba(0,123,177,.34); transform: rotate(-4deg); }
.hero-aside svg { width: 100%; overflow: visible; }
.hero-school-mass { opacity: .82; }
.hero-school-leader { fill: currentColor; }
.coordinate, .species { display: block; font: 400 9px var(--mono); letter-spacing: .16em; }
.coordinate { text-align: right; margin: 0 27px 12px 0; }
.species { margin: 10px 0 0 26px; }

.demo-section { padding: 115px max(32px, calc((100vw - 1280px) / 2)) 125px; background: #c8effd; border-top: 1px solid rgba(0,97,139,.35); border-bottom: 1px solid rgba(0,97,139,.28); }
.section-heading { margin-bottom: 46px; }
.demo-heading { display: flex; align-items: end; justify-content: space-between; }
.section-heading .kicker { margin-bottom: 15px; }
.section-heading h2 { margin-bottom: 0; font-size: clamp(38px, 4.25vw, 61px); line-height: 1.08; letter-spacing: -.055em; font-weight: 500; color: var(--navy); }
.demo-heading > p { width: 330px; margin-bottom: 3px; color: #365b6b; font-size: 13px; line-height: 1.75; }
.proof-lab { border: 1px solid #075472; background: var(--navy); box-shadow: 0 28px 70px rgba(1,54,76,.22); }
.lab-toolbar { min-height: 62px; padding: 0 20px; display: flex; align-items: center; border-bottom: 1px solid rgba(173,221,239,.12); color: #8da7b3; }
.window-controls { display: flex; gap: 6px; width: 140px; }
.window-controls i { width: 7px; height: 7px; border: 1px solid #526b77; border-radius: 50%; }
.example-tabs { display: flex; align-self: stretch; margin: 0 auto; }
.example-tab { position: relative; padding: 0 22px; border: 0; background: transparent; color: #768f9a; font: 400 10px var(--mono); cursor: pointer; }
.example-tab::after { content: ""; position: absolute; height: 1px; left: 20px; right: 20px; bottom: 0; background: transparent; }
.example-tab.active { color: #e5f8ff; }
.example-tab.active::after { background: var(--blue-bright); box-shadow: 0 -2px 9px var(--blue-bright); }
.break-toggle { display: flex; align-items: center; gap: 9px; font: 400 10px var(--mono); cursor: pointer; }
.break-toggle input { position: absolute; opacity: 0; pointer-events: none; }
.toggle-track { width: 31px; height: 16px; padding: 2px; display: block; border: 1px solid #48616c; border-radius: 10px; transition: border-color .2s, background .2s; }
.toggle-track span { display: block; width: 10px; height: 10px; border-radius: 50%; background: #718792; transition: transform .2s, background .2s; }
.break-toggle input:checked + .toggle-track { border-color: #d97878; background: rgba(217,90,90,.12); }
.break-toggle input:checked + .toggle-track span { transform: translateX(15px); background: #ff8a8a; }
.code-grid { min-height: 455px; display: grid; grid-template-columns: 1fr 76px 1fr; }
.code-panel { min-width: 0; }
.panel-title { height: 49px; padding: 0 20px; display: flex; align-items: center; gap: 8px; color: #78929d; border-bottom: 1px solid rgba(173,221,239,.08); font: 400 10px var(--mono); }
.panel-title strong { color: #b7ced8; font-weight: 400; }
.panel-title > span:last-child { margin-left: auto; text-transform: uppercase; }
.language-dot { width: 5px; height: 5px; border-radius: 50%; }
.rust-dot { background: #ee9b68; box-shadow: 0 0 8px #ee9b68; }
.lean-dot { background: #75cceb; box-shadow: 0 0 8px #75cceb; }
.code-block { margin: 0; padding: 25px 20px 30px; color: #bdd0d8; font: 400 11px/2 var(--mono); white-space: pre; overflow: auto; counter-reset: line; tab-size: 2; }
.code-line { display: block; min-width: max-content; margin: 0 -20px; padding: 0 20px 0 56px; position: relative; transition: background .15s, color .15s; }
.code-line::before { content: attr(data-line); position: absolute; left: 20px; width: 22px; color: #405b68; text-align: right; }
.code-line[data-link] { cursor: crosshair; }
.code-line[data-link]::after { content: ""; position: absolute; left: 49px; top: 50%; width: 2px; height: 0; background: var(--blue-bright); transition: height .15s, top .15s; }
.code-line.link-active { color: #e8faff; background: rgba(70,193,234,.08); }
.code-line.link-active::after { height: 72%; top: 14%; }
.syn-key { color: #82c9f0; }
.syn-type { color: #81d5c7; }
.syn-fn { color: #d5b9ed; }
.syn-lit { color: #efc982; }
.syn-comment { color: #597583; }
.syn-op { color: #8fa9b5; }
.translation-rail { position: relative; display: flex; flex-direction: column; align-items: center; justify-content: center; gap: 5px; color: #526d79; border-left: 1px solid rgba(173,221,239,.06); border-right: 1px solid rgba(173,221,239,.06); font: 400 10px var(--mono); text-transform: uppercase; letter-spacing: .1em; }
.translation-rail::before, .translation-rail::after { content: ""; position: absolute; left: 50%; width: 1px; height: 31%; background: linear-gradient(transparent, rgba(93,133,150,.24)); }
.translation-rail::before { top: 0; }
.translation-rail::after { bottom: 0; transform: rotate(180deg); }
.translation-rail svg { width: 43px; stroke: #47798d; stroke-width: 1; fill: none; }
.translation-rail small { color: #6baec7; font-size: 10px; }
.proof-result { min-height: 117px; display: grid; grid-template-columns: 44px 1fr auto; align-items: center; gap: 17px; padding: 20px 28px; border-top: 1px solid rgba(126,199,226,.15); background: linear-gradient(90deg, rgba(28,139,177,.13), rgba(8,31,45,.1)); color: #dcedf3; }
.result-symbol { width: 38px; height: 38px; display: grid; place-items: center; border: 1px solid #3ca4cb; border-radius: 50%; box-shadow: inset 0 0 15px rgba(58,180,223,.12), 0 0 18px rgba(58,180,223,.09); }
.result-symbol svg { width: 17px; fill: none; stroke: #73dbfb; stroke-width: 1.8; }
.result-label { display: block; margin-bottom: 7px; color: #60c4e6; font: 400 10px var(--mono); letter-spacing: .12em; }
.proof-result strong { display: block; font-size: 14px; font-weight: 500; }
.proof-result p { margin: 5px 0 0; color: #86a1ac; font-size: 11.5px; line-height: 1.5; }
.result-stamp { min-width: 175px; padding: 11px 14px; border-left: 1px solid rgba(117,193,221,.13); }
.result-stamp span { display: block; color: #577683; font: 400 10px var(--mono); letter-spacing: .11em; }
.result-stamp b { color: #9cc5d5; font: 400 10px var(--mono); }
.proof-result.failed { background: linear-gradient(90deg, rgba(170,61,70,.14), transparent); }
.proof-result.failed .result-symbol { border-color: #d56d73; }
.proof-result.failed .result-symbol svg { stroke: #ff9298; }
.proof-result.failed .result-label { color: #e1777e; }
.demo-disclosure { margin: 15px 0 0; color: #657f8b; font: 400 10px/1.55 var(--mono); text-align: right; }

.section-shell { padding: 125px max(32px, calc((100vw - 1280px) / 2)); }
.proofs { background: #f8fcfe; }
.section-index { padding-bottom: 17px; margin-bottom: 70px; border-bottom: 1px solid var(--line); color: #587b8a; font: 500 10px var(--mono); letter-spacing: .14em; }
.section-index span { color: var(--blue); }
.split-heading { display: grid; grid-template-columns: 1fr 1.3fr .85fr; gap: 50px; align-items: start; }
.split-heading > p:last-child { color: #3b5f6e; font-size: 13px; line-height: 1.8; }
.guarantee-grid { display: grid; grid-template-columns: 1fr 1fr; margin-top: 70px; border-top: 1px solid #174c64; border-left: 1px solid #174c64; box-shadow: 0 22px 60px rgba(4,61,85,.12); }
.guarantee-card { position: relative; min-height: 335px; padding: 38px; overflow: hidden; border-right: 1px solid #174c64; border-bottom: 1px solid #174c64; background: #fff; }
.guarantee-card::after { content: ""; position: absolute; inset: 0; background: linear-gradient(130deg, rgba(104,207,240,.05), transparent 52%); opacity: 0; transition: opacity .3s; }
.guarantee-card:hover::after { opacity: 1; }
.card-number { color: #527a8b; font: 500 10px var(--mono); }
.guarantee-card h3 { margin: 133px 0 12px; color: #031f2e; font-size: 22px; letter-spacing: -.04em; font-weight: 600; }
.guarantee-card p { max-width: 460px; color: #375967; font-size: 12px; line-height: 1.7; }
.guarantee-card code { display: block; padding-top: 13px; color: #1e6f8d; border-top: 1px solid rgba(3,69,99,.2); font: 500 10px/1.6 var(--mono); white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }
.featured-card { color: #fff; background: #007eae; }
.featured-card::after { background: linear-gradient(135deg, rgba(42,211,255,.2), transparent 58%); opacity: 1; }
.featured-card .card-number { color: #a7eaff; }
.featured-card h3 { color: #fff; }
.featured-card p { color: #d8f5ff; }
.featured-card code { color: #bceeff; border-color: rgba(221,248,255,.38); }
.featured-card .mini-orbit { border-color: rgba(204,246,255,.62); }
.featured-card .mini-orbit::before,
.featured-card .mini-orbit::after { border-color: rgba(204,246,255,.5); }
.featured-card .mini-orbit i { background: #fff; box-shadow: 0 0 12px #fff; }
.mini-orbit, .card-glyph { position: absolute; top: 55px; right: 45px; width: 135px; height: 105px; }
.mini-orbit { border: 1px solid rgba(0,132,184,.34); border-radius: 50%; transform: rotate(-15deg); }
.mini-orbit::before, .mini-orbit::after { content: ""; position: absolute; inset: 18px -8px; border: 1px solid rgba(0,132,184,.3); border-radius: 50%; transform: rotate(28deg); }
.mini-orbit::after { inset: 32px -14px; transform: rotate(-23deg); }
.mini-orbit i { position: absolute; width: 5px; height: 5px; border-radius: 50%; background: var(--blue); box-shadow: 0 0 10px var(--blue); }
.mini-orbit i:nth-child(1) { left: 8px; top: 25px; }.mini-orbit i:nth-child(2) { right: 17px; bottom: 3px; }.mini-orbit i:nth-child(3) { left: 58%; top: 48%; }
.isolation-glyph { display: flex; gap: 11px; align-items: center; justify-content: center; }
.isolation-glyph i { width: 24px; height: 80px; border: 1px solid rgba(0,119,169,.4); background: linear-gradient(to top, rgba(26,172,222,.28) 40%, transparent 40%); }
.isolation-glyph i:nth-child(2) { height: 105px; background: linear-gradient(to top, rgba(20,164,214,.42) 72%, transparent 72%); }
.invariant-glyph { display: grid; grid-template-columns: 1fr 1fr; gap: 8px; padding: 13px; transform: rotate(45deg) scale(.74); }
.invariant-glyph i { border: 1px solid rgba(0,119,169,.4); background: rgba(38,181,228,.15); }
.invariant-glyph i:nth-child(2), .invariant-glyph i:nth-child(3) { background: rgba(26,169,218,.34); }
.privacy-glyph::before, .privacy-glyph::after { content: ""; position: absolute; border: 1px solid rgba(0,119,169,.42); border-radius: 50%; }
.privacy-glyph::before { inset: 2px 22px; }.privacy-glyph::after { inset: 24px 0; }
.privacy-glyph i { position: absolute; left: 50%; top: 50%; width: 22px; height: 22px; transform: translate(-50%,-50%); border-radius: 50%; background: rgba(49,179,222,.15); box-shadow: 0 0 0 8px rgba(49,179,222,.05); }

.architecture { color: #d8eff8; background: #04364e; }
.architecture .section-index { color: #82adbe; border-color: rgba(168,222,241,.26); }
.architecture .section-index span,
.architecture .kicker { color: #42d2ff; }
.architecture .section-heading h2 { color: #fff; }
.architecture .split-heading > p:last-child { color: #afd0dc; }
.architecture-heading { grid-template-columns: 1fr 1.3fr .85fr; }
.pipeline { display: grid; grid-template-columns: 1fr 100px 1fr 100px 1fr; grid-template-rows: auto 135px; align-items: center; margin-top: 90px; }
.pipeline-node { min-height: 205px; padding: 30px; border: 1px solid rgba(163,220,240,.42); background: #082c3e; }
.node-tag { display: block; margin-bottom: 55px; color: #70bad3; font: 400 10px var(--mono); letter-spacing: .1em; }
.pipeline-node strong, .lean-node strong { display: block; margin-bottom: 12px; color: #fff; font-size: 20px; font-weight: 600; }
.pipeline-node p, .lean-node p { color: #9bc2d0; font-size: 11px; line-height: 1.7; }
.kernel-node { position: relative; border-color: #28c8f8; background: #074b67; box-shadow: 0 15px 45px rgba(0,8,13,.25); }
.extraction-tag { position: absolute; right: 18px; top: 18px; color: #5cddff; font: 400 10px var(--mono); }
.pipeline-link { display: flex; flex-direction: column; align-items: center; gap: 7px; }
.pipeline-link span { position: relative; width: 74%; height: 1px; background: #55bdda; }
.pipeline-link span::after { content: ""; position: absolute; right: 0; top: -3px; width: 6px; height: 6px; border-top: 1px solid #55bdda; border-right: 1px solid #55bdda; transform: rotate(45deg); }
.pipeline-link small { color: #73b4ca; font: 400 10px var(--mono); }
.lean-node { grid-column: 3; grid-row: 2; align-self: start; position: relative; margin: 25px 20px 0; padding: 22px 26px; border: 1px solid #4dd7ff; background: #086587; }
.lean-node::before { content: ""; position: absolute; top: -26px; left: 50%; width: 1px; height: 25px; background: #4dd7ff; }
.lean-node .node-tag { margin-bottom: 15px; }
.lean-node strong { font-size: 15px; }
.lean-node p { margin-bottom: 0; font-size: 10px; }

.boundary { background: #fff; }
.boundary-layout { display: grid; grid-template-columns: .9fr 1.2fr; gap: 12%; align-items: center; }
.boundary-copy h2 { font-size: clamp(42px, 4.8vw, 68px); line-height: 1.07; letter-spacing: -.06em; font-weight: 500; }
.boundary-copy > p:not(.kicker) { margin: 25px 0 30px; color: var(--muted); font-size: 13px; line-height: 1.8; }
.text-link { padding-bottom: 6px; border-bottom: 1px solid #6fb3cc; color: var(--blue-deep); font-size: 11px; font-weight: 600; }
.text-link span { margin-left: 17px; }
.boundary-diagram { border: 1px solid #174c64; background: #f1faff; box-shadow: 0 20px 55px rgba(4,61,85,.09); }
.proven-zone, .trusted-zone { padding: 28px; display: grid; grid-template-columns: repeat(3, 1fr); gap: 10px; }
.zone-label { grid-column: 1 / -1; margin-bottom: 15px; color: #397f99; font: 400 10px var(--mono); letter-spacing: .1em; }
.zone-label i { display: inline-block; width: 5px; height: 5px; margin-right: 7px; border-radius: 50%; background: #39b4df; box-shadow: 0 0 8px #39b4df; }
.proven-zone > div, .trusted-zone > div { min-height: 92px; padding: 16px; border: 1px solid rgba(0,105,149,.32); background: #fff; }
.proven-zone strong, .trusted-zone strong { display: block; font-size: 11px; font-weight: 600; }
.proven-zone small { display: block; margin-top: 10px; color: #506f7c; font: 500 10px/1.55 var(--mono); }
.trust-line { position: relative; height: 31px; display: flex; align-items: center; justify-content: center; color: #a26464; font: 400 10px var(--mono); letter-spacing: .11em; }
.trust-line::before { content: ""; position: absolute; left: 0; right: 0; height: 1px; background: repeating-linear-gradient(90deg, #d7a1a1 0 4px, transparent 4px 8px); }
.trust-line span { position: relative; padding: 0 12px; background: var(--ice-0); }
.trusted-zone { padding-top: 15px; }
.trusted-zone .zone-label { color: #8b7777; }
.trusted-zone .zone-label i { background: #b79c9c; box-shadow: none; }
.trusted-zone > div { border-style: dashed; border-color: rgba(112,95,95,.18); color: #566c75; }

.start { position: relative; min-height: 590px; display: grid; grid-template-columns: .9fr 1.1fr; gap: 11%; align-items: center; overflow: hidden; color: #e6f6fc; background: #07334a; }
.start::before { content: ""; position: absolute; inset: 0; background: radial-gradient(circle at 75% 20%, rgba(60,182,224,.14), transparent 29%), linear-gradient(135deg, transparent 55%, rgba(51,168,209,.06)); }
.start-watermark { position: absolute; left: -30px; bottom: -165px; color: rgba(116,207,238,.035); font-size: 430px; line-height: 1; letter-spacing: -.15em; font-weight: 700; }
.start-copy, .terminal-card { position: relative; z-index: 1; }
.light-kicker { color: #65c7e8; }
.start h2 { color: #f2fbff; font-size: clamp(47px, 5vw, 72px); line-height: 1.04; letter-spacing: -.06em; font-weight: 500; }
.start-copy > p:not(.kicker) { max-width: 520px; color: #91b2c0; font-size: 13px; line-height: 1.8; }
.button-light { color: #06334a; background: #dff7ff; }
.button-ghost { color: #bed9e3; border-color: rgba(189,223,235,.25); }
.terminal-card { border: 1px solid rgba(139,207,231,.2); background: rgba(2,25,38,.7); box-shadow: 0 30px 80px rgba(0,15,24,.26); }
.terminal-head { height: 45px; display: flex; align-items: center; justify-content: center; border-bottom: 1px solid rgba(139,207,231,.1); color: #789dab; font: 400 10px var(--mono); }
.terminal-head span { position: absolute; left: 17px; display: flex; gap: 6px; }
.terminal-head i { width: 6px; height: 6px; border: 1px solid #587684; border-radius: 50%; }
.terminal-card pre { margin: 0; padding: 35px; color: #b6d1dc; font: 400 10px/2.15 var(--mono); white-space: pre-wrap; }
.terminal-card .prompt { color: #67c6e7; }.terminal-card .muted { color: #668391; }.terminal-card .ok { color: #7bd9c9; }

.site-footer { min-height: 120px; padding: 0 max(32px, calc((100vw - 1280px) / 2)); display: flex; align-items: center; background: #062c40; color: #84a7b5; border-top: 1px solid rgba(169,220,238,.12); }
.footer-brand { color: #d9eff7; margin-right: 35px; }
.site-footer p { margin: 0; font-size: 11.5px; line-height: 1.5; }
.site-footer > div { display: flex; gap: 24px; margin-left: auto; font: 400 11.5px var(--mono); }
.site-footer a:hover { color: #d7f3fd; }

@media (max-width: 1000px) {
  .site-nav { display: none; }
  .github-link { margin-left: auto; }
  .hero { grid-template-columns: 1fr; padding-top: 85px; }
  .hero-aside { position: absolute; right: 5%; top: 220px; width: 260px; opacity: .7; z-index: -1; }
  .split-heading { grid-template-columns: .6fr 1.4fr; }
  .split-heading > p:last-child { grid-column: 2; }
  .code-grid { grid-template-columns: 1fr; }
  .translation-rail { display: none; }
  .code-panel { border-bottom: 1px solid rgba(173,221,239,.08); }
  .pipeline { grid-template-columns: 1fr 65px 1fr 65px 1fr; }
  .boundary-layout { grid-template-columns: 1fr; }
  .boundary-copy { max-width: 670px; margin-bottom: 50px; }
  .start { gap: 5%; }
}

@media (max-width: 720px) {
  .site-header { width: calc(100% - 36px); height: 72px; }
  .github-link span, .brand-reading { display: none; }
  .hero { width: calc(100% - 36px); min-height: auto; padding: 74px 0 100px; }
  h1 { font-size: 54px; }
  .hero-aside { width: 190px; top: 250px; right: -35px; opacity: .5; }
  .hero-note { flex-wrap: wrap; gap: 12px 18px; }
  .demo-section, .section-shell { padding: 85px 18px; }
  .demo-heading { display: block; }
  .demo-heading > p { width: auto; margin-top: 24px; }
  .lab-toolbar { flex-wrap: wrap; padding: 13px; gap: 12px; }
  .window-controls { display: none; }
  .example-tabs { order: 2; width: 100%; overflow-x: auto; }
  .example-tab { min-width: max-content; height: 40px; padding: 0 13px; }
  .example-tab::after { left: 13px; right: 13px; }
  .break-toggle { margin-left: auto; }
  .code-grid { min-height: 0; }
  .code-block { font-size: 10px; }
  .proof-result { grid-template-columns: 38px 1fr; padding: 19px 16px; }
  .result-stamp { display: none; }
  .proof-result p { line-height: 1.5; }
  .section-index { margin-bottom: 45px; }
  .split-heading { display: block; }
  .split-heading h2 { margin-bottom: 24px; }
  .guarantee-grid { grid-template-columns: 1fr; margin-top: 45px; }
  .guarantee-card { min-height: 310px; padding: 28px; }
  .guarantee-card h3 { margin-top: 120px; }
  .pipeline { display: flex; flex-direction: column; align-items: stretch; margin-top: 55px; }
  .pipeline-link { min-height: 55px; justify-content: center; transform: rotate(90deg); }
  .pipeline-link span { width: 40px; }
  .lean-node { margin: 30px 25px 0; }
  .lean-node::before { height: 30px; top: -31px; }
  .proven-zone, .trusted-zone { grid-template-columns: 1fr; }
  .start { grid-template-columns: 1fr; gap: 50px; }
  .terminal-card pre { padding: 23px 18px; font-size: 10px; }
  .site-footer { min-height: 190px; padding-top: 35px; padding-bottom: 35px; flex-wrap: wrap; }
  .site-footer p { width: calc(100% - 100px); }
  .site-footer > div { width: 100%; margin: 25px 0 0; flex-wrap: wrap; }
}

@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  *, *::before, *::after { animation-duration: .01ms !important; animation-iteration-count: 1 !important; transition-duration: .01ms !important; }
  .school-one { transform: translateX(42vw) scaleX(-1); }
  .school-two { transform: translateX(-32vw); }
}