:root{--sans: "Segoe UI", "PingFang SC", "Microsoft YaHei", system-ui, sans-serif;--mono: "Cascadia Code", "JetBrains Mono", Consolas, "Microsoft YaHei", monospace;--bg: #f5f6f8;--surface: #fff;--surface-2: #f8fafc;--line: #e4e7ec;--line-2: #d0d5dd;--ink: #0f172a;--text: #1e293b;--text-2: #475569;--muted: #64748b;--faint: #94a3b8;--accent: #2f5bd3;--accent-strong: #2448b0;--accent-soft: #e9efff;--accent-mid: #a9bdf3;--move: #c2620a;--move-dot: #f59e0b;--move-soft: #fff3dd;--move-mid: #f7c873;--eps: #7c3aed;--eps-dot: #8b5cf6;--eps-soft: #f1eafe;--eps-mid: #c9b2f7;--new: #0f8a5f;--new-soft: #e3f6ee;--reuse: #0e7a94;--reuse-soft: #e1f3f8;--bad: #c0283f;--bad-soft: #fdecef;--radius: 12px;--shadow: 0 1px 2px rgb(15 23 42 / .05), 0 1px 1px rgb(15 23 42 / .03);font-family:var(--sans);color:var(--text);background:var(--bg);font-synthesis:none;-webkit-font-smoothing:antialiased}*{box-sizing:border-box}*,*:before,*:after{font-variant-ligatures:none!important}body,h1,h2,h3,p,ol{margin:0}ol{padding:0;list-style:none}button,input,select,textarea{font:inherit;color:inherit}button{cursor:pointer;border:0;background:none;padding:0}button:disabled{opacity:.4;cursor:default}a{color:inherit;text-decoration:none}[hidden]{display:none!important}:is(button,a,input,select,textarea,summary):focus-visible{outline:2px solid var(--accent);outline-offset:2px;border-radius:6px}code,.mono{font-family:var(--mono)}.muted{color:var(--muted);font-size:12.5px}.button{display:inline-flex;align-items:center;justify-content:center;gap:7px;min-height:36px;padding:7px 14px;border:1px solid var(--line-2);border-radius:8px;background:#fff;font-size:13.5px;font-weight:500;color:var(--text);white-space:nowrap;transition:background .15s,border-color .15s,color .15s}.button:not(:disabled):hover{background:var(--surface-2);border-color:#b4bcc8}.button.primary{background:var(--accent);border-color:var(--accent);color:#fff}.button.primary:not(:disabled):hover{background:var(--accent-strong);border-color:var(--accent-strong)}.button.compact{min-height:32px;padding:5px 11px;font-size:13px}.button.icon{width:36px;padding:0;font-size:15px}.text-button{font-size:13px;color:var(--text-2);padding:6px 4px;white-space:nowrap;border-radius:6px}.text-button:not(:disabled):hover{color:var(--accent)}select{border:1px solid var(--line-2);border-radius:8px;background:#fff;padding:6px 28px 6px 10px;font-size:13px;color:var(--text)}.card{background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);box-shadow:var(--shadow)}.card-head{display:flex;align-items:center;justify-content:space-between;gap:12px;padding:14px 20px;border-bottom:1px solid var(--line);min-height:54px}.card-head h3{font-size:15px;font-weight:650;color:var(--ink);display:flex;align-items:baseline;gap:10px;flex-wrap:wrap}.card-head h3 small{font-size:12.5px;font-weight:400;color:var(--muted)}.card-foot{display:flex;justify-content:space-between;gap:12px;flex-wrap:wrap;padding:11px 20px;border-top:1px solid var(--line);font-size:12.5px;color:var(--muted);background:var(--surface-2);border-radius:0 0 var(--radius) var(--radius)}.placeholder{padding:60px 24px;text-align:center;color:var(--muted);font-size:14px}.eyebrow{font-size:11.5px;letter-spacing:.14em;color:var(--muted);font-weight:600}kbd{font:11px var(--mono);border:1px solid var(--line-2);border-bottom-width:2px;border-radius:4px;padding:1px 5px;margin:0 2px;background:#fff;color:var(--text-2)}.topbar{height:60px;padding:0 max(24px,calc((100vw - 1360px)/2 + 32px));display:flex;align-items:center;justify-content:space-between;background:#fff;border-bottom:1px solid var(--line)}.brand{display:flex;align-items:center;gap:12px}.brand strong{font-size:16.5px;font-weight:650;color:var(--ink);letter-spacing:.02em}.brand-mark{width:34px;height:34px;border-radius:9px;background:var(--accent-soft);display:grid;place-items:center}.brand-mark svg{width:28px;height:28px;fill:none;stroke:var(--accent);stroke-width:2;stroke-linecap:round;stroke-linejoin:round}.divider{width:1px;height:18px;background:var(--line-2)}.header-actions{display:flex;align-items:center;gap:16px}.engine-status{font-size:12.5px;color:var(--text-2);display:inline-flex;align-items:center;gap:7px}.engine-status:before{content:"";width:7px;height:7px;border-radius:50%;background:var(--move-dot)}.engine-status[data-state=ok]:before{background:#22a06b}.engine-status[data-state=error]:before{background:var(--bad)}main{max-width:1360px;margin:0 auto;padding:24px 32px 0}.hero{margin-bottom:16px}.hero h1{font-size:27px;line-height:1.35;font-weight:700;color:var(--ink);letter-spacing:-.01em;margin:4px 0 6px}.subtitle{font-size:14.5px;line-height:1.8;color:var(--text-2);max-width:980px}.sample-bar{display:flex;align-items:center;gap:12px;padding:12px 16px;background:#fff;border:1px solid var(--line);border-radius:var(--radius);margin-bottom:14px}.sample-bar label{font-size:13px;font-weight:600;color:var(--text-2)}#sample-note{flex:1;font-size:13.5px;color:var(--text-2);line-height:1.6}.editor-panel{display:grid;grid-template-columns:minmax(0,1fr) 340px;margin-bottom:14px;overflow:hidden}.editor-panel textarea{border:0;border-right:1px solid var(--line);resize:vertical;min-height:230px;padding:16px 20px;font:15px/1.7 var(--mono);color:var(--ink);background:var(--surface-2);outline:none}.format-help{padding:16px 20px;font-size:13px;line-height:1.8;color:var(--text-2);display:flex;flex-direction:column;gap:8px}.format-help h3{font-size:14px;color:var(--ink)}.format-help pre{margin:0;font:12.5px/1.7 var(--mono);background:var(--surface-2);border:1px solid var(--line);border-radius:8px;padding:10px 12px;color:var(--text)}.format-help .button{align-self:flex-start;margin-top:4px}.error{border:1px solid #f3c1ca;background:var(--bad-soft);color:#8f1d30;border-radius:10px;padding:12px 16px;font-size:14px;margin-bottom:14px}.acts{display:flex;align-items:center;gap:10px;margin:14px 0 18px}.acts [role=tab]{flex:1;display:flex;align-items:center;gap:12px;padding:9px 16px;border:1px solid var(--line);background:#fff;border-radius:var(--radius);text-align:left;transition:border-color .2s,box-shadow .2s,background .2s}.acts [role=tab]:hover{border-color:var(--line-2)}.acts [role=tab][aria-selected=true]{border-color:var(--accent);box-shadow:0 0 0 3px var(--accent-soft)}.act-no{width:30px;height:30px;flex-shrink:0;border-radius:50%;display:grid;place-items:center;font:600 14px var(--mono);background:var(--surface-2);border:1px solid var(--line-2);color:var(--text-2)}[aria-selected=true] .act-no{background:var(--accent);border-color:var(--accent);color:#fff}.act-text{display:flex;flex-direction:column;gap:1px}.act-text b{font-size:15px;font-weight:650;color:var(--ink)}.act-text small{font-size:12.5px;color:var(--muted)}.act-arrow{color:var(--faint);font-size:18px}.act{animation:fade-in .35s ease-out}.act-lead{margin-bottom:16px}.act-lead h2{font-size:21px;font-weight:700;color:var(--ink);margin-bottom:6px}.act-lead p{font-size:14.5px;line-height:1.8;color:var(--text-2);max-width:900px}.graph{height:320px;padding:6px 12px;display:flex;align-items:center;justify-content:center}.graph.dfa-graph{height:380px;position:relative}.graph.awaiting:before{content:"初态闭包算完后，D0 会出现在这里";position:absolute;inset:0;display:grid;place-items:center;color:var(--muted);font-size:14px}.fa-graph{width:100%;height:100%;overflow:visible;font-family:var(--mono)}.fa-graph .node{transform-box:fill-box;transform-origin:center}.fa-graph .body{fill:#fff;stroke:#8a96a8;stroke-width:1.6;transition:fill .3s,stroke .3s,stroke-width .3s}.fa-graph .inner{fill:none;stroke:#8a96a8;stroke-width:1.3;transition:stroke .3s}.fa-graph .halo{fill:none;stroke:transparent;stroke-width:2;transition:stroke .3s}.fa-graph .node-label{text-anchor:middle;font-size:15px;font-weight:650;fill:var(--ink);pointer-events:none}.fa-graph .node-set{text-anchor:middle;font-size:11.5px;fill:var(--muted)}.fa-graph .edge-line{fill:none;stroke:#a3adbb;stroke-width:1.5;transition:stroke .25s,stroke-width .25s}.fa-graph .edge.eps .edge-line{stroke:#b9a4ee;stroke-dasharray:5 4}.fa-graph .edge-label{font-size:13.5px;text-anchor:middle;fill:#334155;paint-order:stroke;stroke:#fff;stroke-width:5px;stroke-linejoin:round;font-weight:600}.fa-graph .edge.eps .edge-label{fill:var(--eps)}.fa-graph .edge.hl .edge-line{stroke-width:2.8}.fa-graph .edge.hl.eps .edge-line{stroke:var(--eps)}.fa-graph .edge.hl.sym .edge-line{stroke:var(--move-dot)}.fa-graph .edge.hl.sym .edge-label{fill:var(--move)}.arrowhead.base{fill:#a3adbb}.arrowhead.eps0{fill:#b9a4ee}.arrowhead.eps{fill:var(--eps)}.arrowhead.move{fill:var(--move-dot)}.arrowhead.accent{fill:var(--accent)}.start-arrow{stroke:#64748b;stroke-width:1.6;fill:none}.node.is-seed .body,.node.is-seed .inner{stroke:var(--accent)}.node.is-seed .body{fill:var(--accent-soft);stroke-width:2.4}.node.is-move .body,.node.is-move .inner{stroke:var(--move-dot)}.node.is-move .body{fill:var(--move-soft);stroke-width:2.4}.node.is-eps .body,.node.is-eps .inner{stroke:var(--eps-dot)}.node.is-eps .body{fill:var(--eps-soft);stroke-width:2.4}.node.is-source .halo{stroke:var(--accent);stroke-dasharray:4 3.5;stroke-width:1.8}.node.tok-old .halo{stroke:var(--accent);stroke-width:2.5;stroke-dasharray:none}.node.is-current .body{stroke:var(--ink);stroke-width:3}.node.is-current .halo{stroke:var(--ink);stroke-width:2;stroke-dasharray:none;animation:breathe 1.4s ease-in-out infinite}.token{stroke:#fff;stroke-width:2.5;filter:drop-shadow(0 1px 2.5px rgb(15 23 42 / .35));pointer-events:none}.token.move{fill:var(--move-dot)}.token.eps{fill:var(--eps-dot)}.token.accent{fill:var(--accent)}.ping{fill:none;stroke-width:3;transform-box:fill-box;transform-origin:center;pointer-events:none}.ping.move{stroke:var(--move-dot)}.ping.eps{stroke:var(--eps-dot)}.ping.seed{stroke:var(--accent)}.ping.dead{stroke:var(--bad)}.ping.reuse{stroke:var(--reuse)}.dfa .node.hidden,.dfa .edge.hidden,.dfa .start-arrow.hidden{display:none}.dfa .node-label{font-size:14px}.dfa .node.dead .body{stroke-dasharray:4 3;fill:var(--surface-2)}.dfa .node.is-expanding .body{fill:var(--accent-soft);stroke:var(--accent);stroke-width:2.6}.dfa .node.is-expanding .inner{stroke:var(--accent)}.dfa .node.is-fresh .halo{stroke:var(--new);stroke-width:2.5}.dfa .node.is-reused .halo{stroke:var(--reuse);stroke-width:2.5}.dfa .node.is-walk .body{fill:var(--accent);stroke:var(--accent)}.dfa .node.is-walk .inner{stroke:#fff}.dfa .node.is-walk .node-label{fill:#fff}.dfa .node.is-walk .node-set{fill:var(--accent);font-weight:650}.dfa .node.is-walk-from .body{stroke:var(--accent);stroke-dasharray:4 3}.dfa .edge.hl .edge-line{stroke:var(--accent);stroke-width:2.8}.dfa .edge.hl .edge-label{fill:var(--accent)}.adjacency{width:100%;max-height:100%;overflow:auto;font:13px var(--mono);color:var(--text-2)}.adjacency p{font-family:var(--sans);margin-bottom:8px}.adjacency>div{display:flex;gap:20px;padding:6px 8px;border-bottom:1px solid var(--line);border-radius:4px}.adjacency>div b{min-width:40px;color:var(--ink)}.adjacency .is-seed{background:var(--accent-soft)}.adjacency .is-move{background:var(--move-soft)}.adjacency .is-eps{background:var(--eps-soft)}.adjacency .is-current{box-shadow:inset 3px 0 var(--ink)}.legend{display:flex;flex-wrap:wrap;justify-content:center;gap:6px 18px;padding:8px 14px 12px;font-size:12.5px;color:var(--text-2)}.legend span{display:inline-flex;align-items:center;gap:6px}.sw{width:13px;height:13px;border-radius:50%;display:inline-block;border:2px solid}.sw.seed{background:var(--accent-soft);border-color:var(--accent)}.sw.move{background:var(--move-soft);border-color:var(--move-dot)}.sw.eps{background:var(--eps-soft);border-color:var(--eps-dot)}.sw.ring{border:2px dashed var(--accent);background:#fff}.sw.final{border:3px double #64748b;background:#fff;width:15px;height:15px}.sw.dash{width:22px;height:0;border-radius:0;border:0;border-top:2px dashed #a78bfa}.bridge-grid{display:grid;grid-template-columns:minmax(0,1.8fr) minmax(300px,1fr);gap:16px;align-items:start}.bridge-stage{overflow:hidden}.b-chapters{display:flex;gap:6px;padding:10px 12px;border-bottom:1px solid var(--line);overflow-x:auto;scrollbar-width:none}.b-chapters button{display:inline-flex;align-items:center;gap:7px;padding:4px 12px 4px 4px;border-radius:999px;border:1px solid var(--line);background:#fff;font-size:13px;color:var(--muted);white-space:nowrap;transition:background .2s,color .2s,border-color .2s}.b-chapters button span{width:22px;height:22px;border-radius:50%;display:grid;place-items:center;font:600 11.5px var(--mono);background:var(--surface-2);border:1px solid var(--line-2)}.b-chapters button:hover{border-color:var(--line-2);color:var(--text)}.b-chapters button.done{color:var(--text-2)}.b-chapters button.done span{background:var(--accent-soft);border-color:var(--accent-mid);color:var(--accent)}.b-chapters button[aria-current]{background:var(--accent);border-color:var(--accent);color:#fff;font-weight:600}.b-chapters button[aria-current] span{background:#ffffff38;border-color:transparent;color:#fff}.b-canvas{position:relative;aspect-ratio:1000 / 560;background:#fff}.b-canvas canvas{position:absolute;inset:0;width:100%;height:100%;display:block}.b-canvas:after{content:attr(data-renderer);position:absolute;right:12px;bottom:8px;font:11px var(--mono);color:var(--faint);pointer-events:none}.b-controls{display:flex;align-items:center;gap:10px;padding:10px 14px;border-top:1px solid var(--line);background:var(--surface-2)}.b-controls .text-button{min-width:58px}.b-dots{flex:1;display:flex;flex-wrap:wrap;gap:5px;justify-content:flex-end;align-items:center}.b-dots button{width:9px;height:9px;border-radius:5px;background:var(--line-2);transition:width .25s,background .25s}.b-dots button.done{background:var(--accent-mid)}.b-dots button[aria-current]{width:22px;background:var(--accent)}.b-dots button:hover{background:var(--accent)}.b-head{display:flex;justify-content:space-between;align-items:center;gap:10px;padding:14px 20px 0;font-size:12.5px;font-weight:600;color:var(--accent)}.step-count{font:12.5px var(--mono);color:var(--muted);white-space:nowrap}.b-body{padding:8px 20px 16px}.b-body h3{font-size:19px;line-height:1.45;font-weight:700;color:var(--ink);margin-bottom:8px}.b-body p{font-size:15px;line-height:1.9;color:var(--text)}.b-body b{color:var(--ink)}.b-body code{font-size:.92em;padding:1px 5px;border-radius:5px;background:var(--surface-2);border:1px solid var(--line);color:#9b1d4c}.b-body small{display:block;margin-top:6px;font-size:13px;line-height:1.7;color:var(--muted)}.b-code{margin:0 16px 16px;border:1px solid var(--line);border-radius:10px;background:#fbfcfd;overflow:hidden}.b-code-head{display:flex;justify-content:space-between;align-items:center;gap:4px 8px;flex-wrap:wrap;padding:5px 8px 5px 12px;border-bottom:1px solid var(--line);font:12px var(--mono);color:var(--text-2)}.b-code-head small{margin-left:8px;font-family:var(--sans);color:var(--muted)}.b-code-links{display:flex;flex-wrap:wrap;gap:0 8px}.b-code-links .text-button{font:12px var(--mono);padding:3px 4px}.b-code-body{overflow-x:auto;padding:6px 0;font:12.5px/21px var(--mono)}.b-code-body .code-row>span{width:40px;padding-right:10px}.b-code-body .code-row.hl-main{background:var(--accent-soft);box-shadow:inset 3px 0 var(--accent)}.code-gap{padding-left:24px;color:var(--faint);font-size:12px;line-height:16px}.b-cta{display:flex;flex-direction:column;align-items:flex-start;gap:6px;padding:0 20px 18px}.b-cta small{font-size:12.5px;color:var(--muted)}.keys{display:flex;flex-wrap:wrap;gap:8px}.key{min-width:50px;height:50px;padding:0 12px;border-radius:10px;border:1.5px solid var(--move-mid);background:var(--move-soft);color:var(--move);font:700 22px var(--mono);transition:transform .12s,background .15s,box-shadow .15s;box-shadow:0 2px 0 var(--move-mid)}.key:hover{background:#ffe9c2}.key:active{transform:translateY(2px);box-shadow:none}.key.small{min-width:38px;height:38px;font-size:17px}.tape{display:flex;flex-wrap:wrap;gap:4px;min-height:38px;align-items:center}.tape-cell{width:34px;height:36px;display:grid;place-items:center;font:600 17px var(--mono);border:1.5px solid var(--line-2);border-radius:6px;background:#fff;color:var(--ink);transition:all .25s}.tape-cell.read{color:var(--muted);background:var(--surface-2)}.tape-cell.reading{border-color:var(--move-dot);background:var(--move-soft);color:var(--move);transform:translateY(-3px);box-shadow:0 3px 0 var(--move-mid)}.tape-cell.future{border-style:dashed;color:var(--faint);background:transparent}.tape-empty{font-size:13.5px;color:var(--muted)}.ps-eps{color:var(--eps);font-style:normal;font-weight:600}.ps-move{color:var(--move);font-style:normal;font-weight:600}.concepts{display:grid;grid-template-columns:repeat(5,minmax(0,1fr));gap:12px;margin:16px 0}.concepts li{position:relative;display:flex;flex-direction:column;gap:3px;padding:13px 14px 13px 54px;background:#fff;border:1px solid var(--line);border-radius:var(--radius);font-size:13px;line-height:1.65;color:var(--text-2);transition:border-color .25s,box-shadow .25s,opacity .25s}.concepts li i{position:absolute;left:13px;top:13px;width:30px;height:30px;border-radius:50%;display:grid;place-items:center;font:700 13.5px var(--mono);font-style:normal;background:var(--accent-soft);color:var(--accent);border:1.5px solid var(--accent-mid)}.concepts li b{font-size:14.5px;color:var(--ink)}.concepts li.locked{opacity:.45}.concepts li.locked i{background:var(--surface-2);color:var(--faint);border-color:var(--line-2)}.concepts li.active{border-color:var(--accent);box-shadow:0 0 0 3px var(--accent-soft)}.insight{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:24px;align-items:center;padding:18px 22px;margin-bottom:8px;background:linear-gradient(90deg,#fff,var(--accent-soft))}.insight-text b{font-size:14px;color:var(--accent)}.insight-text p{font-size:14.5px;line-height:1.85;color:var(--text);margin-top:4px}.insight-text em{font-style:normal;font-weight:700;color:var(--ink)}.insight-actions{display:flex;flex-direction:column;align-items:flex-start;gap:6px}.player{position:sticky;top:0;z-index:20;display:flex;align-items:center;gap:14px;padding:10px 14px;background:#ffffffeb;backdrop-filter:blur(8px);border:1px solid var(--line);border-radius:var(--radius);box-shadow:0 4px 16px -8px #0f172a2e}.player-buttons{display:flex;align-items:center;gap:8px}#play{min-width:92px}.timeline{position:relative;flex:1;height:34px;min-width:160px}.timeline canvas{position:absolute;inset:0;width:100%;height:100%;border-radius:4px}.tl-future{position:absolute;top:0;bottom:0;right:0;background:#fff9;pointer-events:none}.tl-head{position:absolute;top:2px;bottom:2px;width:3px;margin-left:-1.5px;background:var(--ink);border-radius:2px;pointer-events:none;transition:left .2s}.tl-head:after{content:"";position:absolute;top:-3px;left:-4px;width:11px;height:11px;border-radius:50%;background:var(--ink);border:2px solid #fff}.timeline input{position:absolute;inset:0;width:100%;height:100%;margin:0;opacity:0;cursor:pointer}.timeline.disabled{opacity:.45}.timeline.empty .tl-head,.timeline.empty .tl-future,.badge:empty,.crumb:empty{display:none}.tl-tip{position:absolute;bottom:calc(100% + 6px);transform:translate(-50%);white-space:nowrap;padding:4px 9px;border-radius:6px;background:var(--ink);color:#fff;font-size:12px;pointer-events:none}.counter{font:12.5px var(--mono);color:var(--text-2);min-width:70px;text-align:right}.tl-legend{display:flex;flex-wrap:wrap;gap:4px 16px;padding:8px 4px 14px;font-size:12px;color:var(--muted)}.tl-legend span{display:inline-flex;align-items:center;gap:5px}.tl-sw{width:14px;height:8px;border-radius:2px;display:inline-block}.tl-sw.select{background:#94a3b8}.tl-sw.closure{background:#a78bfa}.tl-sw.move{background:#f5b544}.tl-sw.new{background:#34b27b}.tl-sw.reuse{background:#38b2cc}.tl-sw.write{background:#4c6fe0}.tl-tick{width:2px;height:13px;background:#475569;display:inline-block}.stage{margin-bottom:16px}.stage-head{display:flex;align-items:center;justify-content:space-between;gap:16px;flex-wrap:wrap;padding:14px 20px 0}.pipeline{display:flex;align-items:center;gap:6px;flex-wrap:wrap}.pipeline li[data-phase]{display:inline-flex;align-items:center;gap:7px;padding:5px 11px 5px 6px;border-radius:999px;border:1px solid var(--line);background:#fff;font-size:13px;color:var(--muted);transition:all .25s}.pipeline li[data-phase]>span{width:20px;height:20px;border-radius:50%;display:grid;place-items:center;font:600 11.5px var(--mono);background:var(--surface-2);color:var(--muted)}.pipeline li.done{color:var(--text-2)}.pipeline li.done>span{background:var(--line)}.pipeline li.done>span:before{content:"✓"}.pipeline li.done>span{font-size:0}.pipeline li.done>span:before{font-size:11.5px}.pipeline li.active{color:#fff;font-weight:600;border-color:transparent}.pipeline li.active>span{background:#ffffff40;color:#fff}.pipeline li[data-phase=select].active{background:#475569}.pipeline li[data-phase=move].active{background:var(--move-dot)}.pipeline li[data-phase=closure].active{background:var(--eps-dot)}.pipeline li[data-phase=intern].active{background:var(--new)}.pipeline li[data-phase=write].active{background:var(--accent)}.pipe-arrow,.loop{color:var(--faint);font-size:13px}.loop{font-size:17px;margin-left:2px}.crumb{font:13px var(--mono);color:var(--text-2);background:var(--surface-2);border:1px solid var(--line);border-radius:7px;padding:4px 10px}.caption{display:grid;grid-template-columns:auto minmax(0,1fr) auto;gap:14px;align-items:start;padding:14px 20px 16px;border-bottom:1px solid var(--line);min-height:104px}.badge{margin-top:2px;padding:4px 10px;border-radius:7px;font-size:12.5px;font-weight:600;white-space:nowrap;background:var(--surface-2);color:var(--text-2);border:1px solid var(--line)}.badge[data-tone=move]{background:var(--move-soft);color:var(--move);border-color:var(--move-mid)}.badge[data-tone=closure]{background:var(--eps-soft);color:var(--eps);border-color:var(--eps-mid)}.badge[data-tone=new]{background:var(--new-soft);color:var(--new);border-color:#9fdcc2}.badge[data-tone=reuse]{background:var(--reuse-soft);color:var(--reuse);border-color:#9cd6e4}.badge[data-tone=write]{background:var(--accent-soft);color:var(--accent);border-color:var(--accent-mid)}.caption h3{font-size:19px;font-weight:700;color:var(--ink);line-height:1.45;margin-bottom:4px;font-family:var(--sans)}.caption p{font-size:14.5px;line-height:1.8;color:var(--text-2)}.stage-grid{display:grid;grid-template-columns:minmax(0,1.05fr) minmax(0,1fr)}.stage-left{border-right:1px solid var(--line);display:flex;flex-direction:column}.stage-left .graph{flex:1;min-height:320px}.watch{border-top:1px solid var(--line);padding:8px 16px 12px;display:flex;flex-direction:column}.watch-row{display:grid;grid-template-columns:50px minmax(120px,.9fr) minmax(0,1.4fr);gap:10px;align-items:center;min-height:42px;border-bottom:1px dashed var(--line)}.watch-row:last-child{border-bottom:0}.w-name{font:700 14px var(--mono);color:var(--ink)}.w-desc{font-size:12.5px;color:var(--muted);line-height:1.45;display:flex;flex-direction:column}.w-desc code{font-size:12px;color:var(--text-2);font-weight:600}.w-val{display:flex;align-items:center;flex-wrap:wrap;gap:4px;min-height:30px}.nil{color:var(--faint);font-family:var(--mono)}.wave-chip{display:inline-flex;align-items:center;gap:4px;padding:2px 6px 2px 8px;margin-right:4px;border-radius:8px;background:var(--eps-soft)}.wave-chip small{font-size:11.5px;color:var(--eps);font-weight:600;margin-right:2px}.brace{font:17px var(--mono);color:var(--faint)}.chip{min-width:28px;height:28px;padding:0 7px;border-radius:7px;display:inline-grid;place-items:center;font:650 14px var(--mono);border:1.5px solid var(--line-2);background:#fff;color:var(--ink)}.chip.seed{background:var(--accent-soft);border-color:var(--accent-mid);color:var(--accent-strong)}.chip.move{background:var(--move-soft);border-color:var(--move-mid);color:var(--move)}.chip.eps{background:var(--eps-soft);border-color:var(--eps-mid);color:var(--eps)}.chip.stack{background:#334155;border-color:#334155;color:#fff}.chip.ring{border:2.5px solid var(--ink)}.chip.sym{background:var(--move-soft);border-color:var(--move-mid);color:var(--move);font-size:15px}.chip.empty{color:var(--muted)}.stack-box{display:inline-flex;align-items:center;gap:4px;padding:3px 44px 3px 6px;border:1.5px solid var(--line-2);border-left-width:3px;border-radius:4px 8px 8px 4px;min-height:36px;position:relative;min-width:90px}.stack-top{position:absolute;right:7px;font-size:11px;color:var(--faint)}.stack-box .nil{font-size:13px}.enter{animation:pop .42s cubic-bezier(.2,.8,.3,1.25) both}.leave{animation:leave .5s ease-in forwards}.code-card{display:flex;flex-direction:column;min-width:0}.code-tabs{display:flex;align-items:center;justify-content:space-between;padding:10px 16px;border-bottom:1px solid var(--line)}.segmented{display:inline-flex;padding:3px;background:var(--surface-2);border:1px solid var(--line);border-radius:9px}.segmented button{padding:5px 14px;border-radius:6px;font-size:13px;color:var(--muted)}.segmented button[aria-pressed=true]{background:#fff;color:var(--ink);font-weight:600;box-shadow:0 1px 3px #0f172a1f}.pseudo{padding:12px 10px 14px;font:14px/1 var(--mono);flex:1}.ps-line{display:grid;grid-template-columns:26px auto minmax(0,1fr);align-items:center;gap:10px;min-height:29px;padding:0 8px;border-radius:6px;color:var(--text);transition:background .25s,color .25s,box-shadow .25s;white-space:pre}.ps-no{font-size:11.5px;color:var(--faint);text-align:right}.ps-line code{font:inherit}.ps-kw{color:#b4235a;font-weight:700}.ps-op{color:var(--accent);font-weight:700}.ps-hint{justify-self:end;font-style:normal;font-size:12.5px;color:var(--accent-strong);background:#fff;border:1px solid var(--accent-mid);padding:3px 8px;border-radius:6px;white-space:nowrap;max-width:100%;overflow:hidden;text-overflow:ellipsis;opacity:0;transform:translate(-6px);transition:opacity .25s,transform .25s}.ps-hint:not(:empty){opacity:1;transform:none}.ps-line.active{background:var(--accent-soft);box-shadow:inset 3px 0 var(--accent);color:var(--ink);font-weight:600}.ps-line.calling{background:repeating-linear-gradient(-45deg,#f8fafc,#f8fafc 6px,#eef2f7 6px 12px);box-shadow:inset 3px 0 var(--faint)}.ps-line.calling .ps-hint{color:var(--text-2);border-color:var(--line-2)}.ps-line.context .ps-hint{color:var(--muted);border-color:var(--line);background:var(--surface-2)}.ps-callee{display:grid;grid-template-rows:0fr;transition:grid-template-rows .35s ease;margin:0 4px 0 38px}.ps-callee[data-open=closure],.ps-callee[data-open=wave],.ps-callee[data-open=move]{grid-template-rows:1fr}.ps-callee-inner{overflow:hidden;border-left:3px solid var(--line-2);padding-left:6px;margin-top:6px}.ps-callee[data-open=closure] .ps-callee-inner,.ps-callee[data-open=wave] .ps-callee-inner{border-color:var(--eps-mid)}.ps-block[data-block=wave] .ps-line.context{background:var(--eps-soft)}.ps-callee[data-open=move] .ps-callee-inner{border-color:var(--move-mid)}.ps-callee .ps-line.active{box-shadow:inset 3px 0 var(--accent)}.ps-call-title{font:12.5px var(--sans);color:var(--muted);padding:6px 8px 4px}.ps-call-title small{display:block;margin-top:2px;font-size:11.5px;color:var(--faint)}.go-view{display:flex;flex-direction:column;flex:1;min-height:0}.callstack{padding:10px 14px;border-bottom:1px solid var(--line);display:flex;flex-direction:column;gap:4px}.callstack label{font-size:11.5px;color:var(--muted);font-weight:600;letter-spacing:.06em}.cs-frame{display:flex;align-items:baseline;gap:10px;font:12.5px var(--mono);color:var(--muted);padding:3px 8px;border-radius:5px;min-width:0}.cs-frame b{color:var(--text-2);font-weight:600}.cs-frame.active{background:var(--accent-soft);color:var(--text)}.cs-frame.active b{color:var(--accent-strong)}.cs-frame code,.cs-frame span{overflow:hidden;text-overflow:ellipsis;white-space:nowrap;min-width:0}.cs-frame em{margin-left:auto;font-style:normal;color:var(--faint);font-size:11.5px;flex-shrink:0}.go-scroll{position:relative;flex:1 1 0;min-height:320px;contain:size;overflow:auto;padding:8px 0;font:13px/23px var(--mono)}.go-bar{position:absolute;left:0;right:0;top:0;background:var(--accent-soft);border-left:3px solid var(--accent);transition:transform .3s cubic-bezier(.3,.7,.3,1),height .3s;pointer-events:none}.go-lines{position:relative}.code-row{display:flex;min-width:max-content}.code-row>span{width:48px;flex-shrink:0;text-align:right;padding-right:14px;color:var(--faint);font-size:11.5px;user-select:none}.code-row>code{white-space:pre;font:inherit;padding-right:20px;color:#24292f;tab-size:4}.code-row.hl{background:#2f5bd30f}.code-row.hl-main>span{color:var(--accent);font-weight:700}.tk-com{color:#6e7781}.tk-str{color:#0a3069}.tk-num{color:#0550ae}.tk-kw{color:#cf222e}.tk-bi{color:#8250df}.tk-ty{color:#953800}.tk-fn{color:#6639ba}.code-link{font:inherit;color:#0550ae;text-decoration:underline;text-decoration-color:#9ec2f2;text-underline-offset:3px}.queue-card{margin-bottom:16px}.queue-wrap{position:relative;overflow-x:auto;padding:16px 20px 40px}.queue{display:flex;gap:8px;min-height:60px;align-items:stretch}.q-empty{align-self:center}.q-cell{position:relative;min-width:96px;padding:8px 12px;border:1.5px solid var(--line-2);border-radius:9px;background:#fff;display:flex;flex-direction:column;gap:2px;transition:background .3s,border-color .3s,opacity .3s}.q-idx{font:11px var(--mono);color:var(--faint)}.q-cell b{font:700 15px var(--mono);color:var(--ink)}.q-cell small{font:12px var(--mono);color:var(--muted);white-space:nowrap}.q-cell.final b:after{content:" ◎";font-weight:400;color:var(--text-2)}.q-cell.done{background:var(--surface-2);border-color:var(--line);opacity:.75}.q-check{position:absolute;top:6px;right:8px;font-style:normal;font-size:12px;color:var(--new)}.q-cell.head{border-color:var(--accent);background:var(--accent-soft);box-shadow:0 0 0 3px #2f5bd31f}.q-cell.head b{color:var(--accent-strong)}.q-cell.enter{animation:slide-in .5s cubic-bezier(.2,.8,.3,1.15) both;border-color:var(--new)}.q-cell.reused{border-color:var(--reuse);animation:nudge .6s ease-out}.q-pointer{position:absolute;left:20px;bottom:12px;transition:transform .45s cubic-bezier(.3,.7,.3,1);pointer-events:none}.q-pointer span{display:block;transform:translate(-50%);font:700 12.5px var(--mono);color:var(--accent);white-space:nowrap}.q-pointer.end span{color:var(--new)}.result-grid,.verify-grid{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:16px;margin-bottom:16px}.result-grid>.card,.verify-grid>.card{display:flex;flex-direction:column;min-width:0}.table-wrap{overflow:auto;max-height:380px;flex:1}table{width:100%;border-collapse:collapse;font-size:14px}th{position:sticky;top:0;z-index:1;background:var(--surface-2);color:var(--muted);font-weight:600;font-size:12.5px;text-align:left}th code{color:var(--move);font-size:14px}th,td{padding:10px 18px;border-bottom:1px solid var(--line);white-space:nowrap}td.mono{font:14px var(--mono);color:var(--ink)}td.set{color:var(--text-2)}.state-link,.state-name{font:700 14px var(--mono);color:var(--ink);display:inline-flex;gap:4px;align-items:baseline}.state-link:hover{color:var(--accent);text-decoration:underline}.mark{font-style:normal;color:var(--text-2);font-weight:400}.mark.final{color:var(--text-2)}.tag{margin-left:8px;font-size:11.5px;padding:2px 7px;border-radius:5px;background:var(--surface-2);color:var(--muted);border:1px solid var(--line)}.pending{color:var(--line-2)}b.q{color:var(--move);font-weight:700}.cell-computing{background:var(--move-soft)}.cell-computing .q{animation:blink 1s ease-in-out infinite}.cell-write{background:var(--accent-soft);color:var(--accent-strong)!important;font-weight:700!important}.cell-write.flash{animation:flash 1.1s ease-out}.row-from td:first-child{box-shadow:inset 3px 0 var(--accent)}.row-from{background:#fafbff}.row-new{animation:row-in .6s ease-out}.row-current{background:var(--accent-soft)}.row-current td:first-child{box-shadow:inset 3px 0 var(--accent)}.verify-bar{display:flex;align-items:center;gap:20px;padding:14px 18px;margin-bottom:16px;flex-wrap:wrap}#v-form{display:flex;gap:10px;flex:1;min-width:300px}#v-word{flex:1;min-width:0;border:1px solid var(--line-2);border-radius:8px;padding:8px 12px;font:15px var(--mono);color:var(--ink);background:#fff}.v-keys-wrap{display:flex;align-items:center;gap:8px}.set-pill{font:600 13px var(--mono);padding:4px 10px;border-radius:7px;background:var(--surface-2);border:1px solid var(--line);color:var(--text-2);white-space:nowrap}.set-pill.accent{background:var(--accent-soft);border-color:var(--accent-mid);color:var(--accent-strong)}.verify-result{display:flex;flex-direction:column;gap:14px;padding:16px 20px;margin-bottom:16px}.v-result{display:flex;gap:14px;align-items:flex-start;min-height:44px}.v-path{font:15px/1.8 var(--mono);color:var(--ink);overflow-wrap:anywhere}.v-path i{font-style:normal;color:var(--move)}.v-result small{font-size:13.5px;color:var(--text-2);line-height:1.7}.verdict{flex-shrink:0;padding:5px 12px;border-radius:7px;font-weight:700;font-size:14px}.verdict.yes{background:var(--new-soft);color:var(--new)}.verdict.no{background:var(--bad-soft);color:var(--bad)}footer{display:flex;justify-content:space-between;flex-wrap:wrap;gap:8px 20px;padding:22px 0 30px;margin-top:18px;border-top:1px solid var(--line);font-size:12.5px;color:var(--muted);line-height:1.8}footer p{flex-basis:100%}dialog{width:min(1060px,calc(100vw - 36px));max-height:88vh;padding:0;border:1px solid var(--line);border-radius:14px;box-shadow:0 30px 90px #0f172a47;color:var(--text);background:#fff}dialog::backdrop{background:#0f172a59;backdrop-filter:blur(3px)}.dialog-heading{position:sticky;top:0;z-index:2;display:flex;align-items:center;gap:16px;padding:18px 24px;border-bottom:1px solid var(--line);background:#fff}.dialog-heading h2{font-size:20px;font-weight:700;color:var(--ink);margin-top:3px}#close-dialog{margin-left:auto;font-size:20px;width:36px;padding:0}.lesson{padding:22px 30px 26px;font-size:15.5px;line-height:1.95;color:var(--text)}.lesson-tabs{display:flex;flex-wrap:wrap;gap:6px;margin-bottom:18px}.lesson-tabs button{font-size:12.5px;padding:4px 10px;border-radius:999px;border:1px solid var(--line);color:var(--text-2)}.lesson-tabs button.active{background:var(--accent);border-color:var(--accent);color:#fff}.lesson-formula{padding:16px 20px;margin-bottom:18px;border-radius:10px;background:var(--accent-soft);font:20px/1.7 var(--mono);color:var(--accent-strong);overflow-wrap:anywhere}.lesson aside{margin:20px 0;padding:14px 20px;border-left:3px solid var(--accent-mid);background:var(--surface-2);border-radius:0 8px 8px 0;font-size:14.5px;color:var(--text-2)}.lesson aside b{color:var(--ink)}.lesson-navigation{display:flex;justify-content:space-between;align-items:center;gap:12px;margin-top:20px}.source-purpose{padding:18px 24px;font-size:14px;line-height:1.85;color:var(--text)}.source-purpose label{display:block;font-size:11.5px;letter-spacing:.1em;color:var(--muted);font-weight:600;margin-bottom:4px}.source-purpose small{display:block;margin-top:6px;color:var(--muted);font-size:12.5px}.go-code{position:relative;margin:0 20px;max-height:52vh;overflow:auto;padding:10px 0;border:1px solid var(--line);border-radius:10px;background:#fbfcfd;font:13.5px/25px var(--mono)}.go-code .code-row.hl-main{background:var(--accent-soft);box-shadow:inset 3px 0 var(--accent)}.related{display:flex;align-items:center;flex-wrap:wrap;gap:8px;padding:18px 24px}.related>span{font-size:12.5px;color:var(--muted)}.button.mono{font-family:var(--mono);font-size:12.5px}@keyframes fade-in{0%{opacity:0;transform:translateY(6px)}}@keyframes pop{0%{transform:scale(.4);opacity:0}70%{transform:scale(1.12);opacity:1}to{transform:none}}@keyframes leave{to{transform:translateY(-16px) scale(.7);opacity:0}}@keyframes slide-in{0%{transform:translate(30px) scale(.9);opacity:0}}@keyframes nudge{30%{transform:translateY(-5px);box-shadow:0 0 0 5px var(--reuse-soft)}}@keyframes breathe{50%{stroke-opacity:.25}}@keyframes blink{50%{opacity:.25}}@keyframes flash{0%{box-shadow:inset 0 0 0 2px var(--accent);background:#cbd8ff}}@keyframes row-in{0%{background:var(--new-soft)}}body.presenting main{max-width:1760px;padding-top:16px}body.presenting .topbar{padding:0 max(24px,calc((100vw - 1760px)/2 + 32px))}body.presenting .hero,body.presenting footer,body.presenting .tl-legend{display:none}body.presenting .act-lead h2{font-size:25px}body.presenting .act-lead p{font-size:17px}body.presenting .graph{height:380px}body.presenting .caption h3{font-size:24px}body.presenting .caption p{font-size:17px}body.presenting .pseudo{font-size:16.5px}body.presenting .ps-line{min-height:34px}body.presenting .ps-hint{font-size:14.5px}body.presenting .chip{min-width:32px;height:32px;font-size:16px}body.presenting .w-name{font-size:16px}body.presenting .w-desc{font-size:14px}body.presenting td,body.presenting .state-link,body.presenting td.mono{font-size:17px}body.presenting .b-body h3{font-size:23px}body.presenting .b-body p{font-size:17.5px}body.presenting .b-code-body{font-size:14px;line-height:23px}body.presenting .concepts li{font-size:14.5px}body.presenting .go-scroll{font-size:15px;line-height:26px}@media(max-width:1180px){.stage-grid,.bridge-grid,.result-grid,.verify-grid{grid-template-columns:minmax(0,1fr)}.stage-left{border-right:0;border-bottom:1px solid var(--line)}.go-scroll{min-height:400px}.concepts{grid-template-columns:repeat(3,minmax(0,1fr))}.insight{grid-template-columns:minmax(0,1fr)}.player{flex-wrap:wrap}.timeline{order:5;flex-basis:100%}}@media(max-width:720px){main{padding:20px 14px 0}.topbar{padding:0 14px}.brand .muted,.brand .divider,.engine-status{display:none}.hero h1{font-size:24px}.subtitle{font-size:14px}.sample-bar{flex-wrap:wrap}.editor-panel{grid-template-columns:minmax(0,1fr)}.editor-panel textarea{border-right:0;border-bottom:1px solid var(--line)}.acts{gap:6px}.acts [role=tab]{padding:10px;gap:8px}.act-text small,.act-arrow{display:none}.concepts{grid-template-columns:minmax(0,1fr)}.b-controls{flex-wrap:wrap}.b-dots{flex-basis:100%;justify-content:center}.caption{grid-template-columns:minmax(0,1fr)}.caption h3{font-size:17px}.graph,.graph.dfa-graph{height:270px}.watch-row{grid-template-columns:44px minmax(0,1fr)}.watch-row .w-val{grid-column:1 / -1;padding-bottom:6px}.ps-line{grid-template-columns:20px minmax(0,1fr);white-space:pre-wrap}.ps-hint{grid-column:2;justify-self:start}.pseudo{font-size:13px}th,td{padding:9px 12px}}@media(prefers-reduced-motion:reduce){*,*:before,*:after{animation:none!important;transition:none!important;scroll-behavior:auto!important}}