:root{color-scheme:dark;font-family:Inter,system-ui,sans-serif;--nav-h: 3.25rem;--border: #232634;--bg: #0f1117;--bg-raised: #121522;--fg: #f4f5f7;--fg-muted: #b8bdd0;--accent: #2e6df6}body{margin:0;background:var(--bg);color:var(--fg)}.site{min-height:100vh;display:flex;flex-direction:column}.site-nav{position:sticky;top:0;z-index:10;height:var(--nav-h);box-sizing:border-box;display:flex;align-items:center;gap:1.5rem;padding:0 1.25rem;background:#0f1117eb;-webkit-backdrop-filter:blur(6px);backdrop-filter:blur(6px);border-bottom:1px solid var(--border)}.site-nav a{color:var(--fg-muted);text-decoration:none;font-size:.9rem}.site-nav a:hover,.site-nav a.active{color:var(--fg)}.site-nav .brand{font-weight:700;font-size:1.05rem;color:var(--fg)}.nav-links{display:flex;align-items:center;gap:1rem;flex-wrap:wrap}.page{width:min(52rem,100% - 2.5rem);margin:0 auto;padding:2.5rem 0 4rem}.entry-list{padding-left:1.25rem;display:flex;flex-direction:column;gap:.5rem}.breadcrumb{color:var(--fg-muted);font-size:.85rem}.page a,.prose a{color:#8cb4ff}.prose h1{font-size:1.8rem}.prose pre{padding:.75rem;background:#0d101b;border:1px solid var(--border);border-radius:8px;overflow:auto;font-size:.85rem}.prose code{font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,Liberation Mono,Courier New,monospace;font-size:.9em;background:#1a1e2e;padding:.1em .3em;border-radius:4px}.prose pre code{background:none;padding:0}.prose li{margin:.3rem 0}.hero{width:min(60rem,100% - 2.5rem);margin:0 auto;padding:4.5rem 0 3rem;text-align:center}.hero-kicker{margin:0;text-transform:uppercase;letter-spacing:.14em;font-size:.75rem;color:var(--fg-muted)}.hero h1{margin:.75rem 0 0;font-size:clamp(2.2rem,6vw,3.6rem);line-height:1.1}.hero .accent{color:var(--accent)}.hero-tagline{width:min(38rem,100%);margin:1.25rem auto 0;color:var(--fg-muted);font-size:1.05rem;line-height:1.6}.hero-actions{display:flex;justify-content:center;gap:.75rem;margin-top:1.75rem}.btn{display:inline-block;padding:.55rem 1.1rem;border:1px solid var(--border);border-radius:8px;background:var(--bg-raised);color:var(--fg);text-decoration:none;font-size:.95rem}.btn:hover{border-color:#3a4059}.btn-primary{background:var(--accent);border-color:var(--accent);color:#fff}.btn-primary:hover{border-color:var(--accent);filter:brightness(1.1)}.hero-features{list-style:none;margin:3.5rem 0 0;padding:0;display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:1rem;text-align:left}.hero-features li{border:1px solid var(--border);border-radius:10px;background:var(--bg-raised);padding:1rem 1.1rem}.hero-features h3{margin:0 0 .5rem;font-size:1rem}.hero-features p{margin:0;color:var(--fg-muted);font-size:.88rem;line-height:1.55}.home-playground{width:min(72rem,100% - 2.5rem);margin:0 auto;padding:1.5rem 0 4rem}.home-playground h2{margin:0 0 .25rem}.home-playground>.hint{margin:0 0 1rem}.home-playground-frame{height:40rem;border:1px solid var(--border);border-radius:10px;overflow:hidden;display:flex;flex-direction:column}.home-playground-frame>*{flex:1;min-height:0}.playground-page{height:calc(100vh - var(--nav-h));display:flex;flex-direction:column}.playground-page>*{flex:1;min-height:0}.playground{height:100%;display:flex;flex-direction:column;min-height:0}.workspace{flex:1;min-height:0;display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr)}.source-pane{min-height:0;display:grid;grid-template-rows:minmax(0,1fr) 180px}.editor{min-height:0}.problems-panel{border-top:1px solid var(--border);background:#10131f;padding:.5rem .75rem;overflow:auto}.problems-panel h2{margin:0 0 .5rem;font-size:.9rem}.problems-list{margin:0;padding-left:1rem;display:flex;flex-direction:column;gap:.35rem}.problem-item{font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,Liberation Mono,Courier New,monospace;font-size:.78rem;color:#ffb4b4;line-height:1.35}.sidebar{border-left:1px solid var(--border);padding:1rem;overflow:auto;background:var(--bg-raised);display:flex;flex-direction:column;gap:.5rem}.panel-row{display:flex;justify-content:flex-start;align-items:center;margin-bottom:.75rem}.panel-controls{margin-bottom:0}.tabs{display:flex;gap:.4rem;flex-wrap:wrap;margin:.25rem 0 .5rem}.tab-btn{border:1px solid #2b2f42;background:#0f1424;color:#c6ccdc;border-radius:6px;padding:.3rem .55rem;font-size:.72rem;cursor:pointer}.tab-btn.active{border-color:#2e6df6;color:#fff}.run-btn{border:1px solid #2e6df6;background:#2e6df6;color:#fff;border-radius:8px;padding:.4rem .75rem;font-size:.8rem;cursor:pointer}.run-btn:disabled{opacity:.5;cursor:not-allowed}.sidebar h2{margin:0 0 .5rem;font-size:.95rem}.sidebar pre{margin:0 0 1rem;padding:.75rem;background:#0d101b;border:1px solid var(--border);border-radius:8px;font-size:.75rem;white-space:pre-wrap;word-break:break-word}.ts-view{border:1px solid var(--border);border-radius:8px;overflow:hidden}.js-view{height:320px;flex-shrink:0}.ast-view{height:320px;overflow:auto}.is-hidden{display:none}.runtime-output{font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,Liberation Mono,Courier New,monospace;white-space:pre-wrap}.error{color:#ff8f8f;font-weight:600}.hint{color:var(--fg-muted);font-size:.9rem}.formalization-page{flex:1;background:#faf9f5;color:#1c1c1c;color-scheme:light;padding:2.5rem 1.25rem 5rem}.formalization{max-width:54rem;margin:0 auto;line-height:1.6}.formalization a{color:#1552b8}.formalization nav[role=doc-toc]{border:1px solid #e0ddd2;background:#f3f1e9;border-radius:10px;padding:1rem 1.25rem;margin-bottom:2rem;font-size:.92rem}.formalization nav[role=doc-toc] ol{margin:.25rem 0;padding-left:1rem}.formalization nav[role=doc-toc] .prefix{margin-right:.4rem;color:#6b6759}.formalization svg{max-width:100%;height:auto;vertical-align:middle}.formalization :is(a,h1,h2,h3,h4,h5,h6) p{display:inline;margin:0}.formalization :is(a,h1,h2,h3,h4,h5,h6) svg{display:inline-block}.formalization .inline-eq svg{vertical-align:baseline}@media(max-width:960px){.workspace{grid-template-columns:minmax(0,1fr)}.sidebar{border-left:0;border-top:1px solid var(--border)}.hero-features{grid-template-columns:minmax(0,1fr)}}