*,*:before,*:after{box-sizing:border-box;margin:0;padding:0}:root{color-scheme:dark;--bg: #0b0b0b;--surface: #111;--ink: #f3eee7;--sub: #d1c7b8;--mute: #a59d94;--faint: #6b6560;--green: #3ddc84;--green-hi: #6ef5a7;--green-deep: #1fa65f;--coral: #d4604a;--cyan: #00e5cc;--border: rgba(255, 255, 255, .07)}html{scroll-behavior:smooth;overflow-x:hidden}::selection{background:var(--green);color:#0b0b0b}::-moz-selection{background:var(--green);color:#0b0b0b}body{font-family:DM Sans,system-ui,sans-serif;background:var(--bg);color:var(--ink);-webkit-font-smoothing:antialiased}a{color:inherit}.github-corner{position:fixed;top:0;right:0;z-index:150;line-height:0;color:var(--bg)}.github-corner svg{display:block}.github-corner .octo-arm{transform-origin:130px 106px}.github-corner:hover .octo-arm{animation:octo-wave .56s ease-in-out}@keyframes octo-wave{0%,to{transform:rotate(0)}20%,60%{transform:rotate(-26deg)}40%,80%{transform:rotate(12deg)}}.nav{position:fixed;top:0;width:100%;z-index:100;background:#0b0b0bd9;backdrop-filter:blur(16px);border-bottom:1px solid var(--border)}.nav-in{max-width:1200px;margin:0 auto;padding:.7rem 2.5rem;display:flex;align-items:center;justify-content:space-between}.mark{font-family:JetBrains Mono,monospace;font-weight:700;font-size:.92rem;text-decoration:none;line-height:1}.mark .base{color:var(--ink)}.mark .accent{color:var(--green)}.nav-links{display:flex;gap:1.5rem;margin-right:3rem}.nav-links a{font-size:.78rem;font-weight:500;color:var(--mute);text-decoration:none}.nav-links a:hover{color:var(--ink)}.hero{max-width:1200px;margin:0 auto;padding:4.25rem 2.5rem 1.5rem;position:relative;overflow:visible}.hero:before{content:"";position:absolute;top:-10%;left:50%;transform:translate(-50%);width:100vw;height:600px;background:radial-gradient(ellipse 60% 70% at 30% 30%,rgba(61,220,132,.18),transparent),radial-gradient(ellipse 50% 60% at 75% 35%,rgba(212,96,74,.08),transparent);pointer-events:none}.hero>*{position:relative;z-index:1}br.mobile-break{display:none}.hero-top{display:grid;grid-template-columns:1fr 1fr;gap:2rem;align-items:center;margin-bottom:2.25rem}.hero-illustration{width:100%;max-width:520px;height:auto;aspect-ratio:16 / 9;align-self:center;justify-self:end}.hero-illustration-placeholder{width:100%;max-width:520px;aspect-ratio:16 / 10;justify-self:end;border-radius:20px;border:1px dashed rgba(61,220,132,.25);background:radial-gradient(circle at 30% 30%,rgba(61,220,132,.14),transparent 55%),radial-gradient(circle at 70% 70%,rgba(212,96,74,.08),transparent 55%),linear-gradient(180deg,rgba(255,255,255,.02),transparent);display:flex;align-items:center;justify-content:center;font-family:JetBrains Mono,monospace;font-size:.7rem;color:var(--faint);letter-spacing:.08em;text-transform:uppercase}.hero-eyebrow{font-family:JetBrains Mono,monospace;font-size:.72rem;font-weight:600;color:var(--green);letter-spacing:.1em;text-transform:uppercase;margin-bottom:1rem}.hero h1{font-family:Fraunces,serif;font-size:clamp(2.3rem,3.5vw,3.3rem);font-weight:400;line-height:.98;letter-spacing:-.04em;margin-bottom:1rem;max-width:18ch}.hero h1 em{font-style:italic;color:var(--green)}.hero-sub{font-size:.95rem;font-weight:400;color:var(--sub);line-height:1.55;max-width:46ch;margin-bottom:1.2rem}.hero-actions{display:flex;gap:.7rem;align-items:center}.hero-install{margin-top:1rem;font-family:JetBrains Mono,monospace;font-size:.78rem;color:var(--faint);display:flex;flex-wrap:wrap;align-items:center;gap:.75rem}.hero-install-cmd{display:inline-flex;align-items:stretch;max-width:100%;background:#ffffff05;border:1px solid var(--border);border-radius:6px;overflow:hidden}.hero-install code{flex:1 1 auto;min-width:0;padding:.4rem .7rem;color:var(--sub);overflow-wrap:anywhere;word-break:break-all}.hero-install-copy{flex:0 0 auto;border:none;border-left:1px solid var(--border);background:transparent;color:var(--faint);font-family:inherit;font-size:inherit;padding:0 .75rem;cursor:pointer;transition:color .15s,background .15s}.hero-install-copy:hover{color:var(--ink);background:#ffffff0a}.hero-install-copy.is-copied{color:var(--green)}.hero-install-note{font-family:DM Sans,system-ui,sans-serif;font-size:.8rem;color:var(--faint)}.btn{font-family:DM Sans,system-ui,sans-serif;font-weight:600;font-size:.88rem;padding:.7rem 1.4rem;border-radius:8px;text-decoration:none;border:1px solid var(--border);color:var(--ink);background:var(--surface);transition:all .15s;display:inline-flex;align-items:center;gap:.4rem}.btn:hover{border-color:#ffffff26;background:#ffffff0d}.btn-fill{background:var(--green);color:#0b0b0b;border-color:var(--green);box-shadow:0 12px 32px #3ddc8440}.btn-fill:hover{background:var(--green-hi);border-color:var(--green-hi);color:#0b0b0b}.proof-prologue{position:relative;display:flex;align-items:center;gap:1.25rem;padding:.65rem 1.5rem;margin-bottom:0;border:1px solid var(--border);border-bottom:none;border-radius:20px 20px 0 0;background:linear-gradient(180deg,#3ddc840f,#3ddc8405),var(--surface);flex-wrap:wrap}.proof-prologue:after{content:"";position:absolute;left:1.5rem;right:1.5rem;bottom:-1px;height:1px;background:linear-gradient(90deg,transparent,rgba(61,220,132,.35),transparent)}.prologue-label{display:flex;align-items:center;gap:.6rem;font-family:JetBrains Mono,monospace;font-size:.72rem;font-weight:600;color:var(--sub);letter-spacing:.04em}.prologue-step{font-size:.58rem;font-weight:700;letter-spacing:.1em;text-transform:uppercase;color:#0b0b0b;background:var(--green);padding:.1rem .42rem;border-radius:4px;line-height:1.4}.prologue-cmd{font-family:JetBrains Mono,monospace;font-size:.82rem;color:var(--ink);flex:1;min-width:0}.prologue-cmd .prompt{color:var(--green);margin-right:.35rem}.prologue-cmd .hint{color:var(--faint)}.prologue-meta{display:flex;gap:.75rem;font-family:JetBrains Mono,monospace;font-size:.7rem;color:var(--mute)}.prologue-meta .dot{display:inline-block;width:6px;height:6px;border-radius:50%;background:var(--green);margin-right:.3rem}.prologue-meta code{color:var(--sub);background:#ffffff0a;padding:.05rem .35rem;border-radius:4px;font-family:inherit}.step-tag{display:inline-block;font-size:.58rem;font-weight:700;letter-spacing:.12em;text-transform:uppercase;color:#0b0b0b;background:var(--green);padding:.14rem .4rem;border-radius:4px;margin-right:.5rem;vertical-align:middle}.proof{position:relative;border:1px solid var(--border);border-radius:20px;overflow:hidden;background:linear-gradient(180deg,rgba(255,255,255,.02),transparent 30%),var(--surface);box-shadow:0 40px 80px #0006}.proof-prologue+.proof{border-top:none;border-radius:0 0 20px 20px}.proof-row{display:grid;grid-template-columns:1fr auto 1fr;min-height:220px}.proof-source{padding:1.1rem 1.5rem;border-right:1px solid var(--border)}.proof-label{font-family:JetBrains Mono,monospace;font-size:.65rem;font-weight:600;color:var(--mute);letter-spacing:.08em;text-transform:uppercase;margin-bottom:.75rem}.proof-source pre{font-family:JetBrains Mono,monospace;font-size:.8rem;line-height:1.55;color:var(--ink)}.proof-source .prompt,.proof-source .k{color:var(--green)}.proof-source .v{color:var(--sub)}.proof-source .hint{color:var(--faint);font-size:.78rem}.runtime-animated{color:var(--green);font-weight:700;display:inline;padding-right:2px;transition:opacity .3s}.proof-runtime-pills{display:flex;flex-wrap:wrap;gap:.3rem;margin-top:1rem;padding-top:.75rem;border-top:1px solid var(--border)}.runtime-pill-btn{font-family:JetBrains Mono,monospace;font-size:.65rem;padding:.22rem .5rem;border-radius:999px;border:1px solid var(--border);background:#ffffff05;color:var(--faint);cursor:pointer;transition:all .4s ease;text-decoration:none}.runtime-pill-btn:hover{color:var(--sub);border-color:#ffffff1f}.runtime-pill-btn.active{color:var(--ink);border-color:var(--green);background:#3ddc841a}.proof-arrow{display:flex;flex-direction:column;align-items:center;justify-content:center;padding:0 .75rem;gap:.5rem}.proof-cmd{position:relative;overflow:hidden;font-family:JetBrains Mono,monospace;font-size:.7rem;font-weight:700;color:var(--ink);background:var(--surface);border:2px solid var(--border);border-radius:6px;white-space:nowrap;padding:.45rem .75rem}.proof-cmd:after{content:"";position:absolute;top:0;left:-100%;width:60%;height:100%;background:linear-gradient(90deg,transparent,rgba(61,220,132,.25),rgba(61,220,132,.1),transparent);pointer-events:none}.proof-cmd.compiling:after{animation:shimmer-slide 1s ease-in-out}@keyframes shimmer-slide{0%{left:-60%}to{left:120%}}.cmd-prefix{color:var(--green)}.proof-output{padding:1.1rem 1.5rem;border-left:1px solid var(--border);display:flex;flex-direction:column;justify-content:center}.bundle-files{display:flex;flex-direction:column;gap:.2rem;margin-bottom:.75rem}.bundle-file{font-family:JetBrains Mono,monospace;font-size:.78rem;color:var(--sub);padding:.2rem 0;transition:opacity .3s,transform .3s}.bundle-check{color:var(--green);margin-right:.35rem;font-size:.72rem}.bundle-run{padding:.6rem .8rem;border:1px solid var(--border);border-radius:8px;background:#ffffff04;transition:opacity .3s,transform .3s}.bundle-run-item{font-family:JetBrains Mono,monospace;font-size:.72rem;color:var(--cyan);padding:.1rem 0}.proof-bar{display:flex;align-items:center;justify-content:space-between;padding:.55rem 1.5rem;border-top:1px solid var(--border);background:#ffffff04}.proof-bar-left{display:flex;gap:1rem;align-items:center;font-family:JetBrains Mono,monospace;font-size:.72rem;color:var(--mute)}.proof-bar-left .dot{display:inline-block;width:6px;height:6px;border-radius:50%;background:var(--green);margin-right:.4rem}.proof-bar-right{font-family:JetBrains Mono,monospace;font-size:.68rem;color:var(--faint)}.section{max-width:1200px;margin:0 auto;padding:7rem 2.5rem}.section-border{border-top:1px solid var(--border)}.section-kicker{font-family:JetBrains Mono,monospace;font-size:.68rem;color:var(--green);text-transform:uppercase;letter-spacing:.1em;margin-bottom:1rem}.section h2{font-family:Fraunces,serif;font-size:clamp(2.2rem,4vw,3.5rem);font-weight:400;line-height:.95;letter-spacing:-.03em;margin-bottom:.75rem}.section h2 em{font-style:italic;color:var(--green)}.section-desc{font-size:1rem;color:var(--sub);max-width:52ch;line-height:1.6;margin-bottom:3rem}.steps{display:grid;grid-template-columns:repeat(3,1fr);gap:1.5rem;counter-reset:step}.step{position:relative;padding:1.5rem;min-width:0;border-radius:16px;border:1px solid var(--border);background:linear-gradient(180deg,rgba(255,255,255,.02),transparent 40%),var(--surface);counter-increment:step}.step:before{content:counter(step,decimal-leading-zero);position:absolute;top:1rem;right:1.25rem;font-family:Fraunces,serif;font-size:3.5rem;color:#ffffff08;line-height:1}.step:nth-child(2){border-color:#3ddc8440;box-shadow:0 0 0 1px #3ddc840f,0 24px 60px #3ddc8414}.step h3{font-size:1rem;font-weight:600;margin-bottom:.4rem}.step p{font-size:.85rem;color:var(--mute);line-height:1.5;margin-bottom:1rem}.step pre{font-family:JetBrains Mono,monospace;font-size:.78rem;line-height:1.65;color:var(--sub);padding:.9rem;background:#0000004d;border:1px solid var(--border);border-radius:10px;white-space:pre-wrap}.step pre .k{color:var(--green)}.step pre .ok{color:var(--cyan)}.step pre .cmd{color:var(--ink);font-weight:700}.step pre .c{color:var(--coral)}.platforms{display:flex;gap:.8rem;justify-content:center;flex-wrap:wrap;position:relative;padding:.5rem 0}.platforms:before{content:"";position:absolute;left:10%;right:10%;top:50%;height:1px;background:linear-gradient(90deg,#3ddc8433,#d4604a2e)}.plat{position:relative;z-index:1;display:flex;align-items:center;gap:.5rem;padding:.5rem 1rem;background:var(--surface);border:1px solid var(--border);border-radius:999px;font-family:JetBrains Mono,monospace;font-size:.8rem;font-weight:500;box-shadow:0 8px 20px #0003;text-decoration:none;color:var(--ink);transition:border-color .2s}.plat:hover{border-color:var(--green)}.plat-dot{width:7px;height:7px;border-radius:50%;background:var(--green)}.platform-matrix{max-width:720px;margin:2.5rem auto 0;display:grid;gap:.4rem;font-family:JetBrains Mono,monospace;font-size:.78rem;text-align:left}.pm-row,.pm-header{display:grid;grid-template-columns:1fr 1.2fr 2fr;gap:1rem;align-items:center;padding:.65rem 1rem;background:var(--surface);border:1px solid var(--border);border-radius:10px}.pm-header{background:transparent;border:none;padding:.3rem 1rem;font-size:.7rem;color:var(--faint);text-transform:uppercase;letter-spacing:.04em}.pm-name{color:var(--ink);font-weight:500}.pm-shape{color:var(--green)}.pm-notes{color:var(--faint)}@media(max-width:600px){.pm-row{grid-template-columns:1fr;gap:.2rem}}.cta-section{max-width:1200px;margin:0 auto;padding:6rem 2.5rem;text-align:center;border-top:1px solid var(--border)}.cta-section h2{font-family:Fraunces,serif;font-size:clamp(2.5rem,4.5vw,4rem);font-weight:400;font-style:italic;margin-bottom:.5rem}.cta-section h2 em{color:var(--green)}.cta-section p{color:var(--faint);margin-bottom:2rem;font-size:1rem}.cta-section .cta-note{margin-top:2.5rem;margin-bottom:0;font-size:.8rem;color:var(--faint);opacity:.7}.cta-btns{display:flex;gap:.7rem;justify-content:center}footer{max-width:1200px;margin:0 auto;padding:1.5rem 2.5rem;display:flex;justify-content:space-between;font-size:.72rem;color:var(--faint);border-top:1px solid var(--border)}footer a{color:var(--faint);text-decoration:none}footer a:hover{color:var(--sub)}.footer-side-note{color:var(--coral)}@media(max-width:900px){.hero-illustration,.hero-illustration-placeholder,.proof-runtime-pills,.proof-bar{display:none}.proof-prologue{flex-direction:column;align-items:flex-start;gap:.6rem;padding:.85rem 1.1rem;border-radius:12px 12px 0 0}.proof-prologue+.proof{border-radius:0 0 12px 12px}.prologue-cmd{font-size:.78rem}.prologue-meta{font-size:.66rem}.nav-links{display:none}.nav-in{padding:.6rem 1.25rem}.hero{padding:5rem 1.5rem 2.5rem}.hero-top{grid-template-columns:1fr;margin-bottom:1.5rem}.hero h1{font-size:2.6rem;max-width:none}br.mobile-break{display:inline}.hero-sub{font-size:.9rem}.hero-actions{gap:.5rem}.hero-actions .btn{font-size:.85rem;padding:.65rem 1.2rem}.proof{border-radius:12px}.proof-row{grid-template-columns:1fr}.proof-source{border-right:none;border-bottom:1px solid var(--border);padding:1.25rem}.proof-source pre{font-size:.85rem}.proof-arrow{padding:.4rem 1.25rem;align-items:flex-start;justify-content:flex-start;background:#ffffff04;border-top:1px solid var(--border);border-bottom:1px solid var(--border)}.proof-cmd{font-size:.78rem;border:none;background:transparent;padding:.3rem 0}.proof-output{padding:1.25rem;border-left:none}.section{padding:4rem 1.5rem}.section h2{font-size:1.7rem}.section-desc{font-size:.95rem}.section-kicker{font-size:.72rem}.steps{grid-template-columns:1fr}.step{padding:1.25rem}.plat{font-size:.78rem;padding:.45rem .8rem}.cta-section h2{font-size:1.7rem}.cta-section p{font-size:.9rem}.cta-btns{flex-direction:column;align-items:center}.cta-btns .btn{width:100%;max-width:240px;text-align:center}footer{font-size:.82rem;flex-direction:column;gap:.75rem;align-items:center;text-align:center}}