:root{--bg:#f4f5f8;--surface:#fff;--surface-2:#eef1f6;--ink:#17202d;--muted:#5a6578;--line:#d7dce5;--line-strong:#b6bfcd;--accent:#2456c9;--accent-ink:#fff;--accent-soft:#e3ebfb;--ok:#127a4a;--ok-soft:#dff3e8;--no:#b42318;--no-soft:#fbe4e1;--warn:#a15c00;--t3:#0e8a7c;--t2:#2456c9;--t1:#7a4cc2;--t0:#c25a12;--t3-soft:#dcf2ee;--t2-soft:#e3ebfb;--t1-soft:#eee6fa;--t0-soft:#fbeadd;--f-soft:#2456c9;--f-life:#0e8a7c;--f-net:#c25a12;--f-game:#b0307a;--grid:#2456c90f;--shadow:0 1px 2px #141e320f,0 4px 14px #141e320f;--radius:12px;--font:system-ui,-apple-system,"Segoe UI",Roboto,"Helvetica Neue",Arial,sans-serif;--mono:ui-monospace,"Cascadia Code","SF Mono",Consolas,"Liberation Mono",monospace;--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light}@media (prefers-color-scheme:dark){:root:not([data-theme=light]){--bg:#0e131a;--surface:#161d27;--surface-2:#1d2633;--ink:#e6ebf2;--muted:#9aa6b8;--line:#2a3544;--line-strong:#3c4a5d;--accent:#7aa2ff;--accent-ink:#0b1220;--accent-soft:#1d2a47;--ok:#4fd18e;--ok-soft:#143424;--no:#ff7b6b;--no-soft:#3a1c19;--warn:#f0b35a;--t3:#3fd0bd;--t2:#7aa2ff;--t1:#b897f2;--t0:#f29a5a;--t3-soft:#123430;--t2-soft:#1d2a47;--t1-soft:#2a2140;--t0-soft:#3a2516;--f-soft:#7aa2ff;--f-life:#3fd0bd;--f-net:#f29a5a;--f-game:#f27ac0;--grid:#7aa2ff0d;--shadow:0 1px 2px #0000004d,0 4px 14px #00000040;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}}:root[data-theme=dark]{--bg:#0e131a;--surface:#161d27;--surface-2:#1d2633;--ink:#e6ebf2;--muted:#9aa6b8;--line:#2a3544;--line-strong:#3c4a5d;--accent:#7aa2ff;--accent-ink:#0b1220;--accent-soft:#1d2a47;--ok:#4fd18e;--ok-soft:#143424;--no:#ff7b6b;--no-soft:#3a1c19;--warn:#f0b35a;--t3:#3fd0bd;--t2:#7aa2ff;--t1:#b897f2;--t0:#f29a5a;--t3-soft:#123430;--t2-soft:#1d2a47;--t1-soft:#2a2140;--t0-soft:#3a2516;--f-soft:#7aa2ff;--f-life:#3fd0bd;--f-net:#f29a5a;--f-game:#f27ac0;--grid:#7aa2ff0d;--shadow:0 1px 2px #0000004d,0 4px 14px #00000040;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}*{box-sizing:border-box}html{-webkit-text-size-adjust:100%;font-size:16px}html[data-beamer]{font-size:21px}body{background:var(--bg);color:var(--ink);font-family:var(--font);background-image:linear-gradient(var(--grid) 1px,transparent 1px),linear-gradient(90deg,var(--grid) 1px,transparent 1px);background-size:24px 24px;margin:0;line-height:1.55}h1,h2,h3,h4{margin:0;line-height:1.25}h1{letter-spacing:-.01em;font-size:1.9rem}h2{margin:2.2rem 0 .7rem;font-size:1.35rem}h3{font-size:1.05rem}p{margin:.6rem 0}a{color:var(--accent)}code,kbd,.mono{font-family:var(--mono)}code{background:var(--surface-2);border:1px solid var(--line);border-radius:5px;padding:0 .3em;font-size:.92em}kbd{border:1px solid var(--line-strong);background:var(--surface);border-bottom-width:2px;border-radius:5px;padding:0 .35em;font-size:.85em}.math{white-space:nowrap;font-family:Cambria Math,STIX Two Math,Cambria,Georgia,serif;font-style:italic}button{font:inherit;color:inherit;cursor:pointer;border:1px solid var(--line-strong);background:var(--surface);border-radius:8px;padding:.4em .8em;line-height:1.3}button:hover:not(:disabled){border-color:var(--accent)}button:disabled{opacity:.45;cursor:default}button.primary{background:var(--accent);color:var(--accent-ink);border-color:var(--accent);font-weight:600}button.ghost{color:var(--accent);background:0 0;border-color:#0000}button.ghost:hover{background:var(--accent-soft)}:focus-visible{outline:3px solid var(--accent);outline-offset:2px}input,textarea{font:inherit;color:var(--ink);background:var(--surface);border:1px solid var(--line-strong);border-radius:8px;width:100%;padding:.45em .6em}input[type=range]{accent-color:var(--accent);padding:0}textarea{resize:vertical}label{color:var(--muted);flex-direction:column;gap:.25rem;font-size:.9rem;font-weight:500;display:flex}label input,label textarea{color:var(--ink)}.skip{position:absolute;left:-999px}.skip:focus{z-index:50;background:var(--surface);padding:.4rem .8rem;top:.5rem;left:1rem}.app{grid-template-rows:auto 1fr;grid-template-columns:290px minmax(0,1fr);min-height:100vh;display:grid}.topbar{background:var(--surface);border-bottom:1px solid var(--line);z-index:20;grid-column:1/-1;align-items:center;gap:1rem;padding:.6rem 1.2rem;display:flex;position:sticky;top:0}.brand{color:var(--ink);align-items:center;gap:.55rem;font-size:1.1rem;font-weight:700;text-decoration:none;display:flex}.brand span{color:var(--muted);font-weight:400}.brand svg{fill:none;width:38px;height:19px;stroke:var(--accent);stroke-width:2.4px}.brand svg .fill{fill:var(--accent);stroke:none}.top-actions{gap:.5rem;margin-left:auto;display:flex}.icon-button{align-items:center;gap:.4rem;display:inline-flex}.icon-button.on{background:var(--accent-soft);border-color:var(--accent)}.menu-button{display:none}.sidebar{border-right:1px solid var(--line);background:var(--surface);flex-direction:column;gap:.6rem;height:calc(100dvh - 57px);padding:.8rem .8rem .6rem;display:flex;position:sticky;top:57px;overflow:auto}.nav{flex-direction:column;gap:2px;margin:0;padding:0;list-style:none;display:flex}.nav a{color:var(--ink);border-radius:9px;align-items:center;gap:.65rem;padding:.45rem .6rem;text-decoration:none;display:flex}.nav a:hover{background:var(--surface-2)}.nav a[aria-current=page]{background:var(--accent-soft);box-shadow:inset 3px 0 0 var(--accent)}.nav .num{border:1.5px solid var(--line-strong);width:1.6rem;height:1.6rem;color:var(--muted);border-radius:50%;flex:none;place-items:center;font-size:.8rem;display:grid}.nav a.seen .num{border-color:var(--accent);color:var(--accent)}.nav a.complete .num{background:var(--ok);border-color:var(--ok);color:#fff}.nav-text{flex-direction:column;line-height:1.2;display:flex}.nav-text small{color:var(--muted);font-size:.75rem}.ticks{color:var(--muted);margin-left:auto;font-size:.75rem}.complete .ticks{color:var(--ok);font-weight:700}.minimap{flex-direction:column;flex:1 1 0;justify-content:flex-end;min-height:80px;display:flex}.minimap-open{background:var(--surface-2);border-color:var(--line);flex-direction:column;align-items:center;gap:.3rem;width:100%;min-height:0;max-height:100%;padding:.5rem;display:flex}.minimap .chomsky{flex:0 auto;width:100%;height:auto;min-height:0;max-height:100%}.sidebar-foot{flex-wrap:wrap;align-items:center;gap:.1rem .7rem;font-size:.8rem;display:flex}.sidebar-foot .ghost{padding:.2rem .3rem}.version{color:var(--muted);font-size:.75rem}.small-label{color:var(--muted);font-size:.78rem;font-weight:500}.main{outline:none;width:100%;max-width:1080px;padding:2rem clamp(1rem,4vw,3.5rem) 4rem}html[data-beamer] .main{max-width:1500px}html[data-beamer] .app{grid-template-columns:minmax(0,1fr)}html[data-beamer] .menu-button{display:inline-flex}html[data-beamer] .sidebar{display:none}html[data-beamer] .menu-open .sidebar{z-index:30;width:330px;box-shadow:var(--shadow);display:flex;position:fixed;top:57px;left:0}.chapter-head{flex-direction:column;align-items:flex-start;gap:.5rem;margin-bottom:1rem;display:flex}.lead{color:var(--muted);max-width:60rem;font-size:1.12rem}.pager{border-top:1px solid var(--line);justify-content:space-between;margin-top:3rem;padding-top:1.2rem;display:flex}.pager button{padding:.6em 1.1em}.tag{letter-spacing:.02em;border:1px solid;border-radius:99px;padding:.15em .6em;font-size:.75rem;font-weight:700;display:inline-block}.tag.t3{color:var(--t3);background:var(--t3-soft)}.tag.t2{color:var(--t2);background:var(--t2-soft)}.tag.t1{color:var(--t1);background:var(--t1-soft)}.tag.t0{color:var(--t0);background:var(--t0-soft)}.scenario{background:var(--surface);border:1px solid var(--line);border-left:4px solid var(--accent);border-radius:var(--radius);box-shadow:var(--shadow);gap:1rem;padding:1rem 1.2rem;display:flex}.scenario-icon{font-size:2.2rem;line-height:1}.scenario p:first-child{margin-top:0}.scenario p:last-child{margin-bottom:0}.formal{background:var(--surface-2);border:1px dashed var(--line-strong);border-radius:var(--radius);margin:1.6rem 0;padding:1rem 1.2rem}.formal h3{text-transform:uppercase;letter-spacing:.08em;color:var(--muted);margin-bottom:.3rem;font-size:.8rem}.formal ul{margin:.4rem 0;padding-left:1.2rem}.uses{grid-template-columns:repeat(auto-fit,minmax(210px,1fr));gap:.8rem;display:grid}.use{background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);box-shadow:var(--shadow);padding:.9rem 1rem}.use>span{font-size:1.6rem}.use h4{margin:.3rem 0 .2rem}.use p{color:var(--muted);margin:0;font-size:.92rem}.hint{color:var(--muted);background:var(--surface);border:1px solid var(--line);border-radius:10px;padding:.7rem 1rem;font-size:.92rem}.table{border-collapse:collapse;background:var(--surface);border-radius:var(--radius);border:1px solid var(--line);width:100%;margin:1rem 0;font-size:.93rem;overflow:hidden}.table th,.table td{text-align:left;border-bottom:1px solid var(--line);vertical-align:top;padding:.5rem .8rem}.table th{background:var(--surface-2);color:var(--muted);font-size:.82rem}.table td .chip{margin:0 .3rem .3rem 0}.row{flex-wrap:wrap;align-items:center;gap:.5rem;display:flex}.split{flex-wrap:wrap;gap:1rem;display:flex}.grow{flex:300px;min-width:0}.ok-text{color:var(--ok)}.no-text{color:var(--no)}.sim{background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);box-shadow:var(--shadow);outline:none;flex-direction:column;gap:.8rem;margin:1rem 0;padding:1rem 1.1rem;display:flex}.sim:focus-within,.sim:focus{border-color:var(--line-strong)}.sim-input{flex-direction:column;gap:.5rem;display:flex}.sim-input.two{flex-flow:wrap;gap:.8rem}.sim-input.two>label{flex:200px}.presets{flex-wrap:wrap;gap:.4rem;display:flex}.chip{background:var(--surface-2);border-color:var(--line);border-radius:99px;padding:.2em .75em;font-size:.85rem}.chip.on{background:var(--accent-soft);border-color:var(--accent);color:var(--accent);font-weight:600}.word{font-family:var(--mono);flex-wrap:wrap;gap:3px;font-size:1.2rem;display:flex}.word>span{border:1px solid var(--line);background:var(--surface-2);border-radius:6px;place-items:center;min-width:1.5em;height:1.9em;padding:0 .15em;display:grid}.word>span.read{background:var(--accent-soft);border-color:var(--accent);color:var(--accent)}.word>span.next{border:2px solid var(--accent)}.word>span.bad{background:var(--no-soft);border-color:var(--no);color:var(--no)}.word>span.hit{background:var(--ok-soft);border-color:var(--ok);color:var(--ok);font-weight:700}.word .empty{color:var(--muted);background:0 0;border:none;font-size:.9rem}.word.code-line{gap:0}.word.code-line>span{background:0 0;border:none;border-radius:0;min-width:.75em;height:auto;padding:.1em 0}.word.code-line>span.br{font-weight:700}.word.code-line>span.read{background:var(--accent-soft);color:inherit}.word.code-line>span.next{box-shadow:inset 0 -3px 0 var(--accent)}.squiggle{-webkit-text-decoration:underline wavy var(--no);text-decoration:underline wavy var(--no);text-underline-offset:5px}.controls{flex-wrap:wrap;align-items:center;gap:.4rem;display:flex}.counter{color:var(--muted);font-variant-numeric:tabular-nums;margin-left:.4rem;font-size:.85rem}.verdict{background:var(--surface-2);border:1px solid var(--line);border-radius:8px;margin:0;padding:.55rem .8rem}.verdict.ok{background:var(--ok-soft);border-color:var(--ok)}.verdict.no{background:var(--no-soft);border-color:var(--no)}.set{font-family:var(--mono);font-weight:700}.diagram{width:100%;height:auto;max-height:min(420px,46dvh);font-family:var(--font)}.diagram .edge{fill:none;stroke:var(--line-strong);stroke-width:1.8px}.diagram .arrowhead{fill:var(--line-strong)}.diagram .arrowhead.hot{fill:var(--accent)}.diagram .hot .edge{stroke:var(--accent);stroke-width:3px}.diagram .edge-label{fill:var(--muted);paint-order:stroke;stroke:var(--surface);stroke-width:4px;font-size:13px}.diagram .hot .edge-label{fill:var(--accent);font-weight:700}.diagram .state-ring{fill:var(--surface);stroke:var(--ink);stroke-width:2px;transition:fill .2s}.diagram .state-inner{fill:none;stroke:var(--ink);stroke-width:1.6px}.diagram .state-label{fill:var(--ink);font-size:15px;font-weight:600}.diagram .state-label.long{font-size:11.5px}.diagram .state-note{fill:var(--muted);font-size:11px}.diagram .state.on .state-ring{fill:var(--accent);stroke:var(--accent)}.diagram .state.on .state-inner{stroke:var(--accent-ink)}.diagram .state.on .state-label{fill:var(--accent-ink)}.diagram.dead .state-ring{stroke:var(--line-strong)}.diagram.dead .state-label{fill:var(--muted)}.code-edit,.code-view{font-size:.95rem;line-height:1.5}.code-view{background:var(--surface-2);border:1px solid var(--line);white-space:pre-wrap;border-radius:8px;min-height:8.5em;margin:0;padding:.6rem .7rem}.tk-zahl{color:var(--t3);font-weight:700}.tk-schluesselwort{color:var(--t2);font-weight:700}.tk-name{color:var(--ink)}.tk-operator{color:var(--t0);font-weight:700}.tk-klammer{color:var(--t1)}.tk-text{color:var(--f-game)}.tk-fehler{background:var(--no-soft);color:var(--no)}.legend{flex-wrap:wrap;gap:.4rem .9rem;font-size:.85rem;display:flex}.legend.fields span{align-items:center;gap:.4rem;display:inline-flex}.legend.fields i{border-radius:50%;width:.8rem;height:.8rem;display:inline-block}.figures{border-left-color:var(--t3)}.figures ul{margin:.3rem 0;padding-left:1.1rem}.power-grid{grid-template-columns:auto minmax(0,1fr);align-items:start;gap:1rem;display:grid}.power-grid>div{min-width:0;overflow-x:auto}.table.power{width:auto;margin:.3rem 0;font-size:.85rem}.table.power td,.table.power th{white-space:nowrap;padding:.3rem .55rem}.table.power tr.src td:first-child{background:var(--accent-soft);font-weight:700}.table.power td.now{background:var(--accent);color:var(--accent-ink);font-weight:700}.table.power td.name{color:var(--t3);font-weight:700}.power-run{flex-direction:column;gap:.4rem;display:flex}.run-line{overflow-wrap:anywhere;margin:0}.run-line .arrow{color:var(--muted)}.blowup{flex-wrap:wrap;gap:1rem;display:flex}.blowup>div{background:var(--surface-2);border:1px solid var(--line);border-radius:10px;flex-direction:column;flex:180px;padding:.5rem .8rem;display:flex}.blowup b{font-variant-numeric:tabular-nums;font-size:1.6rem}.links{padding-left:1.2rem}.links li{margin:.25rem 0}.links small{color:var(--muted)}.rx-out{background:var(--surface-2);border:1px solid var(--line);white-space:pre-wrap;overflow-wrap:anywhere;border-radius:8px;padding:.5rem .7rem;font-size:.95rem}.rx-out .ok{color:var(--ok)}.rx-out .no{color:var(--no)}.rx-out mark{background:var(--ok-soft);color:var(--ok);outline:1px solid var(--ok);border-radius:3px;font-weight:700}.tabs{flex-wrap:wrap;gap:.4rem;margin-top:1.5rem;display:flex}.tabs button{border-bottom:none;border-radius:10px 10px 0 0;padding:.5em 1em}.tabs button.on{background:var(--accent-soft);border-color:var(--accent);font-weight:600}.tabs small{color:var(--muted);font-weight:400}.machine{grid-template-columns:minmax(0,1fr) 220px;gap:1rem;display:grid}.machine-inputs{flex-direction:column;gap:.4rem;display:flex}.machine-inputs>button{text-align:left;font-family:var(--mono)}.machine-scene{min-height:150px;display:grid}.log{background:var(--surface-2);border:1px solid var(--line);border-radius:8px;min-height:3rem;margin:0;padding:.4rem .7rem .4rem 2rem;font-size:.88rem}.log .bad{color:var(--no)}.log .empty{color:var(--muted);margin-left:-1.3rem;list-style:none}.vending{background:var(--surface-2);border:1px solid var(--line);border-radius:14px;flex-direction:column;justify-content:center;align-items:center;gap:.6rem;padding:1rem;display:flex}.vending-display{color:#6dff9b;text-align:center;background:#0f1a12;border-radius:6px;min-width:12rem;padding:.4rem 1rem;font-size:1.2rem}.vending-tray{border:2px dashed var(--line-strong);border-radius:10px;flex-direction:column;align-items:center;gap:.2rem;min-width:14rem;min-height:3.5rem;padding:.4rem 1rem;display:flex}.vending-tray .empty{color:var(--muted);font-size:.85rem}.pop{animation:.35s ease-out pop}@keyframes pop{0%{opacity:0;transform:scale(.6)}to{opacity:1;transform:none}}.wire{background:var(--surface-2);border:1px solid var(--line);border-radius:14px;align-items:center;gap:1rem;padding:1rem;display:flex}.host{flex-direction:column;align-items:center;font-size:2.2rem;line-height:1;display:flex}.host span{color:var(--muted);font-size:.8rem;font-family:var(--mono);margin-top:.3rem}.packets{border-top:2px dashed var(--line-strong);flex:1;height:5rem;margin-top:2.5rem;position:relative}.packets>div{position:absolute;inset:0}.packet{font-family:var(--mono);white-space:nowrap;border-radius:6px;padding:.15em .6em;font-size:.85rem;font-weight:700;position:absolute}.packet.right{background:var(--accent);color:var(--accent-ink);animation:1.2s ease-out forwards right;top:-1.6rem}.packet.left{background:var(--t0);color:#fff;animation:1.2s ease-out .6s both left;top:.5rem}@keyframes right{0%{left:0}to{left:calc(100% - 6rem)}}@keyframes left{0%{left:calc(100% - 7rem)}to{left:0}}.stage{background:linear-gradient(var(--surface-2),var(--surface-2)) padding-box;border:1px solid var(--line);border-radius:14px;min-height:150px;position:relative;overflow:hidden}.stage:after{content:"";background:var(--line);height:28px;position:absolute;bottom:0;left:0;right:0}.guard{font-size:3rem;transition:left .6s;position:absolute;bottom:22px;left:30%}.bubble{background:var(--surface);border:1px solid var(--line-strong);white-space:nowrap;border-radius:12px;padding:.25rem .8rem;font-size:.9rem;position:absolute;top:.6rem;left:50%;transform:translate(-50%)}.player{font-size:2.4rem;position:absolute;bottom:22px;right:8%}.guard-Patrouille .guard{animation:3s ease-in-out infinite alternate patrol}.guard-Misstrauisch .guard{animation:1s ease-in-out infinite alternate look}.guard-Verfolgen .guard{animation:none;left:68%}.guard-Flucht .guard{left:4%}.guard-Verfolgen .bubble{border-color:var(--no);color:var(--no);font-weight:700}@keyframes patrol{0%{left:12%}to{left:45%}}@keyframes look{0%{transform:scaleX(1)}to{transform:scaleX(-1)}}.pda{grid-template-columns:minmax(0,1fr) 110px;align-items:start;gap:1rem;display:grid}.pda-left{flex-direction:column;gap:.7rem;min-width:0;display:flex}.rule{color:var(--accent);min-height:1.5em;margin:0;font-weight:600}.stack{border:2px solid var(--line-strong);background:var(--surface-2);border-top:none;border-radius:0 0 10px 10px;flex-direction:column;justify-content:flex-end;align-items:stretch;gap:3px;min-height:200px;padding:.5rem;display:flex}.stack .small-label{text-align:center;order:-1;margin-bottom:auto}.cell{font-family:var(--mono);text-align:center;background:var(--surface);border:1px solid var(--line-strong);border-radius:6px;padding:.2rem;font-size:1.15rem;font-weight:700;animation:.2s ease-out pop}.cell.top{background:var(--accent);color:var(--accent-ink);border-color:var(--accent)}.cell.bottom{background:var(--surface-2);color:var(--muted)}.cell.top.bottom{background:var(--accent-soft);color:var(--accent)}.pigeon-row{flex-wrap:wrap;gap:.35rem;display:flex}.pg{border:2px solid var(--line-strong);width:2.6rem;height:2.6rem;font-size:.8rem;font-family:var(--mono);border-radius:50%;place-items:center;display:grid}.pg.used{border-color:var(--accent);background:var(--accent-soft)}.pg.err{border-color:var(--no);color:var(--no)}.pipeline{grid-template-columns:repeat(3,minmax(0,1fr));gap:.5rem;margin:0;padding:0;list-style:none;display:grid}.pipeline li{background:var(--surface-2);border:1px solid var(--line);border-radius:10px;flex-direction:column;gap:.3rem;min-width:0;padding:.5rem .7rem;display:flex}.stage-name{text-transform:uppercase;letter-spacing:.06em;color:var(--muted);font-size:.75rem;font-weight:700}.tokens{flex-wrap:wrap;gap:3px;display:flex}.tokens span{font-family:var(--mono);border:1px solid;border-radius:5px;padding:0 .35em;font-size:.9rem}.derive{grid-template-columns:minmax(0,1fr) minmax(0,1.2fr);align-items:start;gap:1rem;display:grid}.derive-list{background:var(--surface-2);border:1px solid var(--line);border-radius:8px;max-height:340px;padding:.5rem .7rem;font-size:.88rem;overflow:auto}.derive-list .now{color:var(--accent);font-weight:700}.tree{width:100%;height:auto;margin:0 auto;display:block}.tree-edge{stroke:var(--line-strong);stroke-width:1.5px}.tree-node text{fill:var(--t2);font-size:15px;font-weight:700;font-family:var(--font)}.tree-node.term text{fill:var(--ink);font-family:var(--mono);font-weight:600}.tree-node.next text{fill:var(--t0);text-decoration:underline}.card-in{background:var(--surface-2);border:1px solid var(--line);border-radius:10px;padding:.7rem .9rem}.rules{margin:.4rem 0;font-size:.9rem}.tm-tape{justify-content:center;gap:3px;padding:.5rem 0 3.4rem;display:flex;position:relative;overflow:hidden}.tm-cell{width:2.3rem;height:2.6rem;font-family:var(--mono);background:var(--surface-2);border:1px solid var(--line-strong);border-radius:6px;flex:none;place-items:center;font-size:1.25rem;font-weight:700;display:grid}.tm-cell.blank{color:var(--line-strong);font-weight:400}.tm-cell.head{background:var(--accent-soft);border:2px solid var(--accent)}.tm-head{color:var(--accent);flex-direction:column-reverse;align-items:center;font-weight:700;line-height:1.1;display:flex;position:absolute;bottom:.3rem;left:50%;transform:translate(-50%)}.tm-head span{font-size:.8rem;font-family:var(--mono);background:var(--accent);color:var(--accent-ink);border-radius:5px;padding:0 .5em}.tm-rules{font-size:.85rem}.tm-rules tr.now td{background:var(--accent-soft);color:var(--accent);font-weight:700}.halting .contradiction{background:var(--no-soft);border:1px solid var(--no);border-radius:10px;padding:.2rem 1rem}.checks{gap:.8rem;display:grid}.check{background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);box-shadow:var(--shadow);padding:.9rem 1.1rem}.check.done{border-color:var(--ok)}.check header{align-items:center;gap:.6rem;display:flex}.check-mark{background:var(--accent-soft);width:1.7rem;height:1.7rem;color:var(--accent);border-radius:50%;flex:none;place-items:center;font-weight:800;display:grid}.check.done .check-mark{background:var(--ok);color:#fff}.check-task p{margin:.5rem 0}.choices{flex-direction:column;gap:.35rem;display:flex}.choice{text-align:left}.choice.right{background:var(--ok-soft);border-color:var(--ok)}.choice.wrong{background:var(--no-soft);border-color:var(--no)}.check-input{gap:.5rem;display:flex}.check-input input{font-family:var(--mono)}.feedback{margin:.5rem 0 0;font-weight:600}.feedback.ok{color:var(--ok)}.feedback.no{color:var(--no)}.check-actions{gap:.3rem;margin-top:.4rem;margin-left:-.5rem;display:flex}.solution{border-left:3px solid var(--ok);background:var(--ok-soft);border-radius:0 8px 8px 0;padding:.1rem .9rem}.chomsky{width:100%;height:auto;font-family:var(--font);display:block}.chomsky .region rect{stroke-width:1.2px;transition:fill .3s,stroke-width .3s}.chomsky .t0 rect{fill:var(--t0-soft);stroke:var(--t0)}.chomsky .t1 rect{fill:var(--t1-soft);stroke:var(--t1)}.chomsky .t2 rect{fill:var(--t2-soft);stroke:var(--t2)}.chomsky .t3 rect{fill:var(--t3-soft);stroke:var(--t3)}.chomsky .region.current rect{stroke-width:3.5px}.chomsky .region-label{font-size:13px;font-weight:800}.chomsky.large .region-label{font-size:9px}.chomsky .region-sub{fill:var(--muted);font-size:7.5px;font-weight:500}.chomsky .t0 .region-label{fill:var(--t0)}.chomsky .t1 .region-label{fill:var(--t1)}.chomsky .t2 .region-label{fill:var(--t2)}.chomsky .t3 .region-label{fill:var(--t3)}.chomsky .spot circle{stroke:var(--surface);stroke-width:1.2px}.chomsky .spot-label{fill:var(--ink);paint-order:stroke;stroke:var(--surface);stroke-width:2px;font-size:6.2px}.chomsky .spot.clickable{cursor:pointer}.chomsky .spot.clickable:hover circle,.chomsky .spot.clickable:focus circle{r:6}.chomsky .spot.pulse circle{animation:1.4s ease-in-out infinite pulse}@keyframes pulse{50%{r:7}}.bigmap{background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);box-shadow:var(--shadow);padding:.6rem}.map-dialog{background:var(--surface);color:var(--ink);border:none;border-radius:16px;width:min(1000px,94vw);padding:0;box-shadow:0 20px 60px #00000059}.map-dialog::backdrop{background:#0a0f198c}.map-dialog-inner{padding:1rem 1.2rem}.map-dialog header{justify-content:space-between;align-items:center;margin-bottom:.5rem;display:flex}.map-dialog h2{margin:0;font-size:1.15rem}.chapter-cards{grid-template-columns:repeat(auto-fill,minmax(270px,1fr));gap:.6rem;margin:0;padding:0;list-style:none;display:grid}.chapter-cards button{text-align:left;border-radius:var(--radius);border-color:var(--line);width:100%;box-shadow:var(--shadow);align-items:center;gap:.8rem;padding:.75rem .9rem;display:flex}.chapter-cards .num{background:var(--accent-soft);width:2rem;height:2rem;color:var(--accent);border-radius:50%;flex:none;place-items:center;font-weight:800;display:grid}.chapter-cards b{display:block}.chapter-cards small{color:var(--muted)}.chapter-cards .tag{white-space:nowrap;margin-left:auto}.rules-of-thumb li{margin:.4rem 0}.intro{background:var(--surface);border:1px solid var(--line);box-shadow:var(--shadow);border-radius:16px;outline:none;margin:1.2rem 0;overflow:hidden}.intro-stage{aspect-ratio:16/9;background:var(--surface-2);border-radius:0 0 10px 10px;width:min(100%,177.778dvh - 29.5111rem);margin:0 auto;position:relative;overflow:hidden}.intro:fullscreen{background:var(--surface);border-radius:0;flex-direction:column;justify-content:center;margin:0;display:flex}.intro:fullscreen .intro-stage{width:min(100%,177.778dvh - 16rem)}.intro:fullscreen .intro-chapters{display:none}.intro:fullscreen .intro-caption{text-align:center;font-size:1.3rem}.intro-svg{width:100%;height:100%;font-family:var(--font);position:absolute;inset:0}.intro-poster{background:color-mix(in srgb,var(--surface) 55%,transparent);-webkit-backdrop-filter:blur(2px);backdrop-filter:blur(2px);border:none;border-radius:0;flex-direction:column;justify-content:center;align-items:center;gap:.8rem;font-size:1.1rem;font-weight:600;display:flex;position:absolute;inset:0}.big-play{background:var(--accent);width:5rem;height:5rem;color:var(--accent-ink);box-shadow:var(--shadow);border-radius:50%;place-items:center;padding-left:.3rem;font-size:2rem;display:grid}.intro-cta{box-shadow:var(--shadow);padding:.7em 1.4em;font-size:1.15rem;animation:.4s ease-out pop;position:absolute;bottom:6%;right:4%}.intro-caption{border-top:1px solid var(--line);margin:0;max-width:60rem;min-height:3.6em;margin-inline:auto;padding:.6rem 1.2rem;font-size:1.08rem}.intro-controls{flex-wrap:wrap;align-items:center;gap:.7rem;padding:0 1.2rem .6rem;display:flex}.scrub{flex:200px;align-items:center;display:flex;position:relative}.scrub .marks{pointer-events:none;position:absolute;inset:0}.scrub .marks span{background:var(--line-strong);width:2px;height:12px;margin-top:-6px;position:absolute;top:50%}.scrub .marks span.on{background:var(--accent)}.intro-chapters{flex-wrap:wrap;gap:.3rem;margin:0;padding:0 1.2rem .7rem;list-style:none;display:flex}.intro-chapters button{background:var(--surface-2);border-color:var(--line);border-radius:99px;padding:.15em .6em;font-size:.78rem}.intro-chapters button.on{background:var(--accent);color:var(--accent-ink);border-color:var(--accent)}.iv-bg{fill:var(--surface-2)}.iv-region rect{stroke-width:8px}.iv-region.t0 rect{fill:var(--t0-soft);stroke:var(--t0)}.iv-region.t1 rect{fill:var(--t1-soft);stroke:var(--t1)}.iv-region.t2 rect{fill:var(--t2-soft);stroke:var(--t2)}.iv-region.t3 rect{fill:var(--t3-soft);stroke:var(--t3)}.iv-region-label{font-size:56px;font-weight:800}.iv-region-sub{fill:var(--muted);font-size:34px}.iv-region.t0 .iv-region-label{fill:var(--t0)}.iv-region.t1 .iv-region-label{fill:var(--t1)}.iv-region.t2 .iv-region-label{fill:var(--t2)}.iv-region.t3 .iv-region-label{fill:var(--t3)}.iv-device{fill:var(--surface);stroke:var(--ink);stroke-width:6px}.iv-screen{fill:var(--surface-2);stroke:var(--line-strong);stroke-width:3px}.iv-screen.dark{fill:#0f1a12}.iv-display{font-family:var(--mono);fill:#6dff9b;font-size:30px}.iv-h{fill:var(--ink);font-size:38px;font-weight:800}.iv-small{fill:var(--muted);font-size:26px}.iv-small.ok{fill:var(--ok)}.iv-small.bad{fill:var(--no)}.iv-tiny{fill:var(--muted);font-size:20px;font-weight:600}.iv-field{fill:var(--surface);stroke:var(--line-strong);stroke-width:4px}.iv-field.ok{stroke:var(--ok)}.iv-field.bad{stroke:var(--no)}.iv-button{fill:var(--line)}.iv-button.ok{fill:var(--accent)}.iv-btn{fill:var(--surface);font-size:26px;font-weight:700}.iv-mono{font-family:var(--mono);fill:var(--ink);font-size:30px}.iv-mono.iv-input{font-size:25px}.iv-mono.on,.iv-mono .read,.iv-code .read{fill:var(--accent);font-weight:700}.iv-code{font-family:var(--mono);fill:var(--ink);font-size:40px}.iv-code .br{font-weight:800}.iv-nt{fill:var(--t2);font-size:40px;font-weight:800}.iv-big{fill:var(--t1);font-size:140px;font-weight:800}.iv-a{fill:var(--t3)}.iv-b{fill:var(--t2)}.iv-c{fill:var(--t0)}.iv-edge{stroke:var(--line-strong);stroke-width:4px}.iv-state{fill:var(--surface);stroke:var(--ink);stroke-width:4px}.iv-state.on{fill:var(--accent);stroke:var(--accent)}.iv-state-inner{fill:none;stroke:var(--ink);stroke-width:3px}.iv-slot{fill:var(--surface-2);stroke:var(--line-strong);stroke-width:3px}.iv-coin{fill:#e0b23c;stroke:#9a7413;stroke-width:4px}.iv-can{fill:var(--no)}.iv-dot{fill:var(--line-strong)}.iv-cell{fill:var(--surface);stroke:var(--line-strong);stroke-width:3px}.iv-cell.top{fill:var(--accent-soft);stroke:var(--accent)}.iv-head{fill:var(--accent)}.iv-loop{fill:none;stroke:var(--t0);stroke-width:12px}.prose{max-width:46rem}@media (height<=820px){.nav a{padding:.28rem .6rem}.nav .num{width:1.4rem;height:1.4rem}}@media (width<=900px){.app{grid-template-columns:minmax(0,1fr)}.menu-button{display:inline-flex}.sidebar{display:none}.menu-open .sidebar{z-index:30;width:min(330px,88vw);box-shadow:var(--shadow);display:flex;position:fixed;top:57px;left:0}.main{padding:1.2rem 1rem 3rem}.machine,.pda,.derive,.power-grid,.pipeline{grid-template-columns:minmax(0,1fr)}.stack{max-width:140px;min-height:120px}.brand span,.icon-button .label{display:none}h1{font-size:1.5rem}.scenario{flex-direction:column;gap:.4rem}.table{display:block;overflow-x:auto}}@media (prefers-reduced-motion:reduce){*{transition:none!important;animation:none!important}}@media print{.topbar,.sidebar,.pager,.controls{display:none}.app{display:block}}