#intro .chaos.svelte-s7mp5q{display:grid;grid-template-columns:auto auto auto;gap:.5rem 1rem;justify-content:start;margin:1.5rem 0;padding:1.5rem;background:var(--color-warning-100);border-radius:var(--radius-container);font-size:1.25rem}#intro .chaos.svelte-s7mp5q .item:where(.svelte-s7mp5q){display:contents}#intro .chaos.svelte-s7mp5q .action:where(.svelte-s7mp5q){font-weight:500;white-space:nowrap}#intro .chaos.svelte-s7mp5q .arrow:where(.svelte-s7mp5q){color:var(--color-error-500);text-align:center}#intro .chaos.svelte-s7mp5q .result:where(.svelte-s7mp5q){color:var(--color-error-600);font-weight:600;white-space:nowrap}#rigid-link .caption.svelte-s7mp5q{font-size:1.05rem;font-style:italic;color:var(--color-surface-600);margin:1.5rem 0 0}#rigid-link .implication.svelte-s7mp5q{display:flex;flex-direction:row;align-items:center;justify-content:center;gap:1rem}#rigid-link .implication.svelte-s7mp5q .step:where(.svelte-s7mp5q){display:flex;flex-direction:column;align-items:center;gap:.35rem;padding:1rem 1.25rem;border-radius:calc(var(--radius-container) * 4)}#rigid-link .implication.svelte-s7mp5q .step:where(.svelte-s7mp5q).condition{background:var(--color-primary-100);border:2px solid var(--color-primary-300)}#rigid-link .implication.svelte-s7mp5q .step:where(.svelte-s7mp5q).result{background:var(--color-success-100);border:2px solid var(--color-success-400)}#rigid-link .implication.svelte-s7mp5q .step:where(.svelte-s7mp5q) .icon:where(.svelte-s7mp5q){font-size:2rem}#rigid-link .implication.svelte-s7mp5q .step:where(.svelte-s7mp5q) .text:where(.svelte-s7mp5q){font-size:1rem;font-weight:600;color:var(--color-surface-700)}#rigid-link .implication.svelte-s7mp5q .step:where(.svelte-s7mp5q) .example:where(.svelte-s7mp5q){font-size:.85rem;color:var(--color-surface-600);font-style:italic}#rigid-link .implication.svelte-s7mp5q .connector:where(.svelte-s7mp5q){display:flex;flex-direction:column;align-items:center;gap:.25rem}#rigid-link .implication.svelte-s7mp5q .connector:where(.svelte-s7mp5q) .arrow:where(.svelte-s7mp5q){font-size:1.75rem;color:var(--color-primary-500);font-weight:700}#rigid-link .implication.svelte-s7mp5q .connector:where(.svelte-s7mp5q) .label:where(.svelte-s7mp5q){font-size:.75rem;color:var(--color-surface-500)}#rigid-link .simulation.svelte-s7mp5q{background:var(--color-surface-50);border-radius:calc(var(--radius-container) * 4);padding:2rem;margin:2rem 0}#rigid-link .simulation.svelte-s7mp5q .header:where(.svelte-s7mp5q){display:flex;align-items:center;gap:1rem;margin-bottom:1.5rem}#rigid-link .simulation.svelte-s7mp5q .header:where(.svelte-s7mp5q) .icon:where(.svelte-s7mp5q){font-size:2.5rem}#rigid-link .simulation.svelte-s7mp5q .header:where(.svelte-s7mp5q) h3:where(.svelte-s7mp5q){margin:0;font-size:1.5rem;flex:1}#rigid-link .simulation.svelte-s7mp5q .header:where(.svelte-s7mp5q) .reset-btn:where(.svelte-s7mp5q){padding:.5rem 1rem;border:1px solid var(--color-surface-300);border-radius:var(--radius-container);background:var(--color-surface-100);cursor:pointer;font-size:.9rem}#rigid-link .simulation.svelte-s7mp5q .header:where(.svelte-s7mp5q) .reset-btn:where(.svelte-s7mp5q):hover{background:var(--color-surface-200)}#rigid-link .simulation.svelte-s7mp5q .circuit-block:where(.svelte-s7mp5q){margin:1.5rem 0}#rigid-link .simulation.svelte-s7mp5q .circuit-block:where(.svelte-s7mp5q) .circuit-label:where(.svelte-s7mp5q){font-size:.95rem;color:var(--color-surface-600);margin-bottom:.75rem;font-weight:500;text-align:center}#rigid-link .simulation.svelte-s7mp5q .circuit:where(.svelte-s7mp5q){display:flex;align-items:center;justify-content:center;gap:.25rem}#rigid-link .simulation.svelte-s7mp5q .circuit:where(.svelte-s7mp5q) .element:where(.svelte-s7mp5q){display:flex;flex-direction:column;align-items:center;gap:.25rem;padding:.5rem;border:none;background:none;user-select:none;-webkit-user-select:none;-webkit-touch-callout:none}#rigid-link .simulation.svelte-s7mp5q .circuit:where(.svelte-s7mp5q) .element:where(.svelte-s7mp5q) .icon:where(.svelte-s7mp5q){font-size:2.5rem}#rigid-link .simulation.svelte-s7mp5q .circuit:where(.svelte-s7mp5q) .element:where(.svelte-s7mp5q) .label:where(.svelte-s7mp5q){font-size:.85rem;color:var(--color-surface-600);text-align:center}#rigid-link .simulation.svelte-s7mp5q .circuit:where(.svelte-s7mp5q) .element:where(.svelte-s7mp5q).btn{cursor:pointer;border-radius:var(--radius-container);transition:background .1s;touch-action:manipulation;-webkit-tap-highlight-color:transparent}@media(hover:hover){#rigid-link .simulation.svelte-s7mp5q .circuit:where(.svelte-s7mp5q) .element:where(.svelte-s7mp5q).btn:hover{background:var(--color-surface-100)}}#rigid-link .simulation.svelte-s7mp5q .circuit:where(.svelte-s7mp5q) .element:where(.svelte-s7mp5q).btn:active{background:var(--color-primary-100)}#rigid-link .simulation.svelte-s7mp5q .circuit:where(.svelte-s7mp5q) .element:where(.svelte-s7mp5q).not-gate{background:var(--color-warning-100);border-radius:var(--radius-container);padding:.5rem .75rem;min-width:3.5rem}#rigid-link .simulation.svelte-s7mp5q .circuit:where(.svelte-s7mp5q) .element:where(.svelte-s7mp5q).lamp{transition:filter .2s}#rigid-link .simulation.svelte-s7mp5q .circuit:where(.svelte-s7mp5q) .element:where(.svelte-s7mp5q).lamp.off{filter:grayscale(1) opacity(.5)}#rigid-link .simulation.svelte-s7mp5q .circuit:where(.svelte-s7mp5q) .wire:where(.svelte-s7mp5q){width:60px;height:6px;background:var(--color-surface-300);border:none;border-radius:3px;cursor:pointer;position:relative;transition:background .2s}#rigid-link .simulation.svelte-s7mp5q .circuit:where(.svelte-s7mp5q) .wire:where(.svelte-s7mp5q).long{width:calc(120px + 4rem)}#rigid-link .simulation.svelte-s7mp5q .circuit:where(.svelte-s7mp5q) .wire:where(.svelte-s7mp5q):hover:not(.cut){background:var(--color-error-300)}#rigid-link .simulation.svelte-s7mp5q .circuit:where(.svelte-s7mp5q) .wire:where(.svelte-s7mp5q).active{background:var(--color-success-400);box-shadow:0 0 8px var(--color-success-400)}#rigid-link .simulation.svelte-s7mp5q .circuit:where(.svelte-s7mp5q) .wire:where(.svelte-s7mp5q).cut{background:transparent;cursor:default}#rigid-link .simulation.svelte-s7mp5q .circuit:where(.svelte-s7mp5q) .wire:where(.svelte-s7mp5q).cut:before,#rigid-link .simulation.svelte-s7mp5q .circuit:where(.svelte-s7mp5q) .wire:where(.svelte-s7mp5q).cut:after{content:"";position:absolute;top:0;height:100%;width:35%;background:var(--color-surface-300);border-radius:3px}#rigid-link .simulation.svelte-s7mp5q .circuit:where(.svelte-s7mp5q) .wire:where(.svelte-s7mp5q).cut:before{left:0}#rigid-link .simulation.svelte-s7mp5q .circuit:where(.svelte-s7mp5q) .wire:where(.svelte-s7mp5q).cut:after{right:0}#rigid-link .simulation.svelte-s7mp5q .circuit:where(.svelte-s7mp5q) .wire:where(.svelte-s7mp5q).cut .cut-mark:where(.svelte-s7mp5q){position:absolute;top:50%;left:50%;transform:translate(-50%,-50%);font-size:1rem;z-index:1}#rigid-link .simulation.svelte-s7mp5q .text:where(.svelte-s7mp5q){text-align:center;font-size:1.125rem;margin:1.5rem 0 0;color:var(--color-surface-600)}#one-way .examples.svelte-s7mp5q{display:grid;grid-template-columns:repeat(auto-fit,minmax(280px,1fr));gap:2rem;margin:2rem 0}#one-way .examples.svelte-s7mp5q .correct:where(.svelte-s7mp5q),#one-way .examples.svelte-s7mp5q .wrong:where(.svelte-s7mp5q){padding:1.5rem 2rem;border-radius:calc(var(--radius-container) * 4)}:is(#one-way .examples.svelte-s7mp5q .correct:where(.svelte-s7mp5q),#one-way .examples.svelte-s7mp5q .wrong:where(.svelte-s7mp5q)) p:where(.svelte-s7mp5q){font-size:1.25rem;margin:0}#one-way .examples.svelte-s7mp5q .correct:where(.svelte-s7mp5q){background:var(--color-success-50);border:2px solid var(--color-success-300)}#one-way .examples.svelte-s7mp5q .correct:where(.svelte-s7mp5q) .label:where(.svelte-s7mp5q){color:var(--color-success-700)}#one-way .examples.svelte-s7mp5q .wrong:where(.svelte-s7mp5q){background:var(--color-error-50);border:2px solid var(--color-error-300)}#one-way .examples.svelte-s7mp5q .wrong:where(.svelte-s7mp5q) .label:where(.svelte-s7mp5q){color:var(--color-error-700)}#one-way .examples.svelte-s7mp5q .label:where(.svelte-s7mp5q){font-size:.9rem;font-weight:600;text-transform:uppercase;letter-spacing:.05em;margin-bottom:.75rem}#one-way .examples.svelte-s7mp5q .why:where(.svelte-s7mp5q){margin-top:.5rem;font-size:1rem!important;font-style:italic;color:var(--color-surface-600)}#one-way .causality.svelte-s7mp5q{text-align:center}#one-way .causality.svelte-s7mp5q .caption:where(.svelte-s7mp5q){font-size:1.05rem;font-style:italic;color:var(--color-surface-600);margin:1.5rem 0 0}#one-way .causality.svelte-s7mp5q .title:where(.svelte-s7mp5q){font-size:1.25rem;font-weight:600;margin-bottom:1.5rem;color:var(--color-surface-700)}#one-way .causality.svelte-s7mp5q .causes-row:where(.svelte-s7mp5q){display:flex;justify-content:center;gap:.75rem;flex-wrap:nowrap}#one-way .causality.svelte-s7mp5q .cause:where(.svelte-s7mp5q){padding:.5rem 1rem;background:var(--color-primary-100);border-radius:var(--radius-container);font-size:1rem;border:1px solid var(--color-primary-200);white-space:nowrap}#one-way .causality.svelte-s7mp5q .arrows-row:where(.svelte-s7mp5q){display:flex;justify-content:center;gap:3rem;margin:.75rem 0}#one-way .causality.svelte-s7mp5q .arrows-row:where(.svelte-s7mp5q) .arrow:where(.svelte-s7mp5q){font-size:1.5rem;color:var(--color-primary-500);font-weight:700}#one-way .causality.svelte-s7mp5q .result-item:where(.svelte-s7mp5q){padding:1rem 1.5rem;background:var(--color-success-200);color:var(--color-surface-900);border-radius:var(--radius-container);font-weight:600;font-size:1.25rem}#chains .chain.svelte-s7mp5q{display:flex;flex-direction:column;align-items:flex-start;margin:2rem 0;padding:2rem;background:var(--color-surface-50);border-radius:calc(var(--radius-container) * 4)}#chains .chain.svelte-s7mp5q .step:where(.svelte-s7mp5q){display:flex;align-items:center;gap:1rem;padding:1rem 1.5rem;background:var(--color-surface-50);border-radius:var(--radius-container);box-shadow:0 4px 12px color-mix(in oklab,var(--color-surface-900) .08,transparent);font-size:1.25rem}#chains .chain.svelte-s7mp5q .step:where(.svelte-s7mp5q).final{background:var(--color-success-100);border:2px solid var(--color-success-400)}#chains .chain.svelte-s7mp5q .step:where(.svelte-s7mp5q) .icon:where(.svelte-s7mp5q){font-size:2rem}#chains .chain.svelte-s7mp5q .arrow:where(.svelte-s7mp5q){font-size:1.5rem;color:var(--color-primary-500);margin:.25rem 0 .25rem 2rem}#formalization .formal.svelte-s7mp5q{display:grid;grid-template-columns:repeat(auto-fit,minmax(300px,1fr));gap:2rem;margin:2rem 0}#formalization .formal.svelte-s7mp5q .block:where(.svelte-s7mp5q){padding:2rem;border-radius:calc(var(--radius-container) * 4);background:var(--color-surface-50)}#formalization .formal.svelte-s7mp5q .block:where(.svelte-s7mp5q) h3:where(.svelte-s7mp5q){margin-top:0;font-size:1.25rem}#formalization .formal.svelte-s7mp5q .block:where(.svelte-s7mp5q) p:where(.svelte-s7mp5q){font-size:1.125rem;margin-bottom:1rem}#formalization .formal.svelte-s7mp5q .block:where(.svelte-s7mp5q) .math-symbol:where(.svelte-s7mp5q){font-size:1.5rem;color:var(--color-primary-600)}#formalization .formal.svelte-s7mp5q .block:where(.svelte-s7mp5q) .formula:where(.svelte-s7mp5q){background:var(--color-surface-100);padding:1.25rem 2rem;border-radius:var(--radius-container);font-family:Georgia,serif;font-size:1.5rem;text-align:center}#formalization .formal.svelte-s7mp5q .block:where(.svelte-s7mp5q) .explanation:where(.svelte-s7mp5q){font-size:1rem!important;font-style:italic;color:var(--color-surface-600);margin-top:1rem;text-align:center}#formalization .flowchart-svg.svelte-s7mp5q{width:100%;max-width:320px;height:auto;margin:1rem auto 0;display:block}#project .greenhouse.svelte-s7mp5q{margin:2rem 0}#project .greenhouse.svelte-s7mp5q .rules:where(.svelte-s7mp5q){display:flex;flex-direction:column;gap:1rem}#project .greenhouse.svelte-s7mp5q .rules:where(.svelte-s7mp5q) .card:where(.svelte-s7mp5q){display:flex;align-items:center;gap:.5rem;padding:1rem 1.25rem;background:var(--color-surface-50);border-radius:calc(var(--radius-container) * 4);box-shadow:0 4px 12px color-mix(in oklab,var(--color-surface-900) .08,transparent);font-size:1.05rem;white-space:nowrap}#project .greenhouse.svelte-s7mp5q .rules:where(.svelte-s7mp5q) .card:where(.svelte-s7mp5q) .icon:where(.svelte-s7mp5q){font-size:1.5rem}#project .greenhouse.svelte-s7mp5q .rules:where(.svelte-s7mp5q) .card:where(.svelte-s7mp5q) .icon-sm:where(.svelte-s7mp5q){font-size:1.25rem}#project .greenhouse.svelte-s7mp5q .rules:where(.svelte-s7mp5q) .card:where(.svelte-s7mp5q) .condition:where(.svelte-s7mp5q){font-weight:500}#project .greenhouse.svelte-s7mp5q .rules:where(.svelte-s7mp5q) .card:where(.svelte-s7mp5q) .arrow:where(.svelte-s7mp5q){color:var(--color-primary-500);font-weight:700}#project .greenhouse.svelte-s7mp5q .rules:where(.svelte-s7mp5q) .card:where(.svelte-s7mp5q) .action:where(.svelte-s7mp5q){color:var(--color-success-700);font-weight:600}@media(max-width:1100px){#one-way .examples.svelte-s7mp5q{grid-template-columns:1fr}}