:root{--bg: #0b1220;--bg-card: #131c2e;--bg-input: #0f1827;--bg-elev: #1a2740;--text: #e6edf6;--text-muted: #9fb0c5;--border: #28354d;--accent: #10b981;--accent-hover: #34d399;--accent-text: #34d399;--accent-subtle: #0e2a22;--ok: #34d399;--ok-bg: #0e2a22;--bad: #f87171;--bad-bg: #2c1618;--amber: #f59e0b;--amber-bg: #2a210d;--code-bg: #0f1827;--shadow: 0 2px 10px rgba(0, 0, 0, .35);--radius: 12px;--radius-sm: 8px;--font-mono: ui-monospace, "SF Mono", "Cascadia Code", "Fira Code", Consolas, monospace;--font-sans: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif}:root[data-theme=light]{--bg: #f5f7fa;--bg-card: #ffffff;--bg-input: #ffffff;--bg-elev: #eef2f7;--text: #14213d;--text-muted: #54627a;--border: #d7dee8;--accent: #10b981;--accent-hover: #059669;--accent-text: #047857;--accent-subtle: #d9f5ec;--ok: #047857;--ok-bg: #e8f7f0;--bad: #b91c1c;--bad-bg: #fdeaea;--amber: #b45309;--amber-bg: #fcf3e3;--code-bg: #f1f5f9;--shadow: 0 2px 10px rgba(15, 30, 60, .08)}*,*:before,*:after{box-sizing:border-box;margin:0;padding:0}html{font-size:16px;scroll-behavior:smooth}body{font-family:var(--font-sans);background:var(--bg);color:var(--text);line-height:1.6;min-height:100vh;-webkit-font-smoothing:antialiased}@media(prefers-reduced-motion:reduce){*,*:before,*:after{animation-duration:.01ms!important;transition-duration:.01ms!important}html{scroll-behavior:auto}}:focus-visible{outline:3px solid var(--accent-text);outline-offset:2px;border-radius:var(--radius-sm)}.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}#app{max-width:920px;margin:0 auto;padding:1.25rem clamp(.75rem,3vw,1.5rem) 0}.page-header{text-align:center;padding:1.5rem 0 .5rem}.category-chip{display:inline-block;background:var(--accent-subtle);color:var(--accent-text);font-size:.72rem;font-weight:700;text-transform:uppercase;letter-spacing:.08em;padding:.25rem .75rem;border-radius:999px;border:1px solid color-mix(in srgb,var(--accent) 30%,transparent)}.page-title{font-size:clamp(1.7rem,5vw,2.4rem);margin:.6rem 0 .3rem;letter-spacing:-.01em}.page-subtitle{color:var(--text-muted);max-width:42rem;margin:0 auto}.chip-row{display:flex;flex-wrap:wrap;gap:.4rem;justify-content:center;margin-top:.9rem;list-style:none;padding:0}.chip{font-family:var(--font-mono);font-size:.72rem;color:var(--text-muted);background:var(--bg-elev);border:1px solid var(--border);padding:.2rem .55rem;border-radius:999px}.card{background:var(--bg-card);border:1px solid var(--border);border-radius:var(--radius);box-shadow:var(--shadow);padding:clamp(1rem,3vw,1.6rem);margin:1.1rem 0}.card h2{font-size:1.25rem;margin-bottom:.6rem}.card p{margin-bottom:.7rem}.card h3.sub{font-size:1rem;margin:1.1rem 0 .5rem;color:var(--text-muted)}.card--alert{border-color:color-mix(in srgb,var(--amber) 45%,var(--border))}.formula-list{list-style:none;margin:.3rem 0 .8rem;display:grid;gap:.35rem}.formula-list code{font-family:var(--font-mono);font-size:.85rem;background:var(--code-bg);border:1px solid var(--border);padding:.35rem .6rem;border-radius:var(--radius-sm);display:inline-block}a{color:var(--accent-text)}.mt-btn{font:inherit;font-size:.9rem;font-weight:600;min-height:2.75rem;padding:.5rem .95rem;border-radius:var(--radius-sm);border:1px solid var(--border);cursor:pointer;background:var(--bg-elev);color:var(--text);transition:background .15s,border-color .15s,transform .05s}.mt-btn:hover{border-color:var(--accent)}.mt-btn:active{transform:translateY(1px)}.mt-btn:disabled{opacity:.5;cursor:not-allowed}.mt-btn--primary{background:var(--accent);color:#04211a;border-color:var(--accent);font-weight:700}.mt-btn--primary:hover{background:var(--accent-hover);border-color:var(--accent-hover)}.mt-btn--ghost{background:transparent}.btn-row{display:flex;flex-wrap:wrap;gap:.5rem;margin:.6rem 0}.builder-controls{display:grid;gap:.6rem;margin:.8rem 0}.leaf-add-row{display:flex;gap:.5rem}.leaf-add-row input{flex:1;min-width:0}input[type=text],select{font:inherit;font-size:1rem;min-height:2.75rem;padding:.5rem .7rem;border-radius:var(--radius-sm);border:1px solid var(--border);background:var(--bg-input);color:var(--text)}input[type=text]:focus-visible,select:focus-visible{border-color:var(--accent-text)}.preset-row{display:flex;flex-wrap:wrap;gap:.4rem;align-items:center}.preset-label{color:var(--text-muted);font-size:.85rem}.select-row{display:flex;flex-wrap:wrap;align-items:center;gap:.5rem;margin:.6rem 0}.select-row label{font-weight:600}.select-row select{flex:1;min-width:12rem;max-width:100%}.leaf-list{display:flex;flex-wrap:wrap;gap:.45rem;margin:.4rem 0;min-height:2rem}.mt-chip{display:inline-flex;align-items:center;gap:.4rem;background:var(--bg-elev);border:1px solid var(--border);border-radius:999px;padding:.2rem .3rem .2rem .55rem;font-size:.85rem}.mt-chip--selected{border-color:var(--accent);background:var(--accent-subtle)}.mt-chip-sel{color:var(--accent-text);font-weight:700;margin-left:.15rem}.mt-chip-idx{font-family:var(--font-mono);font-size:.7rem;color:var(--accent-text);background:var(--bg-card);border-radius:999px;padding:0 .4rem}.mt-chip-x{border:none;background:transparent;color:var(--text-muted);cursor:pointer;font-size:1.2rem;line-height:1;border-radius:999px;min-width:1.6rem;min-height:1.6rem;display:inline-grid;place-items:center}.mt-chip-x:hover{color:var(--bad)}.mt-chip-x:focus-visible{outline:2px solid var(--accent);outline-offset:1px}.mt-note{color:var(--text-muted);font-size:.85rem}.mt-note--warn{color:var(--amber);font-weight:600}.mt-hint{color:var(--text-muted);font-size:.88rem}.tree-scroll{overflow-x:auto;border:1px solid var(--border);border-radius:var(--radius-sm);background:var(--bg-input);padding:.5rem;margin:.8rem 0}.mt-svg{display:block}.mt-empty{color:var(--text-muted);padding:1.5rem;text-align:center}.mt-edge{stroke:var(--border);stroke-width:1.5}.mt-edge--active{stroke:var(--accent);stroke-width:2.5}.mt-box{fill:var(--bg-elev);stroke:var(--border);stroke-width:1.5}.mt-node--internal .mt-box{fill:var(--bg-card)}.mt-node--path .mt-box{stroke:var(--accent);stroke-width:2}.mt-node--selected .mt-box{fill:var(--accent-subtle);stroke:var(--accent);stroke-width:2.5}.mt-node--sibling .mt-box{stroke:var(--amber);stroke-width:2.5;fill:var(--amber-bg)}.mt-node--clickable{cursor:pointer}.mt-node--clickable:hover .mt-box{stroke:var(--accent)}.mt-tag{font-family:var(--font-sans);font-size:11px;fill:var(--text-muted);text-anchor:middle}.mt-hash{font-family:var(--font-mono);font-size:12px;fill:var(--text);text-anchor:middle}.mt-node--selected .mt-hash,.mt-node--selected .mt-tag{fill:var(--text)}.mt-marker{font-size:12px;text-anchor:end;fill:var(--text);font-weight:700}.mt-node--sibling .mt-marker{fill:var(--amber)}.mt-node--selected .mt-marker{fill:var(--accent-text)}.scroll-hint{font-size:.78rem;color:var(--text-muted);margin:.3rem 0 0}@media(min-width:720px){.scroll-hint{display:none}}.legend{list-style:none;display:flex;flex-wrap:wrap;gap:.5rem 1.1rem;padding:.6rem .8rem;margin:.6rem 0;background:var(--bg-input);border:1px solid var(--border);border-radius:var(--radius-sm);font-size:.85rem}.legend-mark{font-weight:700}.legend-mark--selected{color:var(--accent-text)}.legend-mark--proof{color:var(--amber)}.legend-mark--path{color:var(--text)}.root-box{display:flex;flex-direction:column;gap:.3rem;background:var(--accent-subtle);border:1px solid color-mix(in srgb,var(--accent) 35%,transparent);border-radius:var(--radius-sm);padding:.7rem .9rem;margin-top:.6rem}.root-label{font-size:.72rem;text-transform:uppercase;letter-spacing:.06em;color:var(--accent-text);font-weight:700}.root-hash{word-break:break-all;cursor:pointer}.mt-mono{font-family:var(--font-mono);font-size:.82rem}.mt-wrap{word-break:break-all}.mt-ok{color:var(--ok)}.mt-bad{color:var(--bad)}.legend-swatch{display:inline-block;width:.8rem;height:.8rem;border-radius:3px;vertical-align:-1px;margin-right:.15rem}.legend-sibling{background:var(--amber-bg);border:2px solid var(--amber)}.proof-output{margin-top:.5rem}.mt-proof-head p{margin-bottom:.4rem}.mt-steps{list-style:none;display:grid;gap:.5rem;margin-top:.6rem}.mt-step{display:flex;gap:.6rem;align-items:flex-start;background:var(--bg-input);border:1px solid var(--border);border-radius:var(--radius-sm);padding:.55rem .7rem}.mt-step-i{flex:0 0 auto;width:1.5rem;height:1.5rem;display:grid;place-items:center;background:var(--accent);color:#04211a;border-radius:999px;font-weight:700;font-size:.8rem}.mt-step-body{display:grid;gap:.2rem;min-width:0}.mt-step-body code{word-break:break-all}.mt-step-side{font-size:.8rem;color:var(--text-muted)}.verify-controls{display:grid;gap:.35rem;margin:.6rem 0}.verify-controls label{font-size:.85rem;color:var(--text-muted)}.verify-steps{display:grid;gap:.4rem}.mt-vstep{display:flex;flex-wrap:wrap;align-items:center;gap:.5rem;background:var(--bg-input);border:1px solid var(--border);border-radius:var(--radius-sm);padding:.45rem .6rem}.mt-vstep code{word-break:break-all;flex:1;min-width:8rem}.mt-side--left{color:var(--amber);font-weight:600}.mt-side--right{color:var(--accent-text);font-weight:600}.mt-verdict{display:flex;align-items:center;gap:.5rem;flex-wrap:wrap;border-radius:var(--radius-sm);padding:.7rem .9rem;margin:.8rem 0;font-size:.92rem}.mt-verdict:empty{display:none}.mt-verdict--ok{background:var(--ok-bg);border:1px solid var(--ok);color:var(--text)}.mt-verdict--bad{background:var(--bad-bg);border:1px solid var(--bad);color:var(--text)}.mt-verdict-icon{font-size:1.1rem;font-weight:700}.mt-verdict--ok .mt-verdict-icon{color:var(--ok)}.mt-verdict--bad .mt-verdict-icon{color:var(--bad)}.verify-trace{font-size:.85rem}.mt-trace{list-style:none;display:grid;gap:.3rem}.mt-trace li{display:flex;flex-wrap:wrap;align-items:center;gap:.4rem}.mt-trace-i{width:1.4rem;height:1.4rem;display:grid;place-items:center;background:var(--bg-elev);border:1px solid var(--border);border-radius:999px;font-size:.72rem}.mt-trace-leaf{color:var(--text-muted)}.mt-roots{display:grid;gap:.4rem;margin-top:.7rem}.mt-roots>div{display:grid;gap:.15rem}.mt-root-label{font-size:.72rem;text-transform:uppercase;letter-spacing:.05em;color:var(--text-muted)}.mt-roots code{word-break:break-all}.eff-slider-row{display:flex;align-items:center;gap:.8rem;flex-wrap:wrap;margin:.5rem 0}.eff-slider-row label{font-weight:600;white-space:nowrap}#eff-slider{flex:1;min-width:12rem;accent-color:var(--accent)}.eff-readout{background:var(--bg-input);border:1px solid var(--border);border-radius:var(--radius-sm);padding:.7rem .9rem}.eff-bars{display:grid;gap:.5rem;margin:.8rem 0}.eff-bar-track{display:grid;grid-template-columns:9rem 1fr;align-items:center;gap:.6rem}.eff-bar-label{font-size:.78rem;color:var(--text-muted);text-align:right}.eff-bar{height:1.1rem;border-radius:999px;min-width:3px}.eff-bar--full{background:color-mix(in srgb,var(--bad) 65%,transparent)}.eff-bar--proof{background:var(--accent)}.eff-build-out{margin-top:.6rem}.mt-eff-table{width:100%;border-collapse:collapse;font-size:.88rem}.mt-eff-table th,.mt-eff-table td{text-align:left;padding:.4rem .6rem;border-bottom:1px solid var(--border)}.mt-eff-table th{color:var(--text-muted);font-weight:600;width:12rem}.sec-controls{display:flex;flex-wrap:wrap;gap:1rem;align-items:center;margin:.7rem 0}.toggle{display:inline-flex;align-items:center;gap:.5rem;cursor:pointer}.toggle input{width:1.25rem;height:1.25rem;accent-color:var(--accent)}.sec-output{margin-top:.5rem}.mt-sec-detail{display:grid;gap:.2rem}.mt-sec-detail dt{font-size:.74rem;text-transform:uppercase;letter-spacing:.05em;color:var(--text-muted);margin-top:.5rem}.mt-sec-detail dd{margin:0}.mt-sec-detail code{word-break:break-all}.app-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(220px,1fr));gap:.8rem;margin-top:.5rem}.app{background:var(--bg-input);border:1px solid var(--border);border-radius:var(--radius-sm);padding:.8rem .9rem}.app h3{font-size:1rem;margin-bottom:.3rem;color:var(--accent-text)}.app p{font-size:.88rem;color:var(--text-muted);margin:0}.scripture-footer{text-align:center;padding:2rem 1rem;font-size:.85rem;border-top:1px solid var(--border);color:var(--text-muted);margin-top:2rem}.walk-row{align-items:center}.step-status{color:var(--text-muted);font-size:.85rem}.mt-verdict--step{background:var(--accent-subtle);border:1px solid color-mix(in srgb,var(--accent) 40%,transparent);color:var(--text)}.mt-verdict--step .mt-verdict-icon{color:var(--accent-text)}.mt-trace-now{background:var(--accent-subtle);border-radius:var(--radius-sm);padding:.15rem .3rem}.mt-bytes{margin:.2rem 0 .2rem 2rem}.mt-bytes summary{cursor:pointer;color:var(--accent-text);font-size:.78rem}.mt-bytes code{display:block;margin-top:.3rem;font-size:.74rem;color:var(--text-muted)}.mt-node--current .mt-box{stroke:var(--accent-text);stroke-width:3.5}@media(prefers-reduced-motion:no-preference){.mt-node--current .mt-box{animation:mt-pulse 1.2s ease-in-out infinite}}@keyframes mt-pulse{0%,to{filter:none}50%{filter:drop-shadow(0 0 6px var(--accent))}}.glossary{border-bottom:1px dashed var(--accent-text);cursor:help}.glossary-def{position:fixed;z-index:1500;max-width:min(22rem,90vw);background:var(--bg-card);color:var(--text);border:1px solid var(--accent);border-radius:var(--radius-sm);padding:.55rem .75rem;font-size:.82rem;line-height:1.45;box-shadow:var(--shadow)}.glossary-def[hidden]{display:none}.predict{background:var(--bg-input);border:1px solid var(--border);border-left:3px solid var(--accent);border-radius:var(--radius-sm);padding:.8rem .9rem;margin:.9rem 0}.predict-label{display:inline-block;font-size:.7rem;text-transform:uppercase;letter-spacing:.06em;font-weight:700;color:var(--accent-text);margin-bottom:.3rem}.predict p{margin:.3rem 0}.predict-answer{color:var(--text-muted)}.quiz-card{background:var(--bg-input);border:1px solid var(--border);border-radius:var(--radius-sm);padding:.9rem;margin:1.1rem 0}.quiz-card h4{margin-bottom:.3rem}.quiz-card label{display:flex;gap:.5rem;align-items:flex-start;padding:.35rem 0;cursor:pointer}.quiz-card input[type=radio]{margin-top:.25rem;accent-color:var(--accent);min-width:1.25rem;min-height:1.25rem}.mt-copy{cursor:pointer}.mt-copy:hover{text-decoration:underline dotted}.quiz-fieldset{border:0;padding:0;margin:0}.quiz-fieldset legend{padding:0;margin-bottom:.2rem;font-weight:600}.radio-set{display:flex;flex-wrap:wrap;gap:1rem;align-items:center}.quiz-explain{margin-top:.6rem;padding:.6rem .7rem;border-radius:var(--radius-sm)}.quiz-explain--right{background:var(--ok-bg);border:1px solid var(--ok)}.quiz-explain--wrong{background:var(--bad-bg);border:1px solid var(--bad)}.mt-toast{position:fixed;left:50%;bottom:1.2rem;transform:translate(-50%) translateY(1rem);background:var(--bg-elev);color:var(--text);border:1px solid var(--accent);padding:.6rem 1rem;border-radius:999px;font-size:.85rem;box-shadow:var(--shadow);opacity:0;pointer-events:none;transition:opacity .2s,transform .2s;z-index:2000}.mt-toast--show{opacity:1;transform:translate(-50%) translateY(0)}.card--objectives{border-left:3px solid var(--accent)}.objectives{margin:.3rem 0 .3rem 1.2rem;display:grid;gap:.35rem}.objectives li{line-height:1.45}.reading-list{margin:.3rem 0 .3rem 1.2rem;display:grid;gap:.45rem;font-size:.92rem}.reading-list a{color:var(--accent-text)}.table-scroll{overflow-x:auto}.mt-recap-table{width:100%;border-collapse:collapse;font-size:.88rem;min-width:34rem}.mt-recap-table th,.mt-recap-table td{text-align:left;padding:.5rem .6rem;border-bottom:1px solid var(--border);vertical-align:top}.mt-recap-table thead th{color:var(--accent-text)}.mt-recap-table tbody th{color:var(--text-muted);font-weight:600;width:11rem}.mt-node--old .mt-box{fill:var(--accent-subtle)}.mt-node--consproof .mt-box{stroke:var(--amber);stroke-width:2.5}.mt-node--consproof:not(.mt-node--old) .mt-box{stroke:var(--accent-text)}.mt-node--consproof .mt-marker{fill:var(--amber)}.mt-node--consproof:not(.mt-node--old) .mt-marker{fill:var(--accent-text)}.legend-old{background:var(--accent-subtle);border:1px solid var(--accent)}.legend-mark--proofnew{color:var(--accent-text)}.mt-chip--old{background:var(--accent-subtle)}.mt-chip--altered{border-color:var(--bad)}.mt-chip-warn{color:var(--bad);font-weight:700;margin-left:.2rem}@media(max-width:560px){.eff-bar-track{grid-template-columns:1fr}.eff-bar-label{text-align:left}.mt-eff-table th,.mt-recap-table tbody th{width:auto}}