:root{color-scheme:light dark;--bg: #f4f1ea;--surface: #fffdf8;--text: #1f1c18;--muted: #5f574f;--border: #d8d0c4;--accent: #2f5d50;--accent-soft: #e2eee9;--wrong-soft: #fde9e7;--wrong-text: #8a2f28;--correct-soft: #e7f3ea;--correct-text: #245c31;--tap-min: 44px;font-family:Segoe UI,system-ui,sans-serif;line-height:1.45}*{box-sizing:border-box}body{margin:0;background:var(--bg);color:var(--text)}button{font:inherit}.app{max-width:26rem;margin:0 auto;padding:1rem 1rem 2rem}.app-header h1{margin:.15rem 0 .35rem;font-size:1.6rem}.header-row{display:flex;align-items:center;justify-content:space-between;gap:.75rem}.language-toggle{display:inline-flex;border:1px solid var(--border);border-radius:999px;overflow:hidden;flex-shrink:0}.lang-button{min-width:var(--tap-min);min-height:2rem;padding:.25rem .75rem;border:0;background:transparent;color:var(--muted);cursor:pointer;font-size:.8rem;font-weight:600;letter-spacing:.04em}.lang-button.active{background:var(--accent-soft);color:var(--accent)}.lang-button:not(.active):hover,.lang-button:not(.active):focus-visible{background:var(--border);color:var(--text)}.eyebrow,.queue-meta,.panel-title{margin:0;color:var(--muted);font-size:.875rem}.mode-nav{display:grid;grid-template-columns:1fr 1fr;gap:.5rem;margin:.75rem 0}.mode-nav-three{grid-template-columns:1fr 1fr 1fr}.mode-button{min-height:var(--tap-min);border:1px solid var(--border);border-radius:.75rem;background:#fff;color:var(--muted);cursor:pointer;font-weight:600}.mode-button.active{border-color:var(--accent);background:var(--accent-soft);color:var(--accent)}.mode-button:not(:disabled):focus-visible,.lang-button:focus-visible,.node-button:focus-visible,.atom-segment:focus-visible,.primary:focus-visible,.secondary:focus-visible,.palette-button:focus-visible,.reference-panel summary:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.mode-button:disabled{opacity:.55;cursor:not-allowed}.reference-panel{margin-top:.75rem;border:1px solid var(--border);border-radius:.75rem;background:var(--surface)}.reference-panel summary{min-height:var(--tap-min);display:flex;align-items:center;padding:.65rem .85rem;cursor:pointer;font-size:.875rem;color:var(--muted)}.reference-body{padding:0 .85rem .85rem}.reference-list{list-style:none;margin:0;padding:0;display:grid;gap:.65rem}.reference-item{padding-top:.35rem;border-top:1px solid var(--border)}.reference-item:first-child{border-top:0;padding-top:0}.reference-symbol{display:inline-block;font-family:Fira Code,Cascadia Code,monospace;font-weight:700;margin-right:.35rem}.reference-name{font-weight:600;font-size:.9rem}.reference-summary{margin:.2rem 0 0;font-size:.875rem;color:var(--muted)}.lesson-card,.exercise-card{margin-top:1rem;padding:1rem;border:1px solid var(--border);border-radius:1rem;background:var(--surface)}.lesson-card-title{margin:0 0 .75rem;font-size:1.1rem}.lesson-body{margin:0 0 .65rem}.lesson-example,.step-meta{margin:0 0 .75rem;padding:.75rem;border-radius:.75rem;background:var(--accent-soft);font-family:Fira Code,Cascadia Code,monospace;font-size:.875rem;white-space:pre-wrap;overflow-wrap:anywhere}.step-meta{background:transparent;padding:0;font-family:inherit;color:var(--muted);font-size:.875rem}.node-readonly{cursor:default}.exercise-card{margin-top:1rem}.progress-card{margin-top:1rem;padding:1rem;border:1px solid var(--border);border-radius:1rem;background:var(--surface)}.continue-card,.what-next-card{border-color:var(--accent);background:var(--accent-soft)}.progress-meta{margin:0 0 .75rem;color:var(--muted);font-size:.875rem}.progress-meta.review-due{color:var(--accent);font-weight:600}.progress-list,.progress-stats{list-style:none;margin:0;padding:0;display:grid;gap:.5rem}.progress-item{display:flex;justify-content:space-between;gap:.75rem;padding:.5rem 0;border-bottom:1px solid var(--border);font-size:.9rem}.progress-item:last-child{border-bottom:0}.progress-item.done .progress-item-label{color:var(--muted)}.progress-item-status{color:var(--muted);font-size:.8rem;text-transform:lowercase}.progress-empty{margin:0;color:var(--muted);font-size:.875rem}.progress-stats li{font-size:.875rem;padding:.35rem 0}.progress-actions{display:grid;gap:.5rem}.progress-notice{margin:0 0 .75rem;padding:.65rem .75rem;border-radius:.5rem;font-size:.875rem}.progress-notice-success{color:var(--accent);background:var(--accent-soft);border:1px solid var(--accent)}.progress-notice-error{color:#b42318;background:#fef3f2;border:1px solid #fecdca}.concept-map-graph-wrap{overflow-x:auto;-webkit-overflow-scrolling:touch}.concept-map-graph{display:block;width:100%;min-width:17rem;height:auto}.concept-map-edge{fill:none;stroke:var(--border);stroke-width:1.5}.concept-map-node rect{stroke-width:1.5}.concept-map-node-label{font-size:.68rem;font-weight:600;pointer-events:none}.concept-map-node-completed rect{fill:var(--correct-soft);stroke:var(--correct-text)}.concept-map-node-completed .concept-map-node-label{fill:var(--correct-text)}.concept-map-node-available rect{fill:var(--accent-soft);stroke:var(--accent)}.concept-map-node-available .concept-map-node-label{fill:var(--accent)}.concept-map-node-locked rect{fill:var(--surface);stroke:var(--border);stroke-dasharray:4 3}.concept-map-node-locked .concept-map-node-label{fill:var(--muted)}.concept-map-legend{list-style:none;margin:.75rem 0 0;padding:0;display:flex;flex-wrap:wrap;gap:.65rem 1rem;font-size:.75rem;color:var(--muted)}.concept-map-legend li{display:inline-flex;align-items:center;gap:.35rem}.concept-map-swatch{width:.85rem;height:.85rem;border-radius:.25rem;border:1.5px solid var(--border);flex-shrink:0}.concept-map-swatch.concept-map-node-completed{background:var(--correct-soft);border-color:var(--correct-text)}.concept-map-swatch.concept-map-node-available{background:var(--accent-soft);border-color:var(--accent)}.concept-map-swatch.concept-map-node-locked{background:var(--surface);border-style:dashed}#concept-map-arrow path{fill:var(--border)}.exercise-prompt{margin:0 0 .75rem;font-size:1rem}.formula-display{margin:0 0 1rem;padding:.75rem;border-radius:.75rem;background:var(--accent-soft);font-family:Fira Code,Cascadia Code,monospace;font-size:.95rem;overflow-wrap:anywhere}.tree-panel{margin-bottom:1rem}.tree-root,.tree-children{list-style:none;margin:0;padding-left:0}.tree-children{margin-top:.35rem;padding-left:1rem;border-left:2px solid var(--border)}.tree-node:has(>.tree-children)>.node-button{margin-left:1rem}.tree-node{margin:.35rem 0}.node-button{display:inline-flex;align-items:center;gap:.5rem;min-height:var(--tap-min);padding:.5rem .75rem;border:1px solid var(--border);border-radius:.75rem;background:#fff;color:var(--text)}.tree-node.tappable .node-button{cursor:pointer}.node-readonly.node-button{cursor:default;border-style:dashed}.tree-node.selected .node-button{border-color:var(--accent);box-shadow:0 0 0 2px var(--accent-soft)}.node-label{font-family:Fira Code,Cascadia Code,monospace;font-size:1rem;flex:0 0 1.5rem;text-align:center}.node-value{min-width:1.5rem;padding:.1rem .45rem;border-radius:999px;font-family:Fira Code,Cascadia Code,monospace;font-size:.85rem;font-weight:700}.node-value-computed{background:var(--accent-soft);color:var(--accent)}.node-value-assigned{background:var(--surface);border:1px solid var(--border);color:var(--text)}.assignment-line{margin:0 0 .75rem;font-family:Fira Code,Cascadia Code,monospace;font-size:.9rem;color:var(--muted)}.truth-table-wrap{margin-bottom:1rem;overflow-x:auto}.truth-table{width:100%;border-collapse:separate;border-spacing:0;font-family:Fira Code,Cascadia Code,monospace;font-size:.95rem}.truth-table th,.truth-table td{text-align:center;padding:.65rem .5rem;border:1px solid var(--border)}.truth-table thead th{background:var(--surface);color:var(--muted);font-weight:600}.truth-table tbody td,.truth-table tbody th{background:#fff}.truth-table-row.active td,.truth-table-row.active th{background:var(--accent-soft)}.truth-table-row:not(.active){opacity:.65}.truth-table-static .truth-table-row{opacity:1}.tautology-choice{margin-top:.75rem}.tautology-segments{display:grid;grid-template-columns:1fr 1fr;gap:.5rem}.tautology-segment{min-height:var(--tap-min);padding:.65rem .75rem;border:1px solid var(--border);border-radius:.65rem;background:#fff;color:var(--text);cursor:pointer;font-size:.9rem;font-weight:600;line-height:1.3}.tautology-segment:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.truth-table-row.active .result-cell{color:var(--accent);font-weight:700}.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}.atom-panel{margin-bottom:1rem}.atom-panel-hint{margin:0 0 .75rem;color:var(--muted);font-size:.875rem}.atom-rows{display:grid;gap:.5rem}.atom-row{display:flex;align-items:center;justify-content:space-between;gap:.75rem}.atom-row.disabled{opacity:.45}.atom-segments{display:grid;grid-template-columns:1fr 1fr;gap:.35rem;flex:1;max-width:9rem}.atom-segment{min-height:var(--tap-min);padding:.5rem .75rem;border:1px solid var(--border);border-radius:.65rem;background:#fff;color:var(--muted);cursor:pointer;font-family:Fira Code,Cascadia Code,monospace;font-size:.95rem;font-weight:700}.atom-segment.active.true{border-color:var(--accent);background:var(--accent-soft);color:var(--accent)}.atom-segment.active.false{border-color:var(--wrong-text);background:var(--wrong-soft);color:var(--wrong-text)}.atom-segment:disabled{cursor:not-allowed}.atom-name{font-family:Fira Code,Cascadia Code,monospace;font-size:1rem;font-weight:600;min-width:1.5rem}.feedback{margin:0 0 1rem;padding:.75rem;border-radius:.75rem;font-size:.95rem}.feedback-correct{background:var(--correct-soft);color:var(--correct-text)}.feedback-wrong{background:var(--wrong-soft);color:var(--wrong-text)}.feedback-info{background:var(--accent-soft);color:var(--text)}.actions{display:grid;gap:.5rem}.primary,.secondary{min-height:var(--tap-min);border-radius:.75rem;border:1px solid var(--border);cursor:pointer}.primary{border-color:var(--accent);background:var(--accent);color:#fff}.secondary{background:#fff;color:var(--text)}@media(prefers-color-scheme:dark){:root{--bg: #151311;--surface: #1f1b18;--text: #f6f1ea;--muted: #b7aea3;--border: #3a342f;--accent: #79b8a8;--accent-soft: #24312d;--wrong-soft: #3a2422;--wrong-text: #ffb4ab;--correct-soft: #203025;--correct-text: #9fd5a9}.node-button,.atom-segment,.secondary,.mode-button{background:#171412}}.symbol-palette{margin-top:1rem}.palette-row{display:flex;flex-wrap:wrap;gap:.5rem;margin-bottom:.75rem}.palette-button{min-width:44px;min-height:44px;padding:.5rem .75rem;border:1px solid #ccc;border-radius:8px}.built-formula{font-family:ui-monospace,monospace;font-size:1.25rem}.what-next-detail{margin:0 0 .5rem;font-size:.95rem;line-height:1.5}.onboarding-overlay{min-height:100dvh;display:flex;align-items:center;justify-content:center;padding:1rem;background:var(--bg)}.onboarding-card{width:100%;max-width:26rem;padding:1.25rem;border:1px solid var(--border);border-radius:1rem;background:var(--surface)}.onboarding-step{margin:0 0 .5rem;color:var(--muted);font-size:.8rem;text-transform:uppercase}.onboarding-title{margin:0 0 .75rem;font-size:1.5rem}.onboarding-body{margin:0 0 1rem;font-size:.95rem;line-height:1.5}.onboarding-visual{margin:0 0 1.25rem;padding:1rem;border:1px solid var(--border);border-radius:.75rem;background:var(--bg)}.onboarding-actions{display:grid;gap:.5rem}.onboarding-tree-demo{display:flex;flex-direction:column;align-items:center;gap:.5rem}.onboarding-tree-row{display:flex;gap:2rem}.onboarding-tree-node{display:inline-flex;align-items:center;justify-content:center;min-width:2rem;min-height:2rem;border:1px solid var(--border);border-radius:.5rem;font-family:ui-monospace,monospace;padding:.25rem .5rem}.onboarding-tree-node.root{border-color:var(--accent);background:var(--accent-soft);font-weight:600}.onboarding-segment-demo{display:flex;align-items:center;justify-content:center;gap:.35rem}.onboarding-segment-label{margin-right:.35rem;font-family:ui-monospace,monospace;font-weight:600}.onboarding-segment{display:inline-flex;align-items:center;justify-content:center;min-width:var(--tap-min);min-height:var(--tap-min);border:1px solid var(--border);border-radius:.5rem;font-weight:600}.onboarding-segment.active{border-color:var(--accent);background:var(--accent-soft);color:var(--accent)}.onboarding-nav-demo{display:grid;grid-template-columns:repeat(3,1fr);gap:.35rem}.onboarding-nav-item{padding:.5rem .25rem;border:1px solid var(--border);border-radius:.5rem;font-size:.75rem;text-align:center}.onboarding-nav-item.active{border-color:var(--accent);background:var(--accent-soft);font-weight:600}.proof-panel{margin-top:.75rem}.proof-lines{list-style:none;margin:0;padding:0;display:grid;gap:.5rem}.proof-line{display:grid;grid-template-columns:1fr auto;gap:.5rem;align-items:center;padding:.5rem .65rem;border:1px solid var(--border);border-radius:.65rem;background:var(--surface)}.proof-line-missing{border-style:dashed;background:var(--accent-soft)}.proof-line-head{display:flex;align-items:center;gap:.5rem;min-width:0}.proof-line-num{display:inline-flex;align-items:center;justify-content:center;min-width:var(--tap-min);min-height:var(--tap-min);font-weight:600}.proof-formula{font-family:ui-monospace,monospace;font-size:1rem;overflow-wrap:anywhere}.proof-just{font-size:.8rem;color:var(--muted);text-align:right}.proof-palette{margin-top:1rem}.proof-rule-row{display:flex;flex-wrap:wrap;gap:.5rem}.proof-rule-btn,.proof-cite-chip{min-width:var(--tap-min);min-height:var(--tap-min);padding:.5rem .75rem;border:1px solid var(--border);border-radius:.65rem;background:#fff;cursor:pointer;font-size:.9rem}.proof-rule-btn.selected,.proof-cite-chip.selected{border-color:var(--accent);background:var(--accent-soft);color:var(--accent);font-weight:600}.proof-hint{margin:.5rem 0 0;font-size:.85rem;color:var(--muted)}