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