:root{--bg: #121212;--panel: #1a1a19;--card: #1f1f1f;--card2: #262624;--line: rgba(240, 240, 238, .12);--line2: rgba(240, 240, 238, .28);--text: #f0f0ee;--muted: rgba(240, 240, 238, .6);--faint: rgba(240, 240, 238, .38);--sel: rgba(240, 240, 238, .14);--grid: rgba(240, 240, 238, .04);--accent: #93c5fd;--accent-bg: rgba(147, 197, 253, .13);--accent-bg-hover: rgba(147, 197, 253, .2);--accent-line: rgba(147, 197, 253, .42);--ok: #34d399;--ok-bg: rgba(52, 211, 153, .14);--no: #f87171;--no-bg: rgba(248, 113, 113, .12);--tok-kw: #f43f5e;--tok-fn: #60a5fa;--tok-str: #34d399;--tok-num: #fb923c;--tok-com: #64748b;--tok-punc: #94a3b8;--tok-op: #f472b6;--cat-core-functions: #3b82f6;--cat-composition: #10b981;--cat-purity-state: #f59e0b;--cat-category-morphisms: #a855f7;--cat-algebraic-structures: #ec4899;--cat-types-data: #06b6d4;--mono: "JetBrains Mono", "Space Mono", ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, monospace;--ease-out-expo: cubic-bezier(.19, 1, .22, 1);--duration-fast: .18s;color-scheme:dark}html.light{--bg: #eaeae8;--panel: #dededb;--card: #f5f5f3;--card2: #e7e7e4;--line: rgba(26, 26, 25, .12);--line2: rgba(26, 26, 25, .28);--text: #1a1a19;--muted: rgba(26, 26, 25, .62);--faint: rgba(26, 26, 25, .4);--sel: rgba(26, 26, 25, .12);--grid: rgba(26, 26, 25, .05);--accent: #2563eb;--accent-bg: rgba(37, 99, 235, .09);--accent-bg-hover: rgba(37, 99, 235, .15);--accent-line: rgba(37, 99, 235, .38);--ok: #059669;--ok-bg: rgba(5, 150, 105, .1);--no: #dc2626;--no-bg: rgba(220, 38, 38, .08);--tok-kw: #be185d;--tok-fn: #2563eb;--tok-str: #059669;--tok-num: #d97706;--tok-com: #64748b;--tok-punc: #475569;--tok-op: #e11d48;color-scheme:light}@media(prefers-color-scheme:light){html:not(.dark):not(.light){--bg: #eaeae8;--panel: #e2e2df;--card: #e6e6e3;--card2: #d8d8d5;--line: rgba(26, 26, 25, .12);--line2: rgba(26, 26, 25, .28);--text: #1a1a19;--muted: rgba(26, 26, 25, .62);--faint: rgba(26, 26, 25, .4);--sel: rgba(26, 26, 25, .12);--grid: rgba(26, 26, 25, .05);--accent: #2563eb;--accent-bg: rgba(37, 99, 235, .09);--accent-bg-hover: rgba(37, 99, 235, .15);--accent-line: rgba(37, 99, 235, .38);--ok: #059669;--ok-bg: rgba(5, 150, 105, .1);--no: #dc2626;--no-bg: rgba(220, 38, 38, .08);--tok-kw: #be185d;--tok-fn: #2563eb;--tok-str: #059669;--tok-num: #d97706;--tok-com: #64748b;--tok-punc: #475569;--tok-op: #e11d48;color-scheme:light}}*,*:before,*:after{box-sizing:border-box}html,body,#root{height:100%;margin:0}body{background:var(--bg);color:var(--text);font-family:var(--mono);font-variant-ligatures:none;font-size:13px;line-height:1.55;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}::selection{background:var(--text);color:var(--bg)}::-webkit-scrollbar{width:5px;height:5px}::-webkit-scrollbar-track{background:transparent}::-webkit-scrollbar-thumb{background:var(--line)}::-webkit-scrollbar-thumb:hover{background:var(--line2)}.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}.app{display:flex;height:100%;overflow:hidden}.stage{position:relative;flex:1;min-width:0;background-image:linear-gradient(to right,var(--grid) 1px,transparent 1px),linear-gradient(to bottom,var(--grid) 1px,transparent 1px);background-size:32px 32px}.brand{position:absolute;top:16px;left:18px;z-index:3;display:flex;gap:11px;align-items:center;pointer-events:none}.logo{width:30px;height:30px;display:grid;place-items:center;border:1px solid var(--line2);background:var(--panel);font-size:15px;font-weight:700}.brand h1{margin:0;font-size:14px;font-weight:400;display:flex;align-items:baseline;gap:8px}.wordmark{white-space:nowrap}.wordmark-name{font-weight:700}.wordmark-edition{font-weight:400;color:var(--muted)}.brand p{margin:0;font-size:10.5px;color:var(--muted)}.badge{font-size:9px;letter-spacing:.08em;border:1px solid var(--line2);padding:1px 5px;color:var(--muted);font-weight:400}.toolbar{position:absolute;top:16px;right:18px;z-index:3;display:flex;gap:6px;align-items:center}button,.ghost-btn{font-family:inherit;font-size:11.5px;color:var(--text);background:var(--panel);border:1px solid var(--line);padding:5px 9px;cursor:pointer;display:inline-flex;align-items:center;gap:6px;border-radius:3px;text-decoration:none;transition:border-color var(--duration-fast) var(--ease-out-expo)}button:hover,.ghost-btn:hover{border-color:var(--line2)}button:disabled{opacity:.45;cursor:default}:focus-visible{outline:2px solid var(--accent);outline-offset:2px}button.primary{background:var(--accent-bg);color:var(--accent);border-color:var(--accent-line);font-weight:600}button.primary:hover:not(:disabled){background:var(--accent-bg-hover);border-color:var(--accent)}button.primary kbd{border-color:var(--accent-line);color:var(--accent);opacity:.75}.ghost-btn{background:var(--panel);color:var(--muted)}.ghost-btn:hover{color:var(--text)}.ghost-btn.on{color:var(--accent);border-color:var(--accent)}.ghost-btn.tiny{padding:3px 6px;font-size:10.5px}kbd{font-family:inherit;font-size:9.5px;border:1px solid var(--line);padding:0 4px;color:var(--faint);border-radius:2px}.graph-wrap{position:absolute;inset:0}.graph-canvas{display:block;width:100%;height:100%;cursor:grab;touch-action:none}.graph-canvas:active{cursor:grabbing}.graph-foot{position:absolute;left:18px;bottom:16px;display:flex;gap:8px;align-items:center}.hint{font-size:10.5px;color:var(--muted);border:1px solid var(--line);background:var(--panel);padding:5px 9px;border-radius:3px}.celebrate{position:fixed;inset:0;width:100%;height:100%;pointer-events:none;z-index:100}.term-list{position:absolute;inset:0;overflow:auto;padding:72px 24px 32px}.term-list section{max-width:900px;margin:0 auto 32px}.term-list h2{font-size:12px;letter-spacing:.1em;text-transform:uppercase;margin:0 0 4px;display:flex;align-items:center;gap:8px}.list-glyph{font-size:15px}.list-count{color:var(--faint);font-weight:400}.list-desc{margin:0 0 12px;font-size:11.5px;color:var(--muted)}.term-list ul{list-style:none;margin:0;padding:0;display:grid;gap:6px;grid-template-columns:repeat(auto-fill,minmax(280px,1fr))}.list-item{width:100%;text-align:left;flex-direction:column;align-items:flex-start;gap:3px;padding:9px 11px;background:var(--card);border-left:2px solid var(--line);position:relative}.list-item.active{background:var(--card2)}.list-title{font-size:12px;font-weight:500}.list-summary{font-size:10.5px;color:var(--muted);line-height:1.45;display:-webkit-box;-webkit-line-clamp:2;-webkit-box-orient:vertical;overflow:hidden}.list-badge{position:absolute;top:8px;right:9px;font-size:9.5px;color:var(--faint);display:inline-flex;align-items:center;gap:3px}.list-badge.done{color:var(--ok)}.drawer{flex:0 0 min(720px,46vw);width:min(720px,46vw);min-width:0;border-left:1px solid var(--line);background:var(--panel);display:flex;flex-direction:column;min-height:0;animation:slide-in .3s var(--ease-out-expo)}@keyframes slide-in{0%{transform:translate(16px);opacity:0}}@media(prefers-reduced-motion:reduce){.drawer{animation:none}}.drawer-head{padding:14px 20px 0;border-bottom:1px solid var(--line);background:var(--card)}.drawer-head-row{display:flex;justify-content:space-between;align-items:center;gap:8px}.drawer-crumbs{display:flex;align-items:center;gap:8px;min-width:0}.drawer-actions{display:flex;gap:4px;flex-shrink:0}.chip{font-size:10.5px;padding:2px 7px;border:1px solid;display:inline-flex;gap:6px;align-items:center;border-radius:2px}.chip b{width:6px;height:6px;display:inline-block}.anchor{font-size:10.5px;color:var(--faint);overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.drawer-head h2{font-size:22px;font-weight:500;margin:12px 0 10px;letter-spacing:-.01em}.tabs{display:flex}.tab{background:transparent;border:0;border-bottom:2px solid transparent;border-radius:0;padding:8px 13px;color:var(--muted);font-size:12px}.tab[aria-selected=true]{color:var(--text);border-bottom-color:var(--text)}.tab .count{color:var(--faint);margin-left:5px;font-size:10.5px}.drawer-body{flex:1;overflow:auto;padding:18px 20px 28px}.drawer-foot{border-top:1px solid var(--line);padding:8px 20px;display:flex;justify-content:space-between;font-size:10.5px;color:var(--muted);background:var(--card)}.drawer-foot a{color:var(--muted);text-decoration:none;display:inline-flex;align-items:center;gap:5px}.drawer-foot a:hover{color:var(--text)}.sect{font-size:9.5px;letter-spacing:.12em;color:var(--muted);margin:22px 0 8px;display:flex;justify-content:space-between}.sect:first-child{margin-top:0}.defbox{background:var(--card);border:1px solid var(--line);padding:13px 15px;font-size:12.5px;line-height:1.65}.prose{margin:0 0 14px;font-size:12.5px;line-height:1.7;user-select:text}.prose p{margin:0 0 10px}.prose ul,.prose ol{padding-left:20px;margin:8px 0}.prose code{font-family:inherit;font-size:.88em;padding:1px 5px;background:var(--card2);border:1px solid var(--line);border-radius:2px}.prose a,.reading a{color:var(--text);text-decoration:underline;text-underline-offset:3px}.prose .term-link{color:var(--accent)}.prose blockquote{border-left:2px solid var(--line2);padding-left:12px;margin:10px 0;opacity:.85}.reading{list-style:none;padding:0;margin:0;display:grid;gap:5px}.reading a{font-size:11.5px;display:inline-flex;align-items:center;gap:5px}.related{display:flex;flex-wrap:wrap;gap:5px}.related-chip{font-size:11px;padding:4px 8px;background:var(--card)}.related-chip.ref{border-style:dashed}.code-block{background:var(--card);border:1px solid var(--line);margin:0 0 16px;overflow:hidden;border-radius:3px}.code-block-head{display:flex;justify-content:space-between;align-items:center;padding:4px 8px 4px 11px;border-bottom:1px solid var(--line)}.code-lang{font-size:10px;color:var(--muted);letter-spacing:.08em}.code-block pre{margin:0;padding:9px 0;overflow-x:auto;font-size:12px;line-height:1.65;user-select:text}.code-line{display:block;white-space:pre}.code-gutter{display:inline-block;width:34px;text-align:right;margin-right:14px;color:var(--faint);user-select:none}.code-text{padding-right:14px}.practice{display:flex;flex-direction:column;gap:14px}.stepper{list-style:none;display:flex;flex-wrap:wrap;gap:5px;margin:0;padding:0}.step{font-size:11px;padding:5px 9px;background:var(--card);color:var(--muted)}.step.active{color:var(--text);border-color:var(--line2);background:var(--card2)}.step.done .step-mark{color:var(--ok)}.step-mark{display:inline-flex;color:var(--faint)}.step-num{color:var(--faint)}.rung-head h3{font-size:15px;font-weight:500;margin:5px 0 7px}.role-label{font-size:9.5px;letter-spacing:.12em;color:var(--muted);text-transform:uppercase}.prompt{font-size:12.5px;line-height:1.65;color:var(--muted)}.prompt p{margin:0 0 8px}.prompt code{font-family:inherit;padding:1px 4px;background:var(--card2);border:1px solid var(--line)}.code-rung,.choice,.reveal{display:flex;flex-direction:column;gap:16px}.editor-host .cm-editor{max-height:340px}.editor-host .cm-scroller{overflow:auto}.status-row{display:flex;gap:6px;align-items:center;flex-wrap:wrap}.hints{list-style:none;margin:0;padding:0;display:grid;gap:5px}.hints li{font-size:11.5px;color:var(--muted);background:var(--card);border-left:2px solid var(--line2);padding:7px 10px}.expr-rung{display:flex;flex-direction:column;gap:16px}.expr-context{margin:0;padding:11px 14px;background:var(--card);border:1px solid var(--line);border-radius:3px;font-size:12.5px;line-height:1.6;overflow-x:auto;user-select:text}.expr-input input{width:100%;font-family:var(--mono);font-size:13.5px;padding:10px 13px;background:var(--card);border:1px solid var(--line2);border-radius:3px;color:var(--text)}.expr-input input::placeholder{color:var(--faint)}.expr-input input:focus{outline:none;border-color:var(--accent)}.options{list-style:none;margin:0;padding:0;display:grid;gap:6px}.option{width:100%;text-align:left;align-items:flex-start;background:var(--card);padding:9px 11px}.option.picked{border-color:var(--line2);background:var(--card2)}.option.right{border-color:var(--ok);background:var(--ok-bg)}.option.wrong{border-color:var(--no);background:var(--no-bg)}.option:disabled{opacity:1;cursor:default}.option-mark{display:inline-flex;color:var(--faint);margin-top:3px}.option-code{margin:0;font-size:12px;white-space:pre-wrap;line-height:1.55}.why{font-size:11px;color:var(--muted);margin:4px 0 0 26px}.why.right{color:var(--ok)}.results{border-top:1px solid var(--line);padding-top:14px}.results-idle{margin:0;font-size:11.5px;color:var(--faint)}.results-head{display:flex;justify-content:space-between;font-size:10.5px;color:var(--muted);margin-bottom:6px}.tally.ok{color:var(--ok)}.elapsed{color:var(--faint)}.check-list{list-style:none;margin:0;padding:0;display:grid;gap:2px}.check-row{width:100%;text-align:left;background:transparent;border:0;padding:4px 6px;font-size:11.5px;border-radius:2px}.check-row:hover{background:var(--card)}.check.pass .check-icon{color:var(--ok)}.check.fail .check-icon{color:var(--no)}.check-icon{display:inline-flex}.check-name{flex:1;min-width:0}.check.fail .check-name{color:var(--text)}.check.pass .check-name{color:var(--muted)}.check-runs,.check-chevron{color:var(--faint);font-size:10px;display:inline-flex}.check-detail{margin:2px 0 8px 26px;padding:8px 10px;background:var(--no-bg);border-left:2px solid var(--no);font-size:11.5px;line-height:1.6;white-space:pre-wrap;user-select:text}.fatal{display:flex;gap:8px;align-items:flex-start;background:var(--no-bg);border-left:2px solid var(--no);padding:9px 11px;font-size:11.5px;line-height:1.55}.fatal svg{flex-shrink:0;margin-top:2px;color:var(--no)}.logs{margin-top:8px;font-size:11px;color:var(--muted)}.logs pre{background:var(--card);padding:8px 10px;margin:5px 0 0;overflow-x:auto;user-select:text}.solution{background:var(--card);border:1px solid var(--line);padding:11px 13px}.solution pre,.reveal textarea{margin:0;font-family:var(--mono);font-size:12px;white-space:pre-wrap;user-select:text}.reveal textarea{width:100%;background:var(--card);border:1px solid var(--line);color:var(--text);padding:9px 11px;resize:vertical}.cleared{display:flex;align-items:center;gap:9px;font-size:11.5px;background:var(--ok-bg);border-left:2px solid var(--ok);padding:9px 11px}.cleared-mark{display:inline-flex;color:var(--ok)}.search-backdrop{position:fixed;inset:0;background:color-mix(in srgb,var(--bg) 70%,transparent);backdrop-filter:blur(3px);z-index:60;display:flex;justify-content:center;padding-top:14vh}.search-hud{width:min(560px,92vw);height:fit-content;background:var(--panel);border:1px solid var(--line2);border-radius:4px;box-shadow:0 16px 48px #00000052;overflow:hidden}.search-input{display:flex;align-items:center;gap:9px;padding:11px 13px;border-bottom:1px solid var(--line);color:var(--muted)}.search-input input{flex:1;background:transparent;border:0;outline:none;color:var(--text);font-family:var(--mono);font-size:13px}.search-hits{list-style:none;margin:0;padding:4px;max-height:46vh;overflow:auto}.hit{width:100%;text-align:left;background:transparent;border:0;padding:6px 9px;font-size:12px;border-radius:2px}.hit.active{background:var(--card2)}.hit b{width:6px;height:6px;display:inline-block;flex-shrink:0}.hit-title{flex:1}.hit-cat,.hit-tag{font-size:9.5px;color:var(--faint)}.hit-tag{color:var(--accent);border:1px solid var(--line);padding:0 4px}.hit-empty{padding:10px;font-size:11.5px;color:var(--faint)}.progress-menu{position:relative}.menu-pop{position:absolute;right:0;top:calc(100% + 5px);background:var(--panel);border:1px solid var(--line2);border-radius:3px;padding:4px;display:grid;gap:2px;min-width:190px;z-index:20;box-shadow:0 8px 24px #00000047}.menu-pop button{background:transparent;border:0;width:100%;justify-content:flex-start;font-size:11.5px;padding:6px 8px}.menu-pop button:hover{background:var(--card2)}.menu-pop hr{border:0;border-top:1px solid var(--line);margin:3px 0}.menu-pop .quiet{color:var(--faint)}.menu-pop .danger{color:var(--no)}.menu-msg{margin:4px 6px 2px;font-size:10.5px;color:var(--muted)}@media(max-width:860px){.app{flex-direction:column}.drawer{position:fixed;inset:auto 0 0;width:100%;height:78vh;flex:none;border-left:0;border-top:1px solid var(--line2);z-index:50}.brand p,.toolbar .ghost-btn span,.toolbar kbd{display:none}}.editor-skeleton{margin:0;padding:10px 14px;background:var(--card);border:1px solid var(--line);font-size:12.5px;line-height:1.6;color:var(--muted);white-space:pre-wrap;min-height:120px}.tok-kw{color:var(--tok-kw);font-weight:600}.tok-fn{color:var(--tok-fn);font-weight:600}.tok-str{color:var(--tok-str)}.tok-num{color:var(--tok-num)}.tok-com{color:var(--tok-com);font-style:italic}.tok-punc{color:var(--tok-punc)}.tok-op{color:var(--tok-op)}.tok-bad{color:var(--no)}.sect.lap{border-top:1px solid var(--accent-line);margin-top:28px;padding-top:14px;color:var(--accent)}.sect.lap span:last-child{color:var(--faint)}.lap-head{display:flex;justify-content:space-between;align-items:baseline;gap:10px;font-size:9.5px;letter-spacing:.12em;color:var(--muted);margin:2px 0 6px;width:100%}.lap-head.second{border-top:1px solid var(--accent-line);margin-top:10px;padding-top:10px;color:var(--accent)}.lap-head .togo{color:var(--faint);letter-spacing:0}.step.not-yet{opacity:.45}.step.not-yet:hover{opacity:.8}.stepper .lap-row{width:100%;list-style:none}.sidequest{display:flex;gap:9px;align-items:flex-start;margin:12px 0 0;padding:9px 11px;border:1px solid var(--line);border-left:2px solid var(--accent-line);border-radius:5px;background:var(--accent-bg);font-size:12px}.sidequest>svg{flex:none;margin-top:2px;color:var(--accent)}.sidequest b{display:block;font-weight:600;color:var(--text)}.sidequest ul{margin:5px 0 0;padding:0;list-style:none}.sidequest li{color:var(--muted);padding:2px 0}.sidequest li a{color:var(--accent);text-transform:capitalize;margin-right:6px}.sidequest li a:after{content:" →"}.node-card{position:absolute;z-index:4;pointer-events:none;width:280px;padding:9px 11px;border:1px solid var(--line2);border-radius:6px;background:var(--panel);box-shadow:0 8px 24px #00000059;font-size:12px;line-height:1.5}.node-card-cat{display:inline-flex;align-items:center;gap:5px;font-size:9px;letter-spacing:.1em;text-transform:uppercase;color:var(--muted)}.node-card-cat:before{content:"";width:7px;height:7px;border-radius:1px;background:var(--c)}.node-card b{display:block;margin-top:3px;font-weight:600;color:var(--text)}.node-card p{margin:4px 0 0;color:var(--muted);display:-webkit-box;-webkit-line-clamp:3;-webkit-box-orient:vertical;overflow:hidden}