.language-toggle .lang-button{min-height:var(--tap-min)}.tree-node.selected>.tree-children .node-button{border-color:var(--border);box-shadow:none}.tree-node.selected>.node-button{border-color:var(--accent);box-shadow:0 0 0 2px var(--accent-soft)}.tree-node .node-button:disabled,.palette-button:disabled,.proof-rule-btn:disabled{cursor:not-allowed;opacity:.62}.unit-picker{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:.5rem;margin:.75rem 0 0}.unit-button{min-width:0;min-height:var(--tap-min);padding:.55rem .4rem;border:1px solid var(--border);border-radius:.75rem;background:var(--surface);color:var(--muted);cursor:pointer;font-size:.82rem;font-weight:600;line-height:1.2}.unit-button.active{border-color:var(--accent);background:var(--accent-soft);color:var(--accent);box-shadow:inset 0 -3px 0 var(--accent)}.route-picker{display:grid;grid-template-columns:1fr 1fr;gap:.5rem;margin:.75rem 0 0}.depth-toggle{display:inline-flex;margin:.75rem 0 0;border:1px solid var(--border);border-radius:999px;overflow:hidden}.choice-list{display:grid;gap:.5rem;margin:.75rem 0 0}.choice-option{min-height:var(--tap-min);padding:.65rem .75rem;border:1px solid var(--border);border-radius:.75rem;background:var(--surface);color:var(--text);text-align:left;cursor:pointer}.choice-option.selected{border-color:var(--accent);background:var(--accent-soft);color:var(--accent)}.planner-banner{margin:.75rem 0;padding:.75rem;border:1px solid var(--border);border-radius:.75rem;background:var(--surface)}.planner-banner ul{margin:.35rem 0 0;padding-left:1.1rem}.exercise-family{margin:0 0 .35rem;color:var(--muted);font-size:.78rem;font-weight:600;letter-spacing:.02em}.watch-grid-wrap{width:100%;margin:0 0 1rem;overflow-x:auto}.watch-grid{width:100%;table-layout:fixed;border-collapse:separate;border-spacing:.35rem;font-family:Fira Code,Cascadia Code,monospace}.watch-grid th,.watch-grid-cell{min-width:0;padding:.55rem .35rem;text-align:center;border:1px solid var(--border);border-radius:.55rem;background:var(--surface)}.watch-grid-corner,.watch-grid-col-label,.watch-grid-row-label{color:var(--muted);font-size:.78rem;font-weight:600}.watch-grid-cell{font-size:1rem;font-weight:700;opacity:.55}.watch-grid-cell.active{opacity:1;border-width:2px;border-color:var(--accent);outline:2px solid var(--accent-soft);outline-offset:1px;font-weight:800}.prediction-panel{margin-top:.25rem;padding-top:.75rem;border-top:1px solid var(--border)}.prediction-label{margin:0 0 .45rem;color:var(--muted);font-size:.82rem;font-weight:600}.cell-segments{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:.4rem;width:100%}.cell-segment{min-width:var(--tap-min);min-height:var(--tap-min);padding:.55rem .65rem;border:1px solid var(--border);border-radius:.65rem;background:var(--surface);color:var(--text);cursor:pointer;font-family:Fira Code,Cascadia Code,monospace;font-weight:700}.cell-segment.selected{border-width:2px;border-color:var(--accent);background:var(--accent-soft);color:var(--accent);box-shadow:inset 0 -3px 0 currentColor}.cell-segment:disabled{cursor:not-allowed;opacity:.72}.blank-cell .cell-segments{min-width:6.25rem}.atom-key{margin-bottom:1rem}.atom-key-list{list-style:none;margin:.45rem 0 0;padding:0;display:grid;gap:.4rem}.atom-key-list li{display:grid;grid-template-columns:minmax(1.75rem,auto) minmax(0,1fr);gap:.65rem;align-items:baseline}.atom-key-letter,.palette-symbol{font-family:Fira Code,Cascadia Code,monospace;font-weight:700}.atom-key-gloss,.palette-gloss{min-width:0;color:var(--muted);overflow-wrap:anywhere}.palette-atom{display:inline-grid;grid-template-columns:auto minmax(0,1fr);align-items:center;gap:.45rem;max-width:100%;text-align:left}.palette-gloss{font-size:.78rem;line-height:1.25}.progress-disclosure{padding:0;overflow:hidden}.progress-disclosure>summary{min-height:var(--tap-min);display:grid;grid-template-columns:minmax(0,1fr) auto;align-items:center;gap:.75rem;padding:.8rem 1rem;cursor:pointer}.progress-summary-meta{max-width:13rem;color:var(--muted);font-size:.78rem;text-align:right}.progress-disclosure-body{padding:0 1rem 1rem;border-top:1px solid var(--border)}.progress-disclosure-body>:first-child{margin-top:.75rem}.progress-overview .progress-meta:last-child{margin-bottom:0}.unit-button:focus-visible,.cell-segment:focus-visible,.proof-rule-btn:focus-visible,.proof-cite-chip:focus-visible,.progress-disclosure>summary:focus-visible{outline:2px solid var(--accent);outline-offset:2px}@media(max-width:340px){.unit-picker{gap:.35rem}.unit-button{padding-inline:.25rem;font-size:.76rem}.watch-grid{border-spacing:.2rem}.watch-grid th,.watch-grid-cell{padding-inline:.2rem}.progress-disclosure>summary{grid-template-columns:1fr;gap:.2rem}.progress-summary-meta{max-width:none;text-align:left}}@media(prefers-color-scheme:dark){.unit-button,.cell-segment,.proof-rule-btn,.proof-cite-chip{background:#171412}}.session-active .exercise-card:has(.choice-list),.session-active .exercise-card:has(.prediction-panel),.session-active .exercise-card:has(.blank-cell){margin-top:.35rem;padding:0;border:0;border-radius:0;background:transparent}.session-active .exercise-card:has(.choice-list) .exercise-prompt,.session-active .exercise-card:has(.prediction-panel) .exercise-prompt,.session-active .exercise-card:has(.blank-cell) .exercise-prompt{margin-bottom:1.25rem;font-size:1.08rem;font-weight:650;line-height:1.5}.session-active .exercise-card:has(.choice-list) .formula-display,.session-active .exercise-card:has(.prediction-panel)>.formula-display{padding:.35rem 0;background:transparent;font-size:1.05rem;font-weight:600;text-align:center}.session-active .choice-list,.session-active .prediction-panel{margin:1.5rem 0 0;padding:.9rem;border:1px solid var(--border);border-radius:1rem;background:var(--surface)}.session-active .prediction-panel{border-top:1px solid var(--border)}.session-active .prediction-label{margin-bottom:.7rem;font-size:.85rem}.session-active .choice-option,.session-active .prediction-panel .cell-segment{min-height:3.25rem;border-width:1.5px;background:var(--bg);font-weight:600;line-height:1.35}.session-active .choice-option{padding:.8rem .9rem}.session-active .choice-option.selected,.session-active .prediction-panel .cell-segment.selected{border-width:2px}.session-active .blank-cell{position:relative;padding:.45rem;background:var(--surface)!important;outline:2px solid var(--border);outline-offset:-3px}.session-active .blank-cell .cell-segment{min-height:3rem;background:var(--bg)}.session-active>.actions{margin-top:1.25rem}.session-active>.actions .primary{min-height:3.1rem;font-weight:700}.session-active .exercise-card:has(.choice-list) .feedback,.session-active .exercise-card:has(.prediction-panel) .feedback,.session-active .exercise-card:has(.blank-cell) .feedback{margin-top:1.25rem;padding:.9rem}.session-active .blank-cell{padding:.35rem;background:transparent!important;outline:none}.truth-table-drop-slot{display:flex;align-items:center;justify-content:center;width:100%;min-height:2.85rem;border:2px dashed var(--border);border-radius:.6rem;background:var(--bg);color:var(--text);font-family:Fira Code,Cascadia Code,monospace;font-size:1rem;font-weight:800}.truth-table-drop-slot.filled{border-style:solid;border-color:var(--accent);background:var(--accent-soft);color:var(--accent)}.guided-prompt{margin:0 0 .75rem;color:var(--text);font-size:1rem;font-weight:600}.truth-table-response-workspace{margin-top:1.25rem}.truth-table-answer-tray{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:.5rem;padding:.9rem;border:1px solid var(--border);border-radius:1rem;background:var(--surface)}.truth-table-answer-tray .cell-segment{min-height:3.25rem;border-width:1.5px;background:var(--bg);font-size:1rem}.truth-table-answer-tray .cell-segment.selected{border-color:var(--accent);background:var(--accent-soft);font-weight:700}.truth-table-check{width:100%;min-height:3.1rem;margin-top:.75rem;font-weight:700}.guided-target-cell{min-width:2.75rem}.session-active .truth-table-response-workspace{margin-top:1.25rem}: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;--table-surface: var(--surface);--table-surface-active: var(--accent-soft);--control-surface: var(--surface);--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-nav-four{grid-template-columns:1fr 1fr}.formula-picker{display:flex;flex-wrap:wrap;gap:.5rem;margin:.75rem 0}.formula-chip{min-height:var(--tap-min);padding:.35rem .65rem;border:1px solid var(--border);border-radius:.65rem;background:var(--surface);color:var(--text);font-family:var(--font-mono, monospace);font-size:.875rem;cursor:pointer}.formula-chip.active{border-color:var(--accent);background:var(--accent-soft);color:var(--accent)}.atom-panel-readonly .atom-segment{pointer-events:none;display:flex;align-items:center;justify-content:center;cursor:default}.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-status-list{list-style:none;margin:.75rem 0 0;padding:0;display:grid;gap:.35rem;font-size:.85rem}.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-context{margin:0 0 .85rem;font-size:.95rem;line-height:1.5}.exercise-context p{margin:0 0 .45rem}.exercise-context p:last-child{margin-bottom:0}.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-learner{border-color:var(--accent);background:var(--accent-soft);color:var(--accent);font-weight:700}.learner-node-input{margin-top:.35rem}.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:var(--table-surface)}.truth-table-row.active td,.truth-table-row.active th{background:var(--table-surface-active)}.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:var(--control-surface);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:var(--control-surface);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}.exercise-hint{margin:0 0 1rem;padding:.75rem;border-radius:.75rem;background:var(--accent-soft);font-size:.9rem;line-height:1.45}.exercise-hint strong{display:block;margin-bottom:.25rem;font-size:.8rem;text-transform:uppercase;letter-spacing:.04em;color:var(--muted)}.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:var(--control-surface);color:var(--text)}.watch-grid-wrap{margin:.75rem 0}.watch-grid{display:grid;grid-template-columns:auto 1fr;grid-template-rows:auto 1fr;gap:.35rem;align-items:stretch}.watch-grid-corner{min-width:2rem}.watch-grid-col-labels,.watch-grid-row-labels{display:grid;gap:.35rem}.watch-grid-col-labels{grid-template-columns:repeat(3,minmax(2.5rem,1fr))}.watch-grid-row-labels{grid-template-rows:repeat(3,minmax(var(--tap-min),1fr))}.watch-grid-col-label,.watch-grid-row-label{display:flex;align-items:center;justify-content:center;font-family:Fira Code,Cascadia Code,monospace;font-size:.85rem;font-weight:600;color:var(--muted)}.watch-grid-body{display:grid;grid-template-columns:auto 1fr;gap:.35rem}.watch-grid-cells{display:grid;gap:.35rem}.watch-grid-row{display:grid;grid-template-columns:repeat(2,minmax(2.75rem,1fr));gap:.35rem}.watch-grid-cell{display:flex;align-items:center;justify-content:center;min-height:var(--tap-min);border:1px solid var(--border);border-radius:.65rem;background:var(--control-surface)}.watch-grid-cell.active{border-color:var(--accent);background:var(--accent-soft);color:var(--accent);font-weight:700}.watch-grid-value{font-family:Fira Code,Cascadia Code,monospace;font-size:1rem}@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,.tautology-segment,.proof-rule-btn,.proof-cite-chip,.watch-grid-cell{background:#171412}.watch-grid-cell.active{background:var(--accent-soft)}}.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:var(--control-surface);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)}.learn-progress,.practice-progress{margin-top:.75rem;padding:.65rem .75rem;border:1px solid var(--border);border-radius:.75rem;background:var(--surface)}.learn-progress-unit,.learn-progress-meta,.practice-session{margin:0;color:var(--muted);font-size:.8rem}.learn-progress-unit{font-weight:600;color:var(--text)}.learn-progress-meta{margin-top:.15rem}.progress-meter{margin-top:.45rem;height:.35rem;border-radius:999px;background:var(--border);overflow:hidden}.progress-meter-fill{height:100%;border-radius:999px;background:var(--accent);transition:width .2s ease}.practice-capability{display:flex;align-items:center;justify-content:space-between;gap:.5rem;margin:0 0 .2rem;min-width:0}.practice-capability .exercise-family{margin:0;min-width:0;overflow-wrap:anywhere}.capability-chip{display:inline-block;flex-shrink:0;padding:.1rem .45rem;border:1px solid var(--border);border-radius:999px;background:var(--accent-soft);color:var(--text);font-size:.72rem;font-weight:600;letter-spacing:.02em}.progress-moment,.unit-complete-card,.session-complete-card{margin-top:.75rem;padding:.75rem .85rem;border:1px solid var(--accent);border-radius:.75rem;background:var(--accent-soft)}.progress-moment{font-size:.9rem}.unit-complete-card p,.session-complete-card p{margin:.35rem 0 0;font-size:.9rem}.session-complete-card .actions{margin-top:.75rem}.session-complete-moments{margin:.5rem 0 0;padding-left:1.1rem;font-size:.9rem}.capability-summary-list{list-style:none;margin:0 0 .75rem;padding:0;display:grid;gap:.4rem}.capability-summary-list li{display:flex;align-items:center;justify-content:space-between;gap:.5rem;font-size:.9rem}.progress-subheading{margin:.75rem 0 .35rem;font-size:.9rem}.completion-toast{margin:.75rem 0 0;padding:.65rem .75rem;border-radius:.75rem;background:var(--accent-soft);color:var(--text);font-size:.9rem}@media(prefers-reduced-motion:reduce){.progress-meter-fill{transition:none}}.session-opening h1,.session-complete h1{margin:1rem 0 .5rem;font-size:1.7rem}.session-detail,.session-effort,.session-review{margin:0 0 .75rem;color:var(--muted);font-size:.95rem}.session-effort{color:var(--text);font-weight:600}.session-chrome{display:flex;align-items:center;justify-content:space-between;gap:.75rem;margin:0 0 1rem}.session-exit{min-height:var(--tap-min);min-width:var(--tap-min);padding:.35rem .85rem;border:1px solid var(--border);border-radius:999px;background:var(--surface);color:var(--text);cursor:pointer}.session-position{margin:0;font-variant-numeric:tabular-nums;font-weight:600}.session-more{margin-top:1.75rem;padding-top:1rem;border-top:1px solid var(--border)}.session-more-summary{cursor:pointer;min-height:var(--tap-min);display:flex;align-items:center;color:var(--muted);font-size:.9rem}.session-more-nav{display:grid;gap:.35rem;margin-top:.5rem}.session-more-nav button{min-height:var(--tap-min);text-align:left;padding:.5rem .75rem;border:1px solid var(--border);border-radius:.75rem;background:var(--surface);color:var(--text);cursor:pointer}.session-more-nav button:disabled{opacity:.55;cursor:not-allowed}.source-complete-banner{margin:0 0 1rem;padding:.75rem;border:1px solid var(--border);border-radius:.75rem;background:var(--accent-soft)}.source-locator{margin:.35rem 0 0;font-size:.9rem;color:var(--muted)}@media(max-width:360px){.session-opening h1,.session-complete h1{font-size:1.45rem}}