.intro.svelte-1qh8lpv.svelte-1qh8lpv{padding-top:64px}.tool.svelte-1qh8lpv.svelte-1qh8lpv{padding:1.1rem 1.2rem 1.3rem;margin-bottom:1rem}.pair.svelte-1qh8lpv.svelte-1qh8lpv{display:grid;grid-template-columns:minmax(0,1fr) auto minmax(0,1fr);gap:.7rem;align-items:end}.equiv.svelte-1qh8lpv.svelte-1qh8lpv{color:#999;font-size:1.4rem;padding-bottom:.45rem}.field.svelte-1qh8lpv.svelte-1qh8lpv{display:block;font-size:.85rem;color:#ddd;margin-bottom:.35rem}.optional.svelte-1qh8lpv.svelte-1qh8lpv{color:#999}.expression-input.svelte-1qh8lpv.svelte-1qh8lpv{width:100%;box-sizing:border-box;background-color:#0d0d0f;border:1px solid rgba(255,255,255,.4);border-radius:3px;color:#fff;font:1.15rem ui-monospace,SFMono-Regular,Menlo,monospace;padding:.6rem .7rem}.expression-input.svelte-1qh8lpv.svelte-1qh8lpv::placeholder{color:#888;font-size:.95rem}.expression-input.svelte-1qh8lpv.svelte-1qh8lpv:focus{outline:none;border-color:#5db65d}.field-help.svelte-1qh8lpv.svelte-1qh8lpv{color:#999;font-size:.8rem;margin:.45rem 0 .7rem}.chips.svelte-1qh8lpv.svelte-1qh8lpv{display:flex;flex-wrap:wrap;gap:6px;margin-bottom:1rem}.chip-btn.svelte-1qh8lpv.svelte-1qh8lpv{background:#0d0d0f;border:1px solid rgba(255,255,255,.4);border-radius:3px;color:#ddd;font-size:.8rem;padding:.25rem .6rem;cursor:pointer}.chip-btn.svelte-1qh8lpv.svelte-1qh8lpv:hover{border-color:#5db65d;color:#fff}.error.svelte-1qh8lpv.svelte-1qh8lpv{color:#f66;font-size:.9rem;margin:.5rem 0 0}.verdict.svelte-1qh8lpv.svelte-1qh8lpv{display:flex;flex-direction:column;gap:.2rem;margin:0 0 .8rem;padding:.75rem .95rem;border:1px solid rgba(255,255,255,.25);border-left-width:4px;border-radius:3px;background-color:#ffffff0a}.verdict.yes.svelte-1qh8lpv.svelte-1qh8lpv{border-color:#5db65d;background-color:#3377222e}.verdict.no.svelte-1qh8lpv.svelte-1qh8lpv{border-color:#e05555;background-color:#be32322e}.verdict-head.svelte-1qh8lpv.svelte-1qh8lpv{color:#fff;font-size:1.2rem}.verdict.yes.svelte-1qh8lpv .verdict-head.svelte-1qh8lpv{color:#8ede8e}.verdict.no.svelte-1qh8lpv .verdict-head.svelte-1qh8lpv{color:#ff8a8a}.verdict-detail.svelte-1qh8lpv.svelte-1qh8lpv{color:#ddd;font-size:.9rem;overflow-wrap:anywhere}.verdict-means.svelte-1qh8lpv.svelte-1qh8lpv{color:#aaa;font-size:.82rem;margin-top:.35rem;padding-top:.4rem;border-top:1px solid rgba(255,255,255,.12)}.proof.svelte-1qh8lpv.svelte-1qh8lpv{list-style:none;padding:0;margin:.4rem 0 0}.proof.svelte-1qh8lpv li.svelte-1qh8lpv{display:grid;grid-template-columns:1.6rem minmax(0,1.3fr) minmax(0,1fr);gap:.2rem .9rem;padding:.5rem 0;border-top:1px solid rgba(255,255,255,.08);align-items:baseline}.proof.svelte-1qh8lpv li.svelte-1qh8lpv:first-child{border-top:0}.num.svelte-1qh8lpv.svelte-1qh8lpv{color:#999;font-size:.8rem;text-align:right}.statement.svelte-1qh8lpv.svelte-1qh8lpv{color:#fff;font-size:1rem;overflow-wrap:anywhere}.law.svelte-1qh8lpv.svelte-1qh8lpv{color:#8ede8e;font-size:.85rem}.law.start.svelte-1qh8lpv.svelte-1qh8lpv{color:#999}.rev.svelte-1qh8lpv.svelte-1qh8lpv{color:#bbb}.law-detail.svelte-1qh8lpv.svelte-1qh8lpv{display:block;color:#999;font-size:.78rem;margin-top:.1rem;overflow-wrap:anywhere}.worked.svelte-1qh8lpv.svelte-1qh8lpv{max-width:760px;margin-bottom:.8rem}.both.svelte-1qh8lpv.svelte-1qh8lpv{display:grid;grid-template-columns:repeat(auto-fit,minmax(260px,1fr));gap:1rem;margin-bottom:.8rem}.side-head.svelte-1qh8lpv.svelte-1qh8lpv{font-size:.9rem;color:#ddd;margin:0 0 .2rem}.compact.svelte-1qh8lpv li.svelte-1qh8lpv{grid-template-columns:1.6rem minmax(0,1fr)}.compact.svelte-1qh8lpv .law.svelte-1qh8lpv{grid-column:2}.note.svelte-1qh8lpv.svelte-1qh8lpv{color:#bbb;font-size:.85rem;margin:.8rem 0 .5rem}.table-scroll.svelte-1qh8lpv.svelte-1qh8lpv{position:relative;overflow-x:auto;border-radius:3px;margin-bottom:.4rem}.result-table.svelte-1qh8lpv.svelte-1qh8lpv{width:auto;min-width:min(100%,16rem)}.result-table.svelte-1qh8lpv th.svelte-1qh8lpv,.result-table.svelte-1qh8lpv td.svelte-1qh8lpv{text-align:center;padding-left:.9rem;padding-right:.9rem;white-space:nowrap}.result-table.svelte-1qh8lpv .first.svelte-1qh8lpv{border-left:1px solid rgba(255,255,255,.25)}.result-table.svelte-1qh8lpv .main.svelte-1qh8lpv{font-weight:700}.result-table.svelte-1qh8lpv tr.counter td.svelte-1qh8lpv{background-color:#be323240}.export.svelte-1qh8lpv.svelte-1qh8lpv{display:flex;align-items:center;gap:1.1rem;flex-wrap:wrap;margin-top:.9rem;padding-top:.9rem;border-top:1px solid rgba(255,255,255,.15)}.button-link.svelte-1qh8lpv.svelte-1qh8lpv{display:inline-block;background:#0d0d0f;border:1px solid #5db65d;border-radius:3px;color:#fff;font-size:.85rem;padding:.35rem .8rem;text-decoration:none}.button-link.svelte-1qh8lpv.svelte-1qh8lpv:hover{background-color:#372}.methods.svelte-1qh8lpv.svelte-1qh8lpv{display:grid;grid-template-columns:repeat(auto-fit,minmax(260px,1fr));gap:12px;margin-bottom:.8rem}.method.svelte-1qh8lpv.svelte-1qh8lpv{padding:.9rem 1.1rem}.method.svelte-1qh8lpv h3.svelte-1qh8lpv{color:#fff;margin-top:0}.method.svelte-1qh8lpv p.svelte-1qh8lpv{color:#ddd;margin:0}.table-head.svelte-1qh8lpv.svelte-1qh8lpv{color:#fff;font-size:1rem;margin:1.2rem 0 .4rem}.laws-table.svelte-1qh8lpv.svelte-1qh8lpv{width:100%}.laws-table.svelte-1qh8lpv td.svelte-1qh8lpv,.laws-table.svelte-1qh8lpv th.svelte-1qh8lpv{text-align:left}.laws-table.svelte-1qh8lpv td.svelte-1qh8lpv:last-child,.laws-table.svelte-1qh8lpv th.svelte-1qh8lpv:last-child{text-align:center;width:4rem}.laws-table.svelte-1qh8lpv tr.continued td.svelte-1qh8lpv{border-top-color:transparent}.law-name.svelte-1qh8lpv.svelte-1qh8lpv{color:#ddd}.eq.svelte-1qh8lpv span.svelte-1qh8lpv{display:inline-block;white-space:nowrap}.visually-hidden.svelte-1qh8lpv.svelte-1qh8lpv{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0 0 0 0);white-space:nowrap}@media (max-width: 620px){.pair.svelte-1qh8lpv.svelte-1qh8lpv{grid-template-columns:1fr;gap:.4rem}.equiv.svelte-1qh8lpv.svelte-1qh8lpv{display:none}.proof.svelte-1qh8lpv li.svelte-1qh8lpv{grid-template-columns:1.6rem minmax(0,1fr)}.proof.svelte-1qh8lpv .law.svelte-1qh8lpv{grid-column:2}.laws-table.svelte-1qh8lpv.svelte-1qh8lpv{font-size:.85rem}.laws-table.svelte-1qh8lpv td.svelte-1qh8lpv,.laws-table.svelte-1qh8lpv th.svelte-1qh8lpv{padding-left:.5rem;padding-right:.5rem}.laws-table.svelte-1qh8lpv td.svelte-1qh8lpv:last-child,.laws-table.svelte-1qh8lpv th.svelte-1qh8lpv:last-child{width:2.8rem}}