:root{--bg:#fff;--surface:#fff;--surface-2:#f5f6f8;--surface-3:#eceef2;--ink:#15171c;--muted:#687083;--line:#e6e8ed;--line-strong:#cdd2db;--accent:#2d5be3;--accent-ink:#fff;--accent-soft:#edf2fe;--ok:#127a55;--ok-soft:#e7f5ee;--no:#c2410c;--no-soft:#fdefe8;--warn:#a85d06;--t3:#0f8a7e;--t2:#2d5be3;--t1:#7c4dce;--t0:#c8590f;--t3-soft:#e5f5f2;--t2-soft:#edf2fe;--t1-soft:#f2edfb;--t0-soft:#fcefe5;--f-soft:#2d5be3;--f-life:#0f8a7e;--f-net:#c8590f;--f-game:#b0307a;--radius:10px;--font:system-ui,-apple-system,"Segoe UI",Roboto,"Helvetica Neue",Arial,sans-serif;--mono:ui-monospace,"Cascadia Code","SF Mono",Consolas,"Liberation Mono",monospace;--text:40rem;--wide:56rem;--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light}@media (prefers-color-scheme:dark){:root:not([data-theme=light]){--bg:#101216;--surface:#15181e;--surface-2:#1b1f26;--surface-3:#232832;--ink:#e9ebef;--muted:#9aa3b2;--line:#252a33;--line-strong:#3a4250;--accent:#7f9dff;--accent-ink:#0d1220;--accent-soft:#1c2540;--ok:#4cc98f;--ok-soft:#12291f;--no:#ff8a65;--no-soft:#33201a;--warn:#f0b35a;--t3:#43cbb8;--t2:#7f9dff;--t1:#b49af0;--t0:#f29a5a;--t3-soft:#12302c;--t2-soft:#1c2540;--t1-soft:#272040;--t0-soft:#352416;--f-soft:#7f9dff;--f-life:#43cbb8;--f-net:#f29a5a;--f-game:#f27ac0;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}}:root[data-theme=dark]{--bg:#101216;--surface:#15181e;--surface-2:#1b1f26;--surface-3:#232832;--ink:#e9ebef;--muted:#9aa3b2;--line:#252a33;--line-strong:#3a4250;--accent:#7f9dff;--accent-ink:#0d1220;--accent-soft:#1c2540;--ok:#4cc98f;--ok-soft:#12291f;--no:#ff8a65;--no-soft:#33201a;--warn:#f0b35a;--t3:#43cbb8;--t2:#7f9dff;--t1:#b49af0;--t0:#f29a5a;--t3-soft:#12302c;--t2-soft:#1c2540;--t1-soft:#272040;--t0-soft:#352416;--f-soft:#7f9dff;--f-life:#43cbb8;--f-net:#f29a5a;--f-game:#f27ac0;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}*{box-sizing:border-box}html{-webkit-text-size-adjust:100%;font-size:17px}html[data-beamer]{--text:52rem;--wide:70rem;font-size:22px}body{background:var(--bg);color:var(--ink);font-family:var(--font);margin:0;line-height:1.6}h1,h2,h3,h4{letter-spacing:-.015em;margin:0;line-height:1.2}h1{font-size:2.3rem;font-weight:750}h2{margin:3.4rem 0 .8rem;font-size:1.45rem;font-weight:700}h3{font-size:1.1rem;font-weight:650}p{margin:.7rem 0}a{color:var(--accent);text-underline-offset:3px}code,kbd,.mono{font-family:var(--mono)}code{background:var(--surface-2);border-radius:5px;padding:.05em .35em;font-size:.88em}kbd{border:1px solid var(--line-strong);background:var(--surface);border-bottom-width:2px;border-radius:5px;padding:0 .35em;font-size:.82em}.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:.45em .9em;font-size:.92rem;line-height:1.3}button:hover:not(:disabled){border-color:var(--ink)}button:disabled{opacity:.4;cursor:default}button.primary{background:var(--accent);color:var(--accent-ink);border-color:var(--accent);font-weight:600}button.primary:hover:not(:disabled){filter:brightness(1.08);border-color:var(--accent)}button.quiet{background:0 0;border-color:#0000}button.quiet:hover:not(:disabled){background:var(--surface-2);border-color:#0000}button.quiet.on{background:var(--accent-soft);color:var(--accent)}button.link,button.ghost{color:var(--accent);text-underline-offset:3px;background:0 0;border:none;padding:0;text-decoration:underline}.icon-button{background:0 0;border-color:#0000;align-items:center;gap:.4rem;display:inline-flex}.icon-button:hover{background:var(--surface-2)}: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:.5em .7em}input:focus,textarea:focus{border-color:var(--accent);box-shadow:0 0 0 3px var(--accent-soft);outline:none}input[type=range]{accent-color:var(--accent);box-shadow:none;padding:0}textarea{resize:vertical}label{color:var(--muted);flex-direction:column;gap:.3rem;font-size:.85rem;font-weight:500;display:flex}.skip{position:absolute;left:-999px}.skip:focus{z-index:50;background:var(--surface);padding:.4rem .8rem;top:.5rem;left:1rem}.bar{z-index:20;background:color-mix(in srgb,var(--bg) 88%,transparent);-webkit-backdrop-filter:blur(8px);backdrop-filter:blur(8px);border-bottom:1px solid var(--line);align-items:center;gap:1.5rem;padding:.7rem clamp(1rem,3vw,2rem);display:flex;position:sticky;top:0}.brand{color:var(--ink);flex:none;align-items:center;gap:.5rem;font-weight:700;text-decoration:none;display:flex}.brand svg{fill:none;width:34px;height:17px;stroke:var(--accent);stroke-width:2.4px}.brand svg .fill{fill:var(--accent);stroke:none}.steps{flex:1;justify-content:center;min-width:0;display:flex}.steps ol{gap:.25rem;margin:0;padding:0;list-style:none;display:flex}.steps a{color:var(--muted);border-radius:99px;align-items:center;gap:.45rem;padding:.25rem .5rem .25rem .25rem;font-size:.85rem;text-decoration:none;display:flex}.steps a:hover{background:var(--surface-2);color:var(--ink)}.steps .dot{border:1.5px solid var(--line-strong);background:var(--bg);border-radius:50%;flex:none;place-items:center;width:1.6rem;height:1.6rem;font-size:.78rem;font-weight:650;display:grid}.steps a.seen .dot{border-color:var(--accent);color:var(--accent)}.steps a.done .dot{background:var(--ok);border-color:var(--ok);color:#fff}.steps a[aria-current=page]{color:var(--ink);font-weight:600}.steps a[aria-current=page] .dot{background:var(--accent);border-color:var(--accent);color:var(--accent-ink)}.steps .step-name{white-space:nowrap;display:none}.steps a[aria-current=page] .step-name{display:inline}@media (width>=1280px){.steps .step-name{display:inline}}.bar-actions{flex:none;gap:.25rem;display:flex}.main{max-width:calc(var(--wide) + 4rem);counter-reset:sec;outline:none;margin:0 auto;padding:3rem 2rem 2rem}.main>p,.main>ul,.main>ol,.main>.formal,.main>.hint{max-width:var(--text)}.chapter-head{justify-content:space-between;align-items:flex-start;gap:2rem;margin-bottom:1.5rem;display:flex}.kicker{letter-spacing:.06em;text-transform:uppercase;color:var(--muted);margin:0 0 .5rem;font-size:.8rem;font-weight:650}.type.t3{color:var(--t3)}.type.t2{color:var(--t2)}.type.t1,.type.t0{color:var(--t0)}.where{border-color:var(--line);border-radius:var(--radius);background:var(--surface);flex-direction:column;flex:none;align-items:stretch;gap:.25rem;width:150px;padding:.4rem;display:flex}.where span{color:var(--muted);font-size:.75rem}.lead{font-size:1.2rem;line-height:1.55}.main.numbered h2:not(.plain){counter-increment:sec}.main.numbered h2:not(.plain):before{content:var(--num) "." counter(sec) " ";color:var(--muted);font-weight:500}.hint{color:var(--muted);font-size:.92rem}.pager{border-top:1px solid var(--line);justify-content:space-between;gap:1rem;margin-top:4.5rem;padding-top:1.5rem;display:flex}.pager .primary{padding:.7em 1.3em}.foot{color:var(--muted);flex-wrap:wrap;justify-content:center;gap:.4rem 1.4rem;padding:2rem 1rem 2.5rem;font-size:.82rem;display:flex}.foot a,.foot button.link{color:var(--muted);font-size:.82rem}.prose{max-width:var(--text)}.tag{white-space:nowrap;border-radius:99px;padding:.1em .6em;font-size:.72rem;font-weight:650;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)}.formal{background:var(--surface-2);border-radius:var(--radius);margin:2rem 0;padding:1.1rem 1.3rem}.formal h3{text-transform:uppercase;letter-spacing:.08em;color:var(--muted);margin-bottom:.4rem;font-size:.75rem}.formal p:last-child{margin-bottom:0}.formal ul{margin:.4rem 0;padding-left:1.2rem}.deep{border-top:1px solid var(--line);border-bottom:1px solid var(--line);max-width:var(--wide);margin:2.5rem 0}.deep>summary{cursor:pointer;flex-wrap:wrap;align-items:baseline;gap:.3rem .8rem;padding:1rem 0;list-style:none;display:flex}.deep>summary::-webkit-details-marker{display:none}.deep>summary:before{content:"+";font-family:var(--mono);color:var(--accent);width:1rem;font-weight:700}.deep[open]>summary:before{content:"−"}.deep>summary b{font-weight:650}.deep>summary small{color:var(--muted);font-size:.85rem}.deep-label{letter-spacing:.07em;text-transform:uppercase;color:var(--accent);font-size:.72rem;font-weight:700}.deep-body{padding:0 0 1.5rem 1.8rem}.deep-body>p,.deep-body>ul,.deep-body>ol{max-width:var(--text)}.deep-body h3{margin:1.8rem 0 .5rem}.table{width:100%;max-width:var(--wide);border-collapse:collapse;margin:1rem 0;font-size:.92rem}.table th,.table td{text-align:left;border-bottom:1px solid var(--line);vertical-align:top;padding:.55rem .8rem}.table th{color:var(--muted);font-size:.78rem;font-weight:600}.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)}.small-label{color:var(--muted);font-size:.78rem;font-weight:500}.links{padding-left:1.2rem}.links li{margin:.3rem 0}.links small{color:var(--muted)}.fig{max-width:var(--wide);margin:1.8rem 0 2.2rem}.fig>.sim{margin:0}.fig figcaption{color:var(--muted);max-width:var(--text);margin-top:.6rem;font-size:.85rem}.fig figcaption b{color:var(--ink);margin-right:.3rem;font-weight:650}.code,.console{border-radius:var(--radius);max-width:var(--wide);border:1px solid var(--line);margin:1.2rem 0 1.6rem;overflow:hidden}.code header,.console header{letter-spacing:.06em;text-transform:uppercase;color:var(--muted);background:var(--surface-2);justify-content:space-between;align-items:center;padding:.35rem .9rem;font-size:.72rem;font-weight:650;display:flex}.code header.out{border-top:1px solid var(--line)}.code header button.link{text-transform:none;letter-spacing:0;font-size:.75rem}.code pre,.console pre{background:var(--surface);white-space:pre;margin:0;padding:.85rem 1rem;font-size:.84rem;line-height:1.55;overflow-x:auto}.code pre.output{background:var(--surface-2)}.code figcaption,.console figcaption{color:var(--muted);border-top:1px solid var(--line);padding:.5rem 1rem;font-size:.83rem}.console{border-color:#1d222b}.console header{color:#9aa3b2;background:#1d222b}.console pre{color:#d8dee8;background:#12151b}.console figcaption{background:var(--surface)}.console .prompt{color:#7d8798}.console .in{color:#fff;font-weight:600}.console .err{color:#ff9a80}.tk-zahl{color:var(--t3);font-weight:650}.tk-schluesselwort{color:var(--t2);font-weight:650}.tk-name{color:var(--ink)}.tk-operator{color:var(--t0);font-weight:650}.tk-klammer{color:var(--t1)}.tk-text{color:var(--f-game)}.tk-kommentar{color:var(--muted);font-style:italic}.tk-fehler{background:var(--no-soft);color:var(--no)}.sim{background:var(--surface);border:1px solid var(--line);border-radius:14px;outline:none;flex-direction:column;gap:.9rem;margin:1rem 0;padding:1.2rem 1.3rem;display:flex}.sim:focus-within{border-color:var(--line-strong)}.sim-input{flex-direction:column;gap:.55rem;display:flex}.sim-input.two{flex-flow:wrap;gap:.8rem}.sim-input.two>label{flex:200px}.presets{flex-wrap:wrap;gap:.35rem;display:flex}.chip{background:var(--surface-2);border-color:#0000;border-radius:99px;padding:.22em .8em;font-size:.82rem}.chip:hover:not(:disabled){border-color:var(--line-strong)}.chip.on{background:var(--accent-soft);color:var(--accent);font-weight:600}.word{font-family:var(--mono);flex-wrap:wrap;gap:3px;font-size:1.15rem;display:flex}.word>span{background:var(--surface-2);border-radius:6px;place-items:center;min-width:1.55em;height:1.95em;padding:0 .15em;display:grid}.word>span.read{background:var(--accent-soft);color:var(--accent)}.word>span.next{box-shadow:inset 0 0 0 2px var(--accent)}.word>span.bad{background:var(--no-soft);color:var(--no)}.word>span.hit{background:var(--ok-soft);color:var(--ok);font-weight:700}.word .empty{color:var(--muted);background:0 0;font-size:.9rem}.word.code-line{gap:0}.word.code-line>span{background:0 0;border-radius:0;min-width:.7em;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:.35rem;display:flex}.counter{color:var(--muted);font-variant-numeric:tabular-nums;margin-left:.4rem;font-size:.82rem}.verdict{background:var(--surface-2);border-radius:8px;margin:0;padding:.6rem .9rem}.verdict.ok{background:var(--ok-soft)}.verdict.no{background:var(--no-soft)}.set{font-family:var(--mono);font-weight:700}.legend{flex-wrap:wrap;gap:.4rem 1rem;font-size:.82rem;display:flex}.legend.fields span{align-items:center;gap:.4rem;display:inline-flex}.legend.fields i{border-radius:50%;width:.7rem;height:.7rem;display:inline-block}.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.7px}.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:1.8px;transition:fill .2s}.diagram .state-inner{fill:none;stroke:var(--ink);stroke-width:1.5px}.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:.9rem;line-height:1.5}.code-view{background:var(--surface-2);white-space:pre-wrap;border-radius:8px;min-height:8.5em;margin:0;padding:.6rem .7rem}.rx-out{background:var(--surface-2);white-space:pre-wrap;overflow-wrap:anywhere;border-radius:8px;padding:.6rem .8rem;font-size:.92rem}.rx-out .ok{color:var(--ok)}.rx-out .no{color:var(--no)}.rx-out mark{background:var(--ok-soft);color:var(--ok);border-radius:3px;font-weight:700}.power-grid{grid-template-columns:auto minmax(0,1fr);align-items:start;gap:1.2rem;display:grid}.power-grid>div{min-width:0;overflow-x:auto}.table.power{width:auto;margin:.3rem 0;font-size:.84rem}.table.power td,.table.power th{white-space:nowrap;padding:.3rem .6rem}.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-radius:10px;flex-direction:column;flex:180px;padding:.6rem .9rem;display:flex}.blowup b{font-variant-numeric:tabular-nums;font-size:1.7rem}.tabs{border-bottom:1px solid var(--line);flex-wrap:wrap;gap:.3rem;margin:1rem 0 .3rem;display:flex}.tabs button{color:var(--muted);background:0 0;border:none;border-bottom:2px solid #0000;border-radius:0;margin-bottom:-1px;padding:.55em .9em}.tabs button.on{border-bottom-color:var(--accent);color:var(--ink);font-weight:600}.tabs small{color:var(--muted);margin-left:.2rem;font-weight:400}.machine{grid-template-columns:minmax(0,1fr) 210px;gap:1rem;display:grid}.machine-inputs{flex-direction:column;gap:.35rem;display:flex}.machine-inputs>button{text-align:left;font-family:var(--mono);font-size:.88rem}.machine-scene{min-height:150px;display:grid}.log{background:var(--surface-2);border-radius:8px;min-height:3rem;margin:0;padding:.5rem .8rem .5rem 2rem;font-size:.86rem}.log .bad{color:var(--no)}.log .empty{color:var(--muted);margin-left:-1.3rem;list-style:none}.vending{background:var(--surface-2);border-radius:12px;flex-direction:column;justify-content:center;align-items:center;gap:.7rem;padding:1rem;display:flex}.vending-display{color:#77f0a0;text-align:center;background:#10170f;border-radius:6px;min-width:12rem;padding:.45rem 1rem;font-size:1.15rem}.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:.3s ease-out pop}@keyframes pop{0%{opacity:0;transform:scale(.7)}to{opacity:1;transform:none}}.wire{background:var(--surface-2);border-radius:12px;align-items:center;gap:1rem;padding:1rem;display:flex}.host{flex-direction:column;align-items:center;min-width:5rem;line-height:1.2;display:flex}.host span{color:var(--muted);font-size:.78rem;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:.82rem;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:var(--surface-2);border-radius:12px;min-height:150px;position:relative;overflow:hidden}.guard-svg{width:100%;height:100%;min-height:170px;display:block}.guard-svg .floor{fill:var(--surface-3)}.guard-svg .body{fill:var(--ink)}.guard-svg .cone{fill:var(--t3);opacity:.25;transition:fill .3s}.guard-svg.s-Misstrauisch .cone{fill:var(--warn)}.guard-svg.s-Verfolgen .cone{fill:var(--no);opacity:.35}.guard-svg.s-Flucht .cone{opacity:0}.guard-svg .player{fill:var(--accent)}.guard-svg text{fill:var(--ink);font-size:15px;font-weight:600;font-family:var(--font)}.netstat-map td:first-child{font-family:var(--mono)}.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);border-top:none;border-radius:0 0 10px 10px;flex-direction:column;justify-content:flex-end;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-2);border-radius:6px;padding:.2rem;font-size:1.1rem;font-weight:700;animation:.2s ease-out pop}.cell.top{background:var(--accent);color:var(--accent-ink)}.cell.bottom{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.5rem;height:2.5rem;font-size:.78rem;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-radius:10px;flex-direction:column;gap:.3rem;min-width:0;padding:.55rem .75rem;display:flex}.stage-name{text-transform:uppercase;letter-spacing:.06em;color:var(--muted);font-size:.72rem;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:.88rem}.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-radius:8px;max-height:340px;padding:.5rem .8rem;font-size:.86rem;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-radius:10px;padding:.8rem 1rem}.rules{margin:.4rem 0;font-size:.88rem}.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-radius:6px;flex:none;place-items:center;font-size:1.2rem;font-weight:700;display:grid}.tm-cell.blank{color:var(--line-strong);font-weight:400}.tm-cell.head{background:var(--accent-soft);box-shadow:inset 0 0 0 2px 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:.78rem;font-family:var(--mono);background:var(--accent);color:var(--accent-ink);border-radius:5px;padding:0 .5em}.tm-rules{font-size:.84rem}.tm-rules tr.now td{background:var(--accent-soft);color:var(--accent);font-weight:700}.halting .contradiction{background:var(--no-soft);border-radius:10px;padding:.2rem 1rem}.checks{counter-reset:task;max-width:var(--wide);gap:1.6rem;display:grid}.check{border-top:1px solid var(--line);padding-top:1rem}.check h3{font-size:1rem}.check.done h3{color:var(--ok)}.check-num{counter-increment:task}.check-num:before{content:"Aufgabe " counter(task) " · ";color:var(--muted);font-weight:500}.check-done{font-size:.86rem;font-weight:600}.check-task p{margin:.5rem 0}.choices{max-width:var(--text);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{max-width:var(--text);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:1.2rem;margin-top:.5rem;font-size:.88rem;display:flex}.solution{background:var(--ok-soft);max-width:var(--text);border-radius:8px;margin-top:.5rem;padding:.3rem 1rem}.chomsky{width:100%;height:auto;font-family:var(--font);display:block}.chomsky .region rect{stroke-width:1px;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:4px}.chomsky .region-label{font-size:14px;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{max-width:var(--wide);margin:1.5rem 0}.map-dialog{background:var(--surface);color:var(--ink);border:none;border-radius:16px;width:min(960px,94vw);padding:0;box-shadow:0 24px 70px #0000004d}.map-dialog::backdrop{background:#0a0f1980}.map-dialog-inner{padding:1rem 1.3rem}.map-dialog header{justify-content:space-between;align-items:center;margin-bottom:.5rem;display:flex}.map-dialog h2{margin:0;font-size:1.15rem}.main.home{padding-top:4rem}.hero{max-width:var(--text);margin-bottom:3.5rem}.hero h1{font-size:clamp(2.2rem,5vw,3.4rem);line-height:1.08}.hero p{color:var(--muted);margin-top:1rem;font-size:1.2rem}.day{max-width:var(--wide);margin:0;padding:0;list-style:none}.moment{grid-template-columns:5.5rem minmax(0,1fr);gap:0 1.5rem;padding-bottom:3.5rem;display:grid;position:relative}.moment:before{content:"";background:var(--line);width:1px;position:absolute;top:2.3rem;bottom:.4rem;left:2.75rem}.moment:last-child:before{display:none}.moment time{font-family:var(--mono);color:var(--muted);text-align:center;background:var(--bg);z-index:1;height:fit-content;padding-top:.15rem;font-size:1.05rem;position:relative}.moment h2{margin:0 0 .4rem;font-size:1.5rem}.moment>div>p{max-width:var(--text);margin:.3rem 0 1rem}.demo{background:var(--surface-2);max-width:var(--wide);border-radius:14px;padding:1.1rem 1.2rem}.demo-row{flex-wrap:wrap;align-items:center;gap:1rem;display:flex}.reveal{flex-wrap:wrap;align-items:baseline;gap:.4rem 1rem;margin-top:.9rem;display:flex}.reveal .what{font-weight:650}.reveal a{font-weight:600}.phone-msg{background:var(--surface);overflow-wrap:anywhere;border-radius:14px 14px 14px 4px;max-width:26rem;padding:.6rem .9rem;line-height:1.45;box-shadow:0 1px 2px #0000000f}.phone-msg a{pointer-events:none}.dots{align-items:center;gap:.35rem;display:flex}.dots i{border:2px solid var(--line-strong);border-radius:50%;width:.85rem;height:.85rem;display:inline-block}.dots i.on{background:var(--accent);border-color:var(--accent)}.dots i.ok{background:var(--ok);border-color:var(--ok)}.dots i.bad{border-color:var(--no);background:var(--no-soft)}.mini-stack{font-family:var(--mono);align-items:center;gap:4px;font-weight:700;display:flex}.mini-stack span{text-align:center;background:var(--surface);border-radius:5px;min-width:1.8rem;padding:.15rem .3rem}.mini-stack span:last-child{background:var(--accent);color:var(--accent-ink)}.big-result{font-size:1.6rem;font-weight:700;font-family:var(--mono)}.ending{max-width:var(--wide);border-top:1px solid var(--line);margin-top:1rem;padding-top:2.5rem}.ending-grid{grid-template-columns:minmax(0,1fr) 300px;align-items:start;gap:2rem;display:grid}.chapter-cards{flex-direction:column;margin:0;padding:0;list-style:none;display:flex}.chapter-cards button{text-align:left;border:none;border-bottom:1px solid var(--line);background:0 0;border-radius:0;align-items:center;gap:.9rem;width:100%;padding:.75rem .2rem;display:flex}.chapter-cards button:hover{background:var(--surface-2)}.chapter-cards .num{background:var(--surface-2);border-radius:50%;flex:none;place-items:center;width:1.8rem;height:1.8rem;font-size:.85rem;font-weight:700;display:grid}.chapter-cards b{display:block}.chapter-cards small{color:var(--muted)}.chapter-cards .tag{margin-left:auto}.intro{background:var(--surface);border:1px solid var(--line);max-width:var(--wide);border-radius:16px;outline:none;margin:1.2rem 0;overflow:hidden}.intro-stage{aspect-ratio:16/9;background:var(--surface-2);width:min(100%,177.778dvh - 30.2222rem);margin:0 auto;position:relative;overflow:hidden}.intro:fullscreen{background:var(--surface);border-radius:0;flex-direction:column;justify-content:center;max-width:none;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.05rem;font-weight:600;display:flex;position:absolute;inset:0}.big-play{background:var(--accent);width:4.5rem;height:4.5rem;color:var(--accent-ink);border-radius:50%;place-items:center;padding-left:.3rem;font-size:1.8rem;display:grid}.intro-cta{padding:.7em 1.4em;font-size:1.1rem;animation:.4s ease-out pop;position:absolute;bottom:6%;right:4%}.intro-caption{border-top:1px solid var(--line);max-width:60rem;min-height:3.6em;margin:0 auto;padding:.7rem 1.2rem;font-size:1.05rem}.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 .8rem;list-style:none;display:flex}.intro-chapters button{background:var(--surface-2);border-color:#0000;border-radius:99px;padding:.15em .6em;font-size:.75rem}.intro-chapters button.on{background:var(--accent);color:var(--accent-ink)}.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:#10170f}.iv-display{font-family:var(--mono);fill:#77f0a0;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}@media (width<=860px){.bar{gap:.4rem;padding:.5rem .6rem}.brand span{display:none}.steps{justify-content:flex-start;overflow-x:auto}.steps ol{gap:0}.steps a{padding:.15rem}.steps .dot{width:1.45rem;height:1.45rem;font-size:.72rem}.bar-actions .quiet[aria-pressed],.bar-actions .icon-button .label,.steps a[aria-current=page] .step-name{display:none}.main{padding:2rem 1rem 1.5rem}.chapter-head{flex-direction:column;gap:1rem}.where{display:none}h1{font-size:1.75rem}.machine,.pda,.derive,.power-grid,.ending-grid,.pipeline{grid-template-columns:minmax(0,1fr)}.stack{max-width:140px;min-height:120px}.moment{grid-template-columns:minmax(0,1fr)}.moment:before{display:none}.moment time{text-align:left;background:0 0}.table{display:block;overflow-x:auto}.deep-body{padding-left:0}}@media (height<=760px){.main{padding-top:2rem}}@media (prefers-reduced-motion:reduce){*{transition:none!important;animation:none!important}}@media print{.bar,.pager,.controls,.foot{display:none}}