: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}.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)}.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-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-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}@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}}