:root{--bg: #f7f8fa;--panel: #ffffff;--ink: #1a2230;--ink-soft: #51607a;--line: #e2e8f0;--accent: #1e3a8a;--syntax: #2563eb;--proof: #7c3aed;--semantics: #059669;--coding: #d97706;--metatheory: #dc2626;--ok-bg: #ecfdf5;--ok-line: #10b981;--bad-bg: #fef2f2;--bad-line: #ef4444;--sidebar-w: 300px;--radius: 10px}*{box-sizing:border-box}html,body,#root{height:100%;margin:0}body{font-family:Iowan Old Style,Palatino Linotype,Georgia,serif;color:var(--ink);background:var(--bg);line-height:1.6}code,kbd,.mono{font-family:ui-monospace,SF Mono,Menlo,Consolas,monospace}.app{display:grid;grid-template-columns:var(--sidebar-w) 1fr;height:100%}.skip-link{position:absolute;left:-999px;top:0;z-index:100;background:var(--ink);color:#fff;padding:8px 14px}.skip-link:focus{left:8px;top:8px}.sidebar{background:var(--panel);border-right:1px solid var(--line);display:flex;flex-direction:column;overflow-y:auto}.sidebar-head{padding:22px 20px 12px;border-bottom:1px solid var(--line)}.brand{font-size:20px;margin:0;letter-spacing:.2px}.brand-sub{font-size:12.5px;color:var(--ink-soft);margin:6px 0 0}.nav-list{list-style:none;margin:0;padding:10px 8px;flex:1}.nav-item{display:grid;grid-template-columns:14px auto 1fr auto;align-items:center;gap:8px;padding:9px 12px;border-radius:8px;text-decoration:none;color:var(--ink);font-size:13.5px}.nav-item:hover{background:#f1f5f9}.nav-item.active{background:#eef2ff;color:var(--accent);font-weight:600}.nav-stage{font-size:11px;color:var(--ink-soft);text-transform:uppercase;letter-spacing:.5px}.nav-item.active .nav-stage{color:var(--accent)}.nav-title{font-family:var(--font-ui, inherit)}.nav-dot{width:9px;height:9px;border-radius:50%;background:#cbd5e1}.dot-visited{background:var(--syntax)}.dot-mastered{background:var(--semantics)}.nav-check{color:var(--semantics);font-weight:700}.nav-soon{font-size:10px;color:#94a3b8;text-transform:uppercase}.nav-upcoming{color:#94a3b8;cursor:default}.nav-upcoming .nav-stage{color:#b6c0cf}.sidebar-foot{padding:14px;border-top:1px solid var(--line)}.glossary-btn{width:100%;padding:10px;border:1px solid var(--line);background:#fff;border-radius:8px;cursor:pointer;font-size:14px}.glossary-btn:hover{background:#f8fafc}kbd{border:1px solid var(--line);border-bottom-width:2px;border-radius:5px;padding:0 5px;font-size:11px;background:#f8fafc;color:var(--ink-soft)}.main{overflow-y:auto;outline:none}.lesson{max-width:820px;margin:0 auto;padding:38px 40px 90px}.lesson-head{margin-bottom:26px}.lesson-stage-badge{display:inline-block;font-size:11px;letter-spacing:1px;text-transform:uppercase;color:#fff;background:var(--accent);padding:3px 10px;border-radius:20px}.lesson-title{font-size:31px;margin:12px 0 8px;line-height:1.2}.lesson-summary{font-size:17px;color:var(--ink-soft);margin:0}.lesson-prereq{font-size:13px;color:var(--ink-soft);margin-top:10px}.lesson-block{margin:30px 0}.lesson-block h3{font-size:14px;text-transform:uppercase;letter-spacing:.8px;color:var(--accent);border-bottom:1px solid var(--line);padding-bottom:6px;margin:0 0 14px}.prose{font-size:17px}.rich-p{margin:0 0 14px}.objectives{margin:0;padding-left:20px}.objectives li{margin:5px 0}.definitions{margin:0}.def{display:grid;grid-template-columns:160px 1fr;gap:14px;padding:10px 0;border-bottom:1px dashed var(--line)}.def dt{font-weight:700;font-style:italic}.def dd{margin:0}.def-example{font-size:14.5px;color:var(--ink-soft);margin-top:4px}.confusions{display:grid;gap:14px}.confusion{border:1px solid var(--line);border-radius:var(--radius);overflow:hidden}.confusion-wrong,.confusion-right{padding:12px 14px;font-size:15.5px}.confusion-wrong{background:var(--bad-bg)}.confusion-right{background:var(--ok-bg);border-top:1px solid var(--line)}.confusion-tag{display:inline-block;font-size:10.5px;text-transform:uppercase;letter-spacing:.6px;padding:2px 7px;border-radius:5px;margin-right:8px;vertical-align:middle;font-family:ui-monospace,monospace}.tag-wrong{background:var(--bad-line);color:#fff}.tag-right{background:var(--ok-line);color:#fff}.viz{margin:0;border:1px solid var(--line);border-radius:var(--radius);background:var(--panel);overflow:hidden}.viz-title{padding:12px 16px;font-weight:600;border-bottom:1px solid var(--line);background:#fbfcfe}.viz-summary{padding:10px 16px;border-top:1px solid var(--line);font-size:14px;color:var(--ink-soft)}.viz-summary summary{cursor:pointer}.typed-graph{display:flex;flex-direction:column}.tg-canvas{height:460px}.flow-node{width:100%}.flow-handle{opacity:0;pointer-events:none;width:1px;height:1px;min-width:0;min-height:0;border:0;background:transparent}.flow-edge-label{position:absolute;font-size:10px;line-height:1.3;padding:0 3px;background:#ffffffd9;border-radius:3px;white-space:nowrap;pointer-events:all;cursor:help}.concept-graph-view,.derivation-view{display:flex;flex-direction:column;height:100%;position:relative}.cgv-head{padding:4px 4px 10px}.graph-view-switch{display:inline-flex;margin:0 0 12px;border:1px solid var(--line);border-radius:7px;overflow:hidden}.graph-view-switch a{padding:6px 10px;color:var(--ink-soft);text-decoration:none;font-size:13px;border-left:1px solid var(--line)}.graph-view-switch a:first-child{border-left:none}.graph-view-switch a:hover,.graph-view-switch a.is-active{background:#eef2ff;color:var(--accent);font-weight:600}.cgv-head h2{margin:0 0 4px}.cgv-head p{margin:0 0 8px;color:var(--ink-soft);font-size:14px;max-width:70ch}.cgv-legend{display:flex;gap:18px;flex-wrap:wrap;list-style:none;margin:0;padding:0;font-size:12.5px;color:var(--ink-soft)}.cgv-legend li{display:flex;align-items:center;gap:7px}.cgv-key{width:26px;height:0;flex:none}.cgv-key.solid{border-top:2px solid var(--accent)}.cgv-key.dashed{border-top:2px dashed #94a3b8}.cgv-key.cluster{width:16px;height:14px;border:3px double var(--accent);border-radius:4px}.cgv-kind-swatch{display:inline-block;width:22px;height:3px;border-radius:2px;vertical-align:middle}.cgv-canvas{flex:1;min-height:440px;border:1px solid var(--line);border-radius:10px;overflow:hidden}.dv-canvas{flex:1;min-height:560px;border:1px solid var(--line);border-radius:10px;overflow:hidden}.dv-module{display:flex;flex-direction:column;gap:3px}.dv-module span{color:var(--ink-soft);font-size:10px;text-transform:uppercase}.dv-module strong,.dv-concept{font-size:12px}.dv-key{display:inline-block;width:24px;height:0}.dv-key.introduces{border-top:2px dashed #94a3b8}.dv-key.prerequisite{border-top:3px solid #2563eb}.cg-node-inner{display:flex;flex-direction:column;gap:2px;text-align:left}.cg-node-term{font-size:13px;font-weight:600}.cg-cluster{font-size:9px;color:var(--accent);text-transform:uppercase;letter-spacing:.4px}.cg-enrich{font-size:9px;color:var(--ink-soft);text-transform:uppercase;letter-spacing:.4px}.cgv-toggle{border:1px solid var(--line);background:#fff;border-radius:999px;padding:1px 9px;font:inherit;font-size:12px;cursor:pointer;color:var(--ink-soft)}.cgv-toggle.is-on{background:var(--accent);color:#fff;border-color:var(--accent)}.cgv-enrich-key{font-size:12.5px;color:var(--ink-soft)}.cgv-inspect-role{font-size:11.5px;color:var(--ink-soft);margin-bottom:6px}.cgv-inspect{position:absolute;right:16px;bottom:16px;width:320px;max-width:80vw;background:#fff;border:1px solid var(--line);border-radius:12px;padding:14px 16px;box-shadow:0 10px 32px #0f172a2e;z-index:20}.cgv-close{position:absolute;top:8px;right:10px;border:none;background:none;font-size:18px;cursor:pointer;color:var(--ink-soft)}.cgv-inspect-term{font-weight:700;font-style:italic;font-size:16px;margin-bottom:6px}.cgv-inspect-def{font-size:14px;line-height:1.5}.cgv-inspect-eg{font-size:13px;color:var(--ink-soft);margin-top:5px}.cgv-inspect-meta{font-size:12.5px;color:var(--ink-soft);margin-top:8px;border-top:1px dashed var(--line);padding-top:7px}.cgv-req-list{margin:4px 0 0;padding-left:16px}.cgv-req-list li{margin:2px 0}.cgv-req-list strong{color:var(--ink);font-style:italic}.tg-node-inner{display:flex;flex-direction:column;gap:2px;text-align:left}.tg-node-type{font-size:9px;text-transform:uppercase;letter-spacing:.5px;color:#94a3b8;font-family:ui-monospace,monospace}.tg-node-label{font-size:13px}.tg-legend{display:grid;grid-template-columns:1fr 1fr;gap:16px;padding:14px 16px;border-top:1px solid var(--line);background:#fbfcfe}.tg-legend h4{margin:0 0 8px;font-size:12px;text-transform:uppercase;letter-spacing:.5px;color:var(--ink-soft)}.tg-legend ul{list-style:none;margin:0;padding:0;font-size:12.5px}.tg-legend li{display:flex;align-items:center;gap:8px;margin:5px 0}.swatch{width:13px;height:13px;border-radius:3px;flex:none}.tg-legend code{font-size:11.5px;background:#f1f5f9;padding:1px 5px;border-radius:4px}.parse-tree{padding:18px 20px}.pt-root,.pt-children{list-style:none;margin:0;padding:0}.pt-children{margin-left:22px;border-left:1px dashed var(--line);padding-left:14px}.pt-row{display:flex;align-items:center;gap:8px;padding:4px 0}.pt-toggle{width:20px;height:20px;border:none;background:none;cursor:pointer;color:var(--ink-soft);font-size:13px}.pt-leaf{cursor:default;color:#cbd5e1}.pt-tag{font-size:10px;text-transform:uppercase;letter-spacing:.5px;padding:2px 7px;border-radius:12px;font-family:ui-monospace,monospace;color:#fff}.pt-cat-sentence .pt-tag,.pt-tag.pt-cat-sentence{background:var(--metatheory)}.pt-cat-formula .pt-tag,.pt-tag.pt-cat-formula{background:var(--proof)}.pt-cat-term .pt-tag,.pt-tag.pt-cat-term{background:var(--semantics)}.pt-cat-quantifier .pt-tag,.pt-tag.pt-cat-quantifier{background:var(--coding)}.pt-cat-symbol .pt-tag,.pt-tag.pt-cat-symbol{background:#64748b}.pt-label{font-size:15px}.pt-key{display:flex;gap:8px;flex-wrap:wrap;margin-top:16px;padding-top:12px;border-top:1px solid var(--line)}.pt-malformed{display:flex;align-items:center;gap:10px;flex-wrap:wrap;margin-top:16px;padding:12px 14px;background:var(--bad-bg);border:1px solid #fecaca;border-radius:8px}.pt-malformed-badge{font-size:10.5px;text-transform:uppercase;letter-spacing:.5px;background:var(--bad-line);color:#fff;padding:2px 8px;border-radius:5px}.pt-malformed-input{font-size:16px}.pt-malformed-reason{font-size:13.5px;color:var(--ink-soft)}.parse-explorer{padding:16px 18px}.pe-examples{display:flex;flex-wrap:wrap;gap:8px;margin-bottom:14px}.pe-pick{border:1px solid var(--line);background:#fff;border-radius:8px;padding:6px 12px;cursor:pointer;font:inherit;font-size:15px;color:var(--ink)}.pe-pick:hover{border-color:var(--accent)}.pe-pick.is-active{border-width:2px;box-shadow:0 1px 4px #0f172a1a}.pe-pick.is-active.is-legal{border-color:var(--semantics)}.pe-pick.is-active.is-illegal{border-color:var(--bad-line)}.pe-body{display:grid;grid-template-columns:minmax(260px,1fr) 1.3fr;gap:18px;align-items:start}.pe-rules h5{margin:0 0 8px;font-size:12px;text-transform:uppercase;letter-spacing:.5px;color:var(--ink-soft)}.pe-rules ul{list-style:none;margin:0;padding:0}.pe-rule{display:flex;gap:8px;align-items:baseline;padding:5px 6px;border-radius:6px;font-size:13.5px}.pe-rule.is-used{background:#eef6ff}.pe-rule-id{font-size:11.5px;background:#f1f5f9;padding:1px 5px;border-radius:4px;flex:none}.pe-rule.is-used .pe-rule-id{background:var(--accent);color:#fff}.pe-rule-formula .pe-rule-id{outline:1px solid var(--proof)}.pe-verdict{font-size:13px;font-weight:600;margin-bottom:8px}.pe-verdict.is-legal{color:var(--semantics)}.pe-verdict.is-illegal{color:var(--bad-line)}.pe-by{font-size:10.5px;color:var(--accent);background:#eef2ff;padding:1px 5px;border-radius:4px}.pe-fail{border:1px solid var(--bad-line);border-radius:8px;padding:12px 14px;background:#fff5f5}.pe-fail-at{font-size:14px;margin-bottom:6px}.pe-fail-at code,.pe-fail-rule code{background:#fee2e2;padding:1px 6px;border-radius:4px;font-size:13px}.pe-fail-reason{font-size:13.5px;line-height:1.5;margin-bottom:6px}.pe-fail-rule{font-size:13px;color:var(--ink-soft)}.comparison-table{padding:6px;overflow-x:auto}.comparison-table table{width:100%;border-collapse:collapse;font-size:15px}.comparison-table th,.comparison-table td{padding:11px 14px;text-align:center;border-bottom:1px solid var(--line)}.comparison-table thead th{font-size:13px;color:var(--ink-soft);background:#fbfcfe}.ct-rowlabel{text-align:left;font-weight:600}.cell-value{font-weight:700;display:block}.cell-note{display:block;font-size:11.5px;color:var(--ink-soft);margin-top:2px}.cell-yes .cell-value{color:var(--semantics)}.cell-no .cell-value{color:var(--metatheory)}.cell-na .cell-value{color:#94a3b8}.quiz{border:1px solid var(--line);border-radius:var(--radius);padding:18px;background:var(--panel)}.quiz-progress{font-size:13px;color:var(--ink-soft);margin-bottom:14px}.quiz-q{padding:16px 0;border-top:1px solid var(--line)}.quiz-q:first-of-type{border-top:none;padding-top:0}.quiz-q-prompt{display:flex;gap:10px;font-size:16px;margin-bottom:12px;font-weight:600}.quiz-q-num{background:var(--accent);color:#fff;width:24px;height:24px;border-radius:50%;display:grid;place-items:center;font-size:13px;flex:none}.quiz-options{list-style:none;margin:0;padding:0;display:grid;gap:8px}.quiz-opt{display:block;width:100%;text-align:left;padding:10px 14px;border:1px solid var(--line);border-radius:8px;background:#fff;cursor:pointer;font-size:15px;font-family:inherit}.quiz-opt:hover:not(:disabled){border-color:var(--accent);background:#f8fafc}.quiz-opt:disabled{cursor:default}.quiz-opt-check{display:flex;align-items:center;gap:10px}.opt-correct{background:var(--ok-bg);border-color:var(--ok-line)}.opt-wrong{background:var(--bad-bg);border-color:var(--bad-line)}.quiz-tf{display:flex;gap:10px}.quiz-tf .quiz-opt{width:auto;min-width:90px;text-align:center}.quiz-submit{margin-top:12px;padding:9px 18px;background:var(--accent);color:#fff;border:none;border-radius:8px;cursor:pointer;font-size:14px}.quiz-submit:disabled{background:#cbd5e1;cursor:not-allowed}.quiz-feedback{margin-top:12px;padding:11px 14px;border-radius:8px;font-size:15px}.quiz-feedback.ok{background:var(--ok-bg);border:1px solid var(--ok-line)}.quiz-feedback.bad{background:var(--bad-bg);border:1px solid var(--bad-line)}.quiz-why-wrong{margin-top:8px;padding:10px 14px;background:#fff7ed;border:1px solid #fed7aa;border-radius:8px;font-size:14.5px}.quiz-classify{width:100%;border-collapse:collapse}.quiz-classify td{padding:8px 6px;border-bottom:1px solid var(--line)}.qc-item{font-size:16px}.quiz-classify select{padding:7px 10px;border:1px solid var(--line);border-radius:7px;font-size:14px;font-family:inherit}.row-ok td{background:var(--ok-bg)}.row-bad td{background:var(--bad-bg)}.qc-answer{margin-left:10px;font-size:13px;color:var(--semantics);font-weight:600}.quiz-fillin{display:grid;gap:10px}.fillin-context{font-size:16px;padding:4px 0;color:var(--ink)}.fillin-row{display:flex;gap:10px;align-items:center}.fillin-input{flex:1;padding:10px 12px;border:1px solid var(--line);border-radius:8px;font-size:16px;font-family:ui-monospace,monospace}.fillin-answer{font-size:14px;color:var(--ink-soft)}.quiz-matching{width:100%;border-collapse:collapse}.quiz-matching td{padding:8px 6px;border-bottom:1px solid var(--line)}.qm-left{font-size:16px;width:38%}.qm-arrow{color:var(--ink-soft);width:24px;text-align:center}.quiz-matching select{width:100%;padding:7px 10px;border:1px solid var(--line);border-radius:7px;font-size:14px;font-family:inherit}.mastery{display:flex;gap:14px;align-items:flex-start;padding:18px 20px;border:1px solid var(--line);border-left:4px solid #cbd5e1;border-radius:var(--radius);background:var(--panel);margin:30px 0}.mastery.is-mastered{border-left-color:var(--semantics);background:var(--ok-bg)}.mastery-icon{font-size:22px;color:#94a3b8}.mastery.is-mastered .mastery-icon{color:var(--semantics)}.mastery strong{display:block;font-size:13px;text-transform:uppercase;letter-spacing:.6px;color:var(--ink-soft)}.mastery p{margin:6px 0 0}.mastery-hint,.mastery-done{font-size:13.5px;color:var(--ink-soft)}.lesson-nav{display:flex;justify-content:space-between;gap:14px;margin-top:30px}.lnav{text-decoration:none;padding:12px 16px;border:1px solid var(--line);border-radius:8px;font-size:14px;color:var(--accent);background:#fff;max-width:48%}.lnav:hover{background:#f8fafc}.lnav.next{margin-left:auto;text-align:right}.drawer-scrim{position:fixed;inset:0;background:#0f172a59;opacity:0;pointer-events:none;transition:opacity .2s;z-index:40}.drawer-scrim.show{opacity:1;pointer-events:auto}.glossary-drawer{position:fixed;top:0;right:0;height:100%;width:380px;max-width:90vw;background:var(--panel);border-left:1px solid var(--line);z-index:50;transform:translate(100%);transition:transform .22s ease;display:flex;flex-direction:column}.glossary-drawer.open{transform:translate(0);box-shadow:-8px 0 30px #0f172a1f}.drawer-head{display:flex;justify-content:space-between;align-items:center;padding:16px 18px;border-bottom:1px solid var(--line)}.drawer-head h3{margin:0}.drawer-close{background:none;border:none;font-size:26px;cursor:pointer;color:var(--ink-soft);line-height:1}.drawer-search{margin:12px 16px;padding:9px 12px;border:1px solid var(--line);border-radius:8px;font-size:14px;font-family:inherit}.drawer-body{overflow-y:auto;padding:0 16px 30px}.gloss-entry{padding:13px 0;border-bottom:1px solid var(--line)}.gloss-entry h4{margin:0 0 5px;font-style:italic}.gloss-entry p{margin:4px 0;font-size:14.5px}.gloss-example{color:var(--ink-soft)}.gloss-related{font-size:12.5px;color:var(--ink-soft)}.gloss-tag{display:inline-block;background:#f1f5f9;border-radius:5px;padding:1px 7px;margin:0 4px 4px 0;font-size:11.5px}.gloss-empty{color:var(--ink-soft);padding:16px 0}.coding-encoder{padding:18px 20px}.ce-seq{display:flex;align-items:center;gap:8px;flex-wrap:wrap;margin-bottom:14px}.ce-label{font-size:13px;color:var(--ink-soft)}.ce-cell{display:inline-flex;align-items:center;background:#f8fafc;border:1px solid var(--line);border-radius:8px;padding:2px 6px}.ce-prime{font-family:ui-monospace,monospace;color:var(--coding);font-size:14px}.ce-cell input{width:46px;border:none;background:transparent;font-size:15px;font-family:ui-monospace,monospace}.ce-btn{width:30px;height:30px;border:1px solid var(--line);background:#fff;border-radius:7px;cursor:pointer;font-size:15px}.ce-btn:disabled{opacity:.4;cursor:not-allowed}.ce-eq{margin:8px 0;overflow-x:auto}.ce-product{margin:12px 0;display:flex;gap:8px;align-items:baseline;flex-wrap:wrap}.ce-number{font-size:15px;word-break:break-all;background:#fff7ed;border:1px solid #fed7aa;border-radius:6px;padding:4px 8px;color:var(--coding)}.ce-decode{font-size:14.5px;margin:10px 0}.ce-decode code{background:#f1f5f9;padding:1px 6px;border-radius:5px}.ce-ok{color:var(--semantics);font-weight:600}.ce-bad{color:var(--metatheory);font-weight:600}.ce-note{font-size:13.5px;color:var(--ink-soft);margin:12px 0 0}.godel-loop{padding:18px 20px}.gl-banner{background:var(--coding);color:#fff;font-size:12.5px;padding:7px 12px;border-radius:8px;text-align:center;margin-bottom:16px;letter-spacing:.2px}.gl-stations{list-style:none;margin:0;padding:0;max-width:520px;margin-inline:auto}.gl-station{display:flex;flex-direction:column;align-items:center}.gl-card{width:100%;border:2px solid var(--metatheory);border-radius:10px;background:#fff;padding:12px 16px;text-align:center}.gl-card-main{font-size:17px}.gl-card-sub{font-size:13px;color:var(--ink-soft);margin-top:4px}.gl-arrow{display:flex;flex-direction:column;align-items:center;padding:6px 0;color:var(--coding)}.gl-arrow-label{font-size:12px;font-family:ui-monospace,monospace}.gl-arrow-glyph{font-size:22px;line-height:1}.gl-arrow-loop{color:var(--metatheory);font-weight:700}.gl-foot{font-size:14px;color:var(--ink-soft);margin-top:14px}.gl-foot code{background:#f1f5f9;padding:1px 6px;border-radius:5px;font-size:13px}.md-p{margin:0 0 14px}.md-ul,.md-ol{margin:0 0 14px;padding-left:24px}.md-ul li,.md-ol li{margin:6px 0}.md-table-wrap{overflow-x:auto;margin:0 0 14px}.md-table{border-collapse:collapse;width:100%;font-size:15px}.md-table th,.md-table td{border:1px solid var(--line);padding:8px 12px;text-align:left}.md-table thead th{background:#fbfcfe;font-size:13px;color:var(--ink-soft)}.md-p code,.md-ul code,.md-ol code,.md-table code{background:#f1f5f9;padding:1px 5px;border-radius:5px;font-size:13.5px}.md-code{position:relative;background:#0f172a;color:#e2e8f0;border-radius:10px;padding:14px 16px;overflow-x:auto;margin:0 0 14px;font-size:13px;line-height:1.5}.md-code code{font-family:ui-monospace,SF Mono,Menlo,Consolas,monospace;white-space:pre;background:none;color:inherit;padding:0}.md-code[data-lang]:before{content:attr(data-lang);position:absolute;top:6px;right:10px;font-size:10px;text-transform:uppercase;letter-spacing:.5px;color:#64748b}.def-chip{position:relative;display:inline}.def-chip-trigger{border:none;background:none;padding:0;cursor:pointer;font:inherit;color:var(--accent);border-bottom:1px dotted var(--accent);line-height:1.1}.def-chip-trigger:hover{background:#eef2ff}.def-term{color:var(--accent)}.def-concept{border-bottom:1px dashed var(--accent)}.prereq-pretest{margin-bottom:16px;border-left:3px solid var(--accent);padding-left:2px}.pp-intro{font-size:14px;color:var(--ink-soft);margin:0 0 10px}.pp-link,.pp-review{color:var(--accent)}.pp-checks{display:flex;flex-direction:column;gap:12px}.pp-check{border:1px solid var(--line);border-radius:8px;padding:10px 12px}.pp-check-head{display:flex;justify-content:space-between;align-items:baseline;margin-bottom:6px}.pp-check-term{font-style:italic;font-weight:700;font-size:14px}.pp-review{font-size:12.5px}.pp-nochecks{font-size:13px;color:var(--ink-soft);margin:0}.concept-panel{margin-bottom:16px}.cp-deeper{margin:10px 0 2px;padding-left:12px;border-left:2px solid var(--line)}.cp-deeper>summary{font-size:13px;color:var(--ink-soft)}.cp-list{display:flex;flex-direction:column}.cp-row{display:grid;grid-template-columns:130px 1fr;gap:12px;padding:9px 0;border-top:1px dashed var(--line);align-items:baseline}.cp-row:first-child{border-top:none}.cp-term{font-style:italic;font-weight:700;font-size:14px}.cp-body{margin:0;font-size:14px}.cp-expanded{color:var(--ink-soft);font-size:13.5px;margin-top:3px}.cp-quiz{margin-top:6px}.cp-quiz-toggle{border:1px solid var(--line);background:#f8fafc;padding:2px 9px;border-radius:999px;cursor:pointer;font:inherit;font-size:12px;color:var(--accent)}.cp-quiz-toggle:hover{background:#eef2ff}.def-chip-pop{position:absolute;z-index:30;top:1.7em;left:0;width:290px;max-width:80vw;background:#fff;border:1px solid var(--line);border-radius:10px;padding:11px 13px;box-shadow:0 8px 28px #0f172a29;display:flex;flex-direction:column;gap:5px;font-size:13.5px;line-height:1.5;white-space:normal;text-align:left;cursor:auto}.def-card-name{font-weight:700;font-style:italic}.def-card-example{color:var(--ink-soft)}.def-missing{color:#fff;background:var(--metatheory);padding:0 5px;border-radius:4px;font-family:ui-monospace,monospace;font-size:12px}.rollup{border:1px solid var(--line);border-radius:10px;background:#fbfcfe;margin:0 0 8px}.rollup-summary{cursor:pointer;padding:11px 16px;font-size:13.5px;color:var(--ink-soft);list-style:none;user-select:none}.rollup-summary::-webkit-details-marker{display:none}.rollup-summary:before{content:"▸ ";color:var(--accent)}.rollup[open] .rollup-summary:before{content:"▾ "}.rollup-body{padding:4px 16px 14px}.notation-panel{margin-bottom:24px}.np-count{color:var(--accent);font-weight:600}.np-list{margin:0}.np-row{display:grid;grid-template-columns:110px 1fr;gap:12px;padding:8px 0;border-top:1px dashed var(--line);align-items:baseline}.np-row:first-child{border-top:none}.np-row dt{font-size:16px;text-align:right}.np-row dt.np-term{font-style:italic;font-weight:700;font-size:14px}.np-row dd{margin:0;font-size:14px}.np-example{color:var(--ink-soft);font-size:13px;margin-top:3px}.skill-tree{display:flex;flex-direction:column;height:100%}.st-intro{padding:14px 20px 4px}.st-intro p{margin:0;color:var(--ink-soft);font-size:14px;max-width:76ch}.st-toolbar{display:flex;align-items:center;gap:18px;flex-wrap:wrap;padding:12px 20px;border-bottom:1px solid var(--line);background:var(--panel)}.st-goal{display:flex;align-items:center;gap:8px;font-size:14px}.st-goal select{padding:6px 10px;border:1px solid var(--line);border-radius:7px;font-size:14px;font-family:inherit}.st-goal-text{display:flex;align-items:center;gap:6px}.st-goal-text input{padding:6px 10px;border:1px solid var(--line);border-radius:7px;font-size:13px;font-family:inherit;width:260px;max-width:40vw}.st-goal-text button{padding:6px 12px;border:1px solid var(--accent);background:#eef2ff;color:var(--accent);border-radius:7px;cursor:pointer;font-size:13px}.st-goal-text button:disabled{opacity:.5;cursor:not-allowed}.st-goal-miss{font-size:12px;color:var(--metatheory)}.st-progress{font-size:13px;color:var(--ink-soft)}.st-legend{display:flex;gap:14px;flex-wrap:wrap;margin-left:auto;font-size:12px;color:var(--ink-soft)}.st-legend span{display:inline-flex;align-items:center;gap:5px}.st-legend .sw{width:14px;height:14px;border:2px solid;border-radius:3px;display:inline-block}.st-legend .sw.ring{background:#fff;border-color:#d97706;box-shadow:0 0 0 3px #d9770659}.st-canvas{flex:1;min-height:420px}.st-node-inner{display:flex;flex-direction:column;gap:2px;text-align:left}.st-node-kind{font-size:9px;text-transform:uppercase;letter-spacing:.4px;opacity:.7}.st-node-title{font-size:12.5px;font-weight:600;line-height:1.2}.st-node-desc{font-size:10px;line-height:1.25;opacity:.75;margin:1px 0}.st-node-state{font-size:9px;text-transform:uppercase;letter-spacing:.4px;opacity:.6}.st-intro{max-width:1000px;margin:14px 20px 0;padding:12px 16px;background:#eef2ff;border:1px solid #c7d2fe;border-radius:10px;font-size:14px;color:var(--ink)}.st-why{position:absolute;left:50%;top:120px;transform:translate(-50%);z-index:40;background:#fff;border:1px solid var(--line);border-radius:10px;padding:16px 20px;box-shadow:0 10px 30px #0f172a2e;max-width:340px;font-size:14px}.st-why-close{position:absolute;top:6px;right:10px;border:none;background:none;font-size:20px;cursor:pointer;color:var(--ink-soft)}.st-why ul{margin:6px 0 0;padding-left:18px}.node-detail{max-width:880px;margin:0 auto}.nd-bar{display:flex;align-items:center;gap:14px;padding:14px 40px;border-bottom:1px solid var(--line);position:sticky;top:0;background:var(--bg);z-index:5}.nd-back{text-decoration:none;color:var(--accent);font-size:14px}.nd-branch{font-size:11px;text-transform:uppercase;letter-spacing:.5px;color:var(--ink-soft)}.nd-kind{margin-left:auto;font-size:11px;text-transform:uppercase;letter-spacing:.5px;color:#fff;background:var(--accent);padding:2px 9px;border-radius:12px}.nd-complete{padding:18px 40px 60px}.nd-complete-btn{padding:11px 20px;background:var(--semantics);color:#fff;border:none;border-radius:8px;font-size:15px;cursor:pointer}.nd-complete-btn:disabled{background:#cbd5e1;cursor:not-allowed}.nd-passed{color:var(--semantics);font-weight:600}.achievement{padding:30px 40px 0}.ach-badge{background:var(--coding)}.ach-meta{display:flex;gap:16px;flex-wrap:wrap;margin:10px 0 4px;font-size:13px;color:var(--ink-soft)}.ach-fmt{font-weight:600}.ach-fatal{margin:0;padding-left:20px}.ach-fatal li{margin:5px 0;color:var(--metatheory)}.ach-answer{width:100%;margin-top:10px;padding:12px;border:1px solid var(--line);border-radius:8px;font-size:15px;font-family:inherit;resize:vertical}.ach-rubric{margin-top:10px}.ach-rubric ul{padding-left:20px}.ach-attest{display:block;margin-top:12px;font-size:14px}.ach-note{color:var(--ink-soft)}.ach-blocked{font-size:13px;color:var(--ink-soft);margin-top:8px}.tree-link{display:block;margin:12px 14px 6px;padding:10px 14px;border:1px solid var(--line);border-radius:8px;text-decoration:none;color:var(--accent);font-weight:600;font-size:14px}.tree-link.active,.tree-link:hover{background:#eef2ff}.sidebar-goal{margin:6px 14px 10px;padding:10px 14px;background:#fbfcfe;border:1px solid var(--line);border-radius:8px;display:flex;flex-direction:column;gap:2px}.sg-label{font-size:10px;text-transform:uppercase;letter-spacing:.5px;color:var(--ink-soft)}.sg-title{font-size:14px;font-weight:600;color:var(--coding)}.sg-progress{font-size:12px;color:var(--ink-soft)}.nav-section{padding:8px 20px 2px;font-size:11px;text-transform:uppercase;letter-spacing:.5px;color:var(--ink-soft)}.dot-available{background:var(--syntax)}.dot-locked{background:#e2e8f0}.dot-current{background:var(--coding);box-shadow:0 0 0 3px #d9770640}.nav-rec{color:var(--coding)}.judge-result{margin-top:14px;padding:14px 16px;border-radius:10px;border:1px solid var(--line)}.judge-result.ok{background:var(--ok-bg);border-color:var(--ok-line)}.judge-result.bad{background:var(--bad-bg);border-color:var(--bad-line)}.jr-head{display:flex;gap:16px;align-items:baseline;flex-wrap:wrap}.jr-verdict{font-weight:700;font-size:15px}.judge-result.ok .jr-verdict{color:var(--semantics)}.judge-result.bad .jr-verdict{color:var(--metatheory)}.jr-score{font-family:ui-monospace,monospace;font-weight:600}.jr-conf{font-size:12px;color:var(--ink-soft)}.jr-feedback{margin:10px 0 0;font-size:15px}.jr-misc{font-size:13px;color:var(--metatheory);font-family:ui-monospace,monospace;margin:8px 0 0}.jr-remed{font-size:14px;margin:8px 0 0}.jr-remed a{color:var(--accent)}.jr-followup{font-size:14px;margin:10px 0 0;background:#fff7ed;border:1px solid #fed7aa;border-radius:8px;padding:8px 12px}.ach-degraded{margin-top:12px;padding:12px 14px;background:#fffbeb;border:1px solid #fde68a;border-radius:8px;font-size:14px}.tex-error{color:var(--metatheory);font-family:ui-monospace,monospace}.lesson-block-h{display:flex;align-items:center;gap:8px}.lesson-block-h>span{flex:0 1 auto}.lesson-block-flagbar{display:flex;justify-content:flex-end;margin:-4px 0 4px}.sf-anchor{position:relative;display:inline-flex;flex:0 0 auto;vertical-align:middle}.sf-flag{display:inline-flex;align-items:center;gap:3px;border:1px solid transparent;background:none;cursor:pointer;font-size:13px;line-height:1;padding:3px 5px;border-radius:7px;opacity:.35;transition:opacity .12s ease,background .12s ease;color:var(--ink-soft)}.lesson-block:hover .sf-flag,.sf-flag:focus-visible,.sf-flag.has-notes{opacity:1}.sf-flag:hover{background:#eef2ff;border-color:var(--line)}.sf-flag.has-notes{color:var(--coding)}.sf-flag.saved{background:var(--ok-bg);border-color:var(--ok-line);opacity:1}.sf-count{font-family:ui-monospace,monospace;font-size:10px;font-weight:700;background:var(--coding);color:#fff;border-radius:8px;padding:0 5px;min-width:14px;text-align:center}.sf-popover{position:absolute;top:calc(100% + 6px);right:0;z-index:60;width:260px;background:var(--panel);border:1px solid var(--line);border-radius:10px;box-shadow:0 8px 28px #141e3c29;padding:12px;display:flex;flex-direction:column;gap:10px;font-family:system-ui,sans-serif}.sf-pop-head{font-size:12px;font-weight:700;text-transform:uppercase;letter-spacing:.4px;color:var(--ink-soft)}.sf-field{display:flex;flex-direction:column;gap:4px;font-size:13px}.sf-field-label{font-size:11px;color:var(--ink-soft)}.sf-field select,.sf-field textarea{font:inherit;font-size:13px;padding:6px 8px;border:1px solid var(--line);border-radius:7px;width:100%;background:#fff;color:var(--ink);resize:vertical}.sf-pop-actions{display:flex;justify-content:flex-end;gap:8px}.sf-btn{font:inherit;font-size:12.5px;font-family:system-ui,sans-serif;border:1px solid var(--line);background:#fff;color:var(--ink);padding:6px 11px;border-radius:7px;cursor:pointer}.sf-btn:hover{background:#f1f5f9}.sf-btn:disabled{opacity:.45;cursor:not-allowed}.sf-btn.primary{background:var(--accent);border-color:var(--accent);color:#fff}.sf-btn.primary:hover{background:#16306e}.sf-btn.ghost{color:var(--ink-soft)}.sf-btn.danger{color:var(--metatheory);border-color:#fecaca}.sf-btn.danger:hover{background:var(--bad-bg)}.sf-panel-root{position:fixed;right:16px;bottom:16px;z-index:70;font-family:system-ui,sans-serif}.sf-panel-toggle{font:inherit;font-size:13px;font-weight:600;cursor:pointer;background:var(--panel);border:1px solid var(--line);color:var(--ink);border-radius:999px;padding:9px 15px;box-shadow:0 4px 14px #141e3c24}.sf-panel-toggle:hover{background:#f1f5f9}.sf-panel{position:absolute;right:0;bottom:calc(100% + 8px);width:320px;max-height:60vh;overflow-y:auto;background:var(--panel);border:1px solid var(--line);border-radius:12px;box-shadow:0 12px 36px #141e3c33;padding:12px 14px}.sf-panel-head{display:flex;align-items:center;justify-content:space-between;margin-bottom:8px}.sf-panel-close{border:none;background:none;font-size:20px;line-height:1;cursor:pointer;color:var(--ink-soft);padding:0 4px}.sf-empty{font-size:13px;color:var(--ink-soft);margin:6px 0 12px}.sf-list{list-style:none;margin:0 0 10px;padding:0;display:flex;flex-direction:column;gap:8px}.sf-item{border:1px solid var(--line);border-radius:9px;padding:8px 10px;background:#fbfcfe}.sf-item-row{display:flex;align-items:center;gap:8px}.sf-item-sec{flex:1;font-size:13px;font-weight:600;color:var(--ink)}.sf-del{border:none;background:none;cursor:pointer;color:var(--ink-soft);font-size:16px;line-height:1;padding:0 2px}.sf-del:hover{color:var(--metatheory)}.sf-item-note{margin:6px 0 0;font-size:12.5px;color:var(--ink-soft)}.sf-tag{font-size:10.5px;font-weight:700;text-transform:uppercase;letter-spacing:.3px;border-radius:6px;padding:2px 6px;color:#fff}.sf-tag.tag-confusing{background:var(--coding)}.sf-tag.tag-boring{background:var(--ink-soft)}.sf-tag.tag-wrong{background:var(--metatheory)}.sf-tag.tag-missing{background:var(--proof)}.sf-tag.tag-other{background:var(--syntax)}.sf-panel-actions{display:flex;flex-wrap:wrap;gap:6px}@media (max-width: 820px){.app{grid-template-columns:1fr}.sidebar{position:sticky;top:0;max-height:38vh}.lesson{padding:24px 18px 70px}.def{grid-template-columns:1fr;gap:2px}.tg-legend{grid-template-columns:1fr}.sf-popover{width:min(260px,80vw)}.sf-panel{width:min(320px,90vw)}}