:root {
  --bg: #070912;
  --panel: rgba(14, 18, 32, .88);
  --line: #242a42;
  --text: #f6f7fb;
  --muted: #8e96ae;
  --cyan: #42e8e0;
  --purple: #a78bfa;
  --orange: #ffb86b;
  --green: #70f0a9;
}
* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body { margin: 0; background: var(--bg); color: var(--text); font-family: Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif; }
body::before { content: ""; position: fixed; inset: 0; pointer-events: none; background: radial-gradient(circle at 15% 10%, rgba(66,232,224,.09), transparent 27%), radial-gradient(circle at 85% 30%, rgba(167,139,250,.08), transparent 29%); }
.noise { position: fixed; inset: 0; opacity: .035; pointer-events: none; background-image: url("data:image/svg+xml,%3Csvg viewBox='0 0 180 180' xmlns='http://www.w3.org/2000/svg'%3E%3Cfilter id='n'%3E%3CfeTurbulence type='fractalNoise' baseFrequency='.9' numOctaves='4' stitchTiles='stitch'/%3E%3C/filter%3E%3Crect width='100%25' height='100%25' filter='url(%23n)' opacity='.5'/%3E%3C/svg%3E"); }
.shell { width: min(1180px, calc(100% - 40px)); margin-inline: auto; position: relative; }
.nav { height: 78px; display: flex; align-items: center; justify-content: space-between; border-bottom: 1px solid rgba(255,255,255,.06); }
.brand { color: #fff; text-decoration: none; font: 700 20px/1 ui-monospace, SFMono-Regular, Menlo, monospace; letter-spacing: -.04em; }
.brand-mark { color: var(--cyan); margin-right: 6px; }
.nav-links { display: flex; align-items: center; gap: 28px; }
.nav-links a { color: var(--muted); text-decoration: none; font-size: 13px; font-weight: 600; }
.nav-links a:hover { color: #fff; }
.nav-links .github { border: 1px solid var(--line); border-radius: 7px; padding: 9px 13px; color: #fff; }
.hero { padding: 112px 0 70px; }
.eyebrow, .section-kicker { color: var(--cyan); font: 700 12px/1 ui-monospace, SFMono-Regular, Menlo, monospace; letter-spacing: .16em; }
.eyebrow { display: flex; align-items: center; gap: 10px; }
.eyebrow span { width: 7px; height: 7px; background: var(--cyan); border-radius: 50%; box-shadow: 0 0 18px var(--cyan); }
h1 { margin: 24px 0 28px; max-width: 1020px; font-size: clamp(54px, 8vw, 104px); line-height: .94; letter-spacing: -.065em; }
h1 em { color: transparent; font-style: normal; -webkit-text-stroke: 1px #7e87a2; }
.lede { max-width: 760px; color: #aeb5c9; font-size: 19px; line-height: 1.65; }
.lede strong { color: #fff; }
.hero-actions { display: flex; gap: 12px; margin: 38px 0 72px; }
.button { padding: 14px 18px; border: 1px solid var(--line); border-radius: 8px; color: #fff; font-size: 13px; font-weight: 700; text-decoration: none; }
.button span { padding-left: 15px; }
.button.primary { color: #071012; background: var(--cyan); border-color: var(--cyan); box-shadow: 0 8px 35px rgba(66,232,224,.13); }
.button.secondary:hover { border-color: #65708e; }
.proof-strip { display: grid; grid-template-columns: repeat(4, 1fr); border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); }
.proof-strip div { padding: 28px 24px; display: flex; align-items: baseline; gap: 11px; border-right: 1px solid var(--line); }
.proof-strip div:last-child { border: 0; }
.proof-strip b { color: var(--cyan); font: 600 28px/1 ui-monospace, monospace; }
.proof-strip span { color: var(--muted); font-size: 12px; }
.playground, .pipeline { padding: 105px 0 25px; }
.section-heading { display: flex; align-items: end; justify-content: space-between; gap: 35px; margin: 16px 0 36px; }
.section-heading h2 { margin: 0; font-size: clamp(38px, 5vw, 60px); letter-spacing: -.045em; }
.section-heading p { width: 480px; color: var(--muted); line-height: 1.6; font-size: 14px; }
.workbench { display: grid; grid-template-columns: 255px minmax(420px, 1fr) 285px; min-height: 530px; border: 1px solid var(--line); border-radius: 13px; overflow: hidden; background: rgba(8,11,20,.78); box-shadow: 0 35px 100px rgba(0,0,0,.3); }
.panel { min-width: 0; }
.controls { border-right: 1px solid var(--line); padding: 18px; }
.artifact { position: relative; border-right: 1px solid var(--line); background: #0b0e19; }
.tiles { padding: 18px; }
.panel-bar { color: #8d96b0; font: 700 10px/1 ui-monospace, monospace; letter-spacing: .14em; padding: 5px 0 19px; border-bottom: 1px solid var(--line); }
.dot { display: inline-block; width: 6px; height: 6px; border-radius: 50%; margin-right: 8px; }
.dot.cyan { background: var(--cyan); box-shadow: 0 0 10px var(--cyan); }
.dot.purple { background: var(--purple); box-shadow: 0 0 10px var(--purple); }
.control-row { position: relative; display: flex; justify-content: space-between; align-items: center; padding: 14px 0; border-bottom: 1px solid rgba(255,255,255,.05); cursor: pointer; }
.control-row b { display: block; font-size: 12px; }
.control-row small { color: #6f7790; font-size: 10px; }
.control-row input { position: absolute; opacity: 0; }
.control-row i { width: 32px; height: 17px; background: #252a3d; border-radius: 20px; position: relative; transition: .2s; }
.control-row i::after { content: ""; position: absolute; width: 11px; height: 11px; left: 3px; top: 3px; border-radius: 50%; background: #777f96; transition: .2s; }
.control-row input:checked + i { background: rgba(66,232,224,.22); border: 1px solid rgba(66,232,224,.5); }
.control-row input:checked + i::after { transform: translateX(14px); background: var(--cyan); box-shadow: 0 0 8px var(--cyan); }
.range-wrap { padding: 12px 0 8px; }
.range-wrap > div { display: flex; justify-content: space-between; color: #707990; font: 10px ui-monospace, monospace; }
.range-wrap output { color: var(--cyan); }
input[type=range] { width: 100%; accent-color: var(--cyan); }
.select-row { display: grid; grid-template-columns: 1fr 1fr; gap: 8px; padding-top: 15px; }
.select-row label { color: #777f96; font: 9px ui-monospace, monospace; }
.select-row select { margin-top: 6px; width: 100%; color: #dbe0ec; background: #111626; border: 1px solid var(--line); border-radius: 5px; padding: 8px; font: 11px ui-monospace, monospace; }
.compile-button { width: 100%; margin-top: 16px; padding: 12px; border: 0; border-radius: 6px; background: var(--cyan); color: #061010; font: 800 10px ui-monospace, monospace; letter-spacing: .08em; cursor: pointer; }
.compile-button:hover { filter: brightness(1.08); }
.compile-button.compiling { animation: pulse .55s infinite alternate; }
@keyframes pulse { to { opacity: .55; } }
.compile-status { color: #727b91; font: 9px ui-monospace, monospace; text-align: center; margin-top: 10px; }
.compile-status i { display: inline-block; width: 5px; height: 5px; border-radius: 50%; background: var(--green); margin-right: 5px; }
.tabs { height: 50px; display: flex; align-items: end; gap: 22px; padding: 0 22px; border-bottom: 1px solid var(--line); }
.tab { height: 100%; border: 0; border-bottom: 2px solid transparent; color: #6e7892; background: transparent; font: 700 10px ui-monospace, monospace; cursor: pointer; }
.tab.active { color: var(--cyan); border-color: var(--cyan); }
.code { display: none; margin: 0; padding: 24px; height: 478px; overflow: auto; color: #cdd4e7; font: 12px/1.72 ui-monospace, SFMono-Regular, Menlo, monospace; white-space: pre-wrap; }
.code.active { display: block; }
.code .kw { color: #c4a7ff; }.code .fn { color: #5ce1e6; }.code .num { color: #ffbd7a; }.code .cm { color: #59627b; }.code .str { color: #8ee6a8; }
.copy { position: absolute; right: 14px; top: 64px; color: #68728b; background: #111625; border: 1px solid var(--line); border-radius: 5px; padding: 6px 9px; font: 9px ui-monospace, monospace; cursor: pointer; }
.tile-meta { display: flex; justify-content: space-between; color: #555f77; font: 8px ui-monospace, monospace; margin: 20px 0 8px; text-transform: uppercase; }
.tile-grid { display: grid; grid-template-columns: repeat(12, 1fr); gap: 3px; aspect-ratio: 1; }
.tile { border-radius: 2px; background: #111626; transition: transform .15s, opacity .2s; }
.tile:hover { transform: scale(1.15); z-index: 2; }
.tile.full { background: rgba(66,232,224,.8); box-shadow: 0 0 8px rgba(66,232,224,.12); }
.tile.partial { background: rgba(167,139,250,.88); }
.tile.masked { background: #171b2b; opacity: .58; }
.legend { display: flex; flex-wrap: wrap; gap: 12px; color: #757e96; font: 8px ui-monospace, monospace; margin: 16px 0; }
.legend i { display: inline-block; width: 7px; height: 7px; margin-right: 4px; border-radius: 2px; }
.legend .full { background: var(--cyan); }.legend .partial { background: var(--purple); }.legend .masked { background: #272d42; }
.tiles p { color: #707990; font-size: 10px; line-height: 1.55; }
.pipeline-grid { display: grid; grid-template-columns: repeat(4,1fr); border: 1px solid var(--line); border-radius: 12px; overflow: hidden; }
.pipeline-grid article { padding: 26px; min-height: 245px; border-right: 1px solid var(--line); background: rgba(13,17,29,.68); }
.pipeline-grid article:last-child { border: 0; }
.pipeline-grid article > span { color: var(--cyan); font: 10px ui-monospace, monospace; }
.pipeline-grid b { display: block; font-size: 22px; margin: 38px 0 12px; }
.pipeline-grid p { min-height: 66px; color: var(--muted); font-size: 12px; line-height: 1.55; }
.pipeline-grid code { color: var(--purple); font-size: 10px; }
.correctness { padding: 70px 0 110px; }
.correct-card { display: flex; justify-content: space-between; align-items: center; gap: 30px; border: 1px solid rgba(112,240,169,.22); background: linear-gradient(100deg, rgba(112,240,169,.07), rgba(66,232,224,.03)); border-radius: 12px; padding: 28px 34px; }
.correct-card > div:first-child { display: flex; gap: 18px; align-items: center; }
.check { width: 40px; height: 40px; display: grid; place-items: center; color: #07120c; background: var(--green); border-radius: 50%; font-weight: 900; }
.correct-card b { font-size: 16px; }.correct-card p { color: var(--muted); font-size: 12px; margin: 6px 0 0; }
.test-counter { text-align: right; }.test-counter strong { display: block; color: var(--green); font: 600 26px ui-monospace, monospace; }.test-counter span { color: #79839a; font-size: 10px; }
footer { display: flex; justify-content: space-between; gap: 20px; padding: 26px 0 38px; border-top: 1px solid var(--line); color: #65708a; font: 10px ui-monospace, monospace; }
footer a { color: var(--cyan); text-decoration: none; }
@media (max-width: 980px) { .workbench { grid-template-columns: 240px 1fr; }.tiles { grid-column: 1 / -1; border-top: 1px solid var(--line); }.tile-grid { max-width: 320px; }.pipeline-grid { grid-template-columns: 1fr 1fr; }.pipeline-grid article:nth-child(2) { border-right: 0; }.pipeline-grid article:nth-child(-n+2) { border-bottom: 1px solid var(--line); } }
@media (max-width: 680px) { .nav-links a:not(.github) { display: none; }.hero { padding-top: 70px; }.hero-actions,.section-heading,.correct-card,footer { align-items: flex-start; flex-direction: column; }.proof-strip { grid-template-columns: 1fr 1fr; }.proof-strip div:nth-child(2) { border-right: 0; }.proof-strip div:nth-child(-n+2) { border-bottom: 1px solid var(--line); }.section-heading p { width: auto; }.workbench { grid-template-columns: 1fr; }.controls,.artifact { border-right: 0; border-bottom: 1px solid var(--line); }.pipeline-grid { grid-template-columns: 1fr; }.pipeline-grid article { border-right: 0; border-bottom: 1px solid var(--line); }.test-counter { text-align: left; } }