.intro.svelte-1fnwkd0.svelte-1fnwkd0{padding-top:48px}.crumbs.svelte-1fnwkd0.svelte-1fnwkd0{font-size:.8rem;color:#888;margin-bottom:.6rem}.crumbs.svelte-1fnwkd0 span.svelte-1fnwkd0{color:#888}.compare.svelte-1fnwkd0.svelte-1fnwkd0{display:grid;grid-template-columns:repeat(auto-fit,minmax(280px,1fr));gap:12px;margin:1rem 0}.compare.svelte-1fnwkd0 .card.svelte-1fnwkd0{padding:.9rem 1rem .6rem}.compare.svelte-1fnwkd0 h3.svelte-1fnwkd0{margin:0 0 .4rem}.compare.svelte-1fnwkd0 p.svelte-1fnwkd0{color:#ccc;margin:0 0 .4rem}.procedure.svelte-1fnwkd0.svelte-1fnwkd0{color:#ddd;max-width:720px;padding-left:1.25rem}.procedure.svelte-1fnwkd0 li.svelte-1fnwkd0{margin-bottom:.5rem}.procedure.svelte-1fnwkd0 strong.svelte-1fnwkd0{color:#fff}.machine.svelte-1fnwkd0 h3.svelte-1fnwkd0{margin-top:1.6rem}.diagram.svelte-1fnwkd0.svelte-1fnwkd0{padding:.6rem .8rem .4rem;max-width:560px}.diagram.svelte-1fnwkd0 svg.fsm{display:block;width:100%;height:auto}.diagram.svelte-1fnwkd0 .state{fill:#161618;stroke:#fff;stroke-width:2}.diagram.svelte-1fnwkd0 .edge{fill:none;stroke:#ddd;stroke-width:1.6}.diagram.svelte-1fnwkd0 .state-name{fill:#fff;font:600 13px ui-monospace,SFMono-Regular,Menlo,monospace;text-anchor:middle}.diagram.svelte-1fnwkd0 .state-out{fill:#8ede8e;font:11px ui-monospace,SFMono-Regular,Menlo,monospace;text-anchor:middle}.diagram.svelte-1fnwkd0 .state-code{fill:#999;font:11px ui-monospace,SFMono-Regular,Menlo,monospace;text-anchor:middle}.diagram.svelte-1fnwkd0 .edge-label{fill:#ddd;font:12px ui-monospace,SFMono-Regular,Menlo,monospace;text-anchor:middle;paint-order:stroke;stroke:#161618;stroke-width:5px;stroke-linejoin:round}.diagram.svelte-1fnwkd0 .edge-label.reset{fill:#999}.diagram-note.svelte-1fnwkd0.svelte-1fnwkd0{color:#999;font-size:.85rem;margin:.5rem 0 .3rem}.state-table.svelte-1fnwkd0 td.svelte-1fnwkd0{padding:.3rem .75rem}.code.svelte-1fnwkd0.svelte-1fnwkd0{color:#8ede8e;margin-left:.3rem}.meaning.svelte-1fnwkd0.svelte-1fnwkd0{display:block;color:#888;font-size:.8rem}.equations.svelte-1fnwkd0.svelte-1fnwkd0{display:grid;grid-template-columns:auto 1fr;gap:.3rem 1rem;margin:.6rem 0;max-width:520px}.equations.svelte-1fnwkd0 dt.svelte-1fnwkd0{color:#fff;font-weight:600}.equations.svelte-1fnwkd0 dd.svelte-1fnwkd0{margin:0;color:#8ede8e}.diagram-card.svelte-1fnwkd0.svelte-1fnwkd0{padding:.8rem .9rem .6rem}.canvas.svelte-1fnwkd0.svelte-1fnwkd0{overflow-x:auto;background-color:#1d1e20;background-image:linear-gradient(rgba(255,255,255,.05) 1px,transparent 1px),linear-gradient(90deg,rgba(255,255,255,.05) 1px,transparent 1px);background-size:22px 22px;border:1px solid rgba(255,255,255,.2);border-radius:3px;padding:.5rem}.canvas.svelte-1fnwkd0 svg{display:block;width:100%;height:auto;max-width:100%}.timing.svelte-1fnwkd0.svelte-1fnwkd0{margin:0}.print-only.svelte-1fnwkd0.svelte-1fnwkd0{display:none}.timing-scroll.svelte-1fnwkd0.svelte-1fnwkd0{overflow-x:auto;border:1px solid rgba(255,255,255,.12);border-radius:3px;background:#1d1e20}.timing-scroll.svelte-1fnwkd0 svg{display:block;min-width:100%}.timing.svelte-1fnwkd0 figcaption.svelte-1fnwkd0{color:#999;font-size:.85rem;margin-top:.5rem}.trace.svelte-1fnwkd0.svelte-1fnwkd0{margin-top:.8rem}.trace.svelte-1fnwkd0 summary.svelte-1fnwkd0{cursor:pointer;color:#8ede8e;font-size:.9rem}.trace-table.svelte-1fnwkd0.svelte-1fnwkd0{margin-top:.6rem}.trace-table.svelte-1fnwkd0 td.svelte-1fnwkd0{padding:.2rem .7rem;text-align:center}tr.flag.svelte-1fnwkd0 td.svelte-1fnwkd0{box-shadow:inset 0 0 0 1px #5db65d99}