.symbol.svelte-jdzwxg{display:block;width:100%;height:auto;overflow:visible}.intro.svelte-ydffz4.svelte-ydffz4{padding-top:48px}.crumbs.svelte-ydffz4.svelte-ydffz4{font-size:.8rem;color:#888;margin-bottom:.6rem}.crumbs.svelte-ydffz4 span.svelte-ydffz4{color:#888}.summary.svelte-ydffz4.svelte-ydffz4{display:flex;flex-wrap:wrap;gap:.8rem 2.5rem;padding:.9rem 1rem;margin:1rem 0 0;max-width:700px}.summary.svelte-ydffz4 dt.svelte-ydffz4{color:#999;font-size:.8rem;text-transform:uppercase;letter-spacing:.04em}.summary.svelte-ydffz4 dd.svelte-ydffz4{margin:.2rem 0 0}.summary.svelte-ydffz4 dd.mono.svelte-ydffz4{color:#8ede8e;font-size:1.15rem}.summary.svelte-ydffz4 .gloss.svelte-ydffz4{color:#bbb;font-size:.85rem}.set-laws.svelte-ydffz4.svelte-ydffz4{display:block;margin:.4rem 0 1rem}.set-laws.svelte-ydffz4 p.svelte-ydffz4,.general.svelte-ydffz4 p.svelte-ydffz4{margin:.2rem 0}.general.svelte-ydffz4.svelte-ydffz4{padding:.8rem 1rem;margin-bottom:1rem;max-width:700px}.laws.svelte-ydffz4.svelte-ydffz4{display:grid;grid-template-columns:repeat(auto-fit,minmax(min(300px,100%),1fr));gap:12px}.law.svelte-ydffz4.svelte-ydffz4{padding:.9rem 1rem 1rem;min-width:0}.law-name.svelte-ydffz4.svelte-ydffz4{margin:0 0 .4rem;font-size:.8rem;color:#999;text-transform:uppercase;letter-spacing:.04em}.statement.svelte-ydffz4.svelte-ydffz4{display:flex;flex-wrap:wrap;align-items:baseline;gap:.5rem;margin-bottom:.5rem}.expr.svelte-ydffz4.svelte-ydffz4{color:#8ede8e;font-size:1.05rem}.equals.svelte-ydffz4.svelte-ydffz4{color:#999}.words.svelte-ydffz4.svelte-ydffz4{color:#fff;margin:.3rem 0}.note.svelte-ydffz4.svelte-ydffz4{color:#bbb;font-size:.88rem;margin:.3rem 0 .6rem}.law.svelte-ydffz4 details.svelte-ydffz4{margin-top:.4rem}.law.svelte-ydffz4 summary.svelte-ydffz4{cursor:pointer;font-size:.85rem;color:#8ede8e}.proof.svelte-ydffz4.svelte-ydffz4{margin-top:.6rem;font-size:.85rem}.verdict.svelte-ydffz4.svelte-ydffz4{color:#bbb;font-size:.85rem;margin:.5rem 0 0}#notations.svelte-ydffz4.svelte-ydffz4{margin-top:1.8rem}.notations.svelte-ydffz4 td.svelte-ydffz4{white-space:nowrap;position:relative}.bar.svelte-ydffz4.svelte-ydffz4{text-decoration:overline}.sr.svelte-ydffz4.svelte-ydffz4{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0 0 0 0);white-space:nowrap}.moves.svelte-ydffz4.svelte-ydffz4{color:#ddd;max-width:700px;padding-left:1.25rem}.moves.svelte-ydffz4 li.svelte-ydffz4{margin-bottom:.5rem}.moves.svelte-ydffz4 strong.svelte-ydffz4{color:#fff}.example.svelte-ydffz4.svelte-ydffz4{padding:.9rem 1rem 1rem;margin-bottom:12px}.example.svelte-ydffz4 h3.svelte-ydffz4{margin:0 0 .3rem}.why.svelte-ydffz4.svelte-ydffz4{color:#bbb;font-size:.88rem;margin:0 0 .6rem}.steps.svelte-ydffz4.svelte-ydffz4{margin:0;padding-left:1.4rem;color:#ddd}.steps.svelte-ydffz4 li.svelte-ydffz4{margin-bottom:.35rem;display:flex;flex-wrap:wrap;gap:.2rem .9rem;align-items:baseline}.steps.svelte-ydffz4 .expr.svelte-ydffz4{font-size:1rem}.rule.svelte-ydffz4.svelte-ydffz4{color:#999;font-size:.82rem}.walkthrough.svelte-ydffz4.svelte-ydffz4{margin-top:1rem}.gate-laws.svelte-ydffz4.svelte-ydffz4{display:grid;grid-template-columns:repeat(auto-fit,minmax(min(320px,100%),1fr));gap:12px;margin-bottom:1rem}.gate-law.svelte-ydffz4.svelte-ydffz4{margin:0;padding:.9rem 1rem 1rem}.gate-pair.svelte-ydffz4.svelte-ydffz4{display:flex;align-items:flex-start;justify-content:center;gap:.8rem}.gate-pair.svelte-ydffz4>.equals.svelte-ydffz4{margin-top:1.9rem}.gate-side.svelte-ydffz4.svelte-ydffz4{flex:1 1 0;max-width:140px;display:flex;flex-direction:column;align-items:center;gap:.25rem;text-align:center}.gate-caption.svelte-ydffz4.svelte-ydffz4{color:#fff;font-size:.82rem}.gate-expr.svelte-ydffz4.svelte-ydffz4{color:#8ede8e;font-size:.85rem}.gate-law.svelte-ydffz4 figcaption.svelte-ydffz4{color:#bbb;font-size:.85rem;margin-top:.7rem;text-align:center}.bubbles.svelte-ydffz4.svelte-ydffz4{color:#ddd;max-width:700px;padding-left:1.25rem}.bubbles.svelte-ydffz4 li.svelte-ydffz4{margin-bottom:.5rem}.mistake.svelte-ydffz4 .differs td.svelte-ydffz4{background:rgba(255,34,51,.12)}.mistakes.svelte-ydffz4.svelte-ydffz4{margin-top:1.2rem;display:grid;grid-template-columns:repeat(auto-fit,minmax(min(280px,100%),1fr));gap:12px}.mistakes.svelte-ydffz4 .example.svelte-ydffz4{margin:0;min-width:0}.pair.svelte-ydffz4.svelte-ydffz4{margin:.2rem 0;color:#ddd}.wrong-expr.svelte-ydffz4.svelte-ydffz4{color:#f77;font-size:1.05rem}