.intro.svelte-1m8jmae.svelte-1m8jmae.svelte-1m8jmae{padding-top:64px}.crumbs.svelte-1m8jmae.svelte-1m8jmae.svelte-1m8jmae{font-size:.8rem;color:#999;margin-bottom:.6rem}.crumbs.svelte-1m8jmae span.svelte-1m8jmae.svelte-1m8jmae{color:#999}.kinds.svelte-1m8jmae.svelte-1m8jmae.svelte-1m8jmae{display:grid;grid-template-columns:repeat(auto-fit,minmax(220px,1fr));gap:12px;margin-bottom:1rem}.kind.svelte-1m8jmae.svelte-1m8jmae.svelte-1m8jmae{padding:.9rem 1rem .8rem;border-left-width:4px}.kind.yes.svelte-1m8jmae.svelte-1m8jmae.svelte-1m8jmae{border-left-color:#5db65d}.kind.no.svelte-1m8jmae.svelte-1m8jmae.svelte-1m8jmae{border-left-color:#e05555}.kind.svelte-1m8jmae p.svelte-1m8jmae.svelte-1m8jmae{margin:.3rem 0;font-size:.92rem}.list.svelte-1m8jmae.svelte-1m8jmae.svelte-1m8jmae{color:#ddd;padding-left:1.25rem;max-width:700px}.list.svelte-1m8jmae li.svelte-1m8jmae.svelte-1m8jmae{margin-bottom:.5rem}.tt.svelte-1m8jmae th.svelte-1m8jmae.svelte-1m8jmae,.tt.svelte-1m8jmae td.svelte-1m8jmae.svelte-1m8jmae{text-align:center;white-space:nowrap}.tt.svelte-1m8jmae .first.svelte-1m8jmae.svelte-1m8jmae{border-left:1px solid rgba(255,255,255,.25)}.tt.svelte-1m8jmae .main.svelte-1m8jmae.svelte-1m8jmae{font-weight:700;background-color:#ffffff0f}.nowrap.svelte-1m8jmae.svelte-1m8jmae.svelte-1m8jmae{white-space:nowrap}.t.svelte-1m8jmae.svelte-1m8jmae.svelte-1m8jmae{color:#5db65d}.f.svelte-1m8jmae.svelte-1m8jmae.svelte-1m8jmae{color:#f66}.kind-cell.tautology.svelte-1m8jmae.svelte-1m8jmae.svelte-1m8jmae,.ok.svelte-1m8jmae.svelte-1m8jmae.svelte-1m8jmae,.checked.svelte-1m8jmae.svelte-1m8jmae.svelte-1m8jmae{color:#8ede8e}.kind-cell.contradiction.svelte-1m8jmae.svelte-1m8jmae.svelte-1m8jmae,.bad.svelte-1m8jmae.svelte-1m8jmae.svelte-1m8jmae{color:#ff8a8a}.stack.svelte-1m8jmae td.svelte-1m8jmae.svelte-1m8jmae{vertical-align:top}.stack.svelte-1m8jmae td.svelte-1m8jmae>.svelte-1m8jmae{display:block}.values.svelte-1m8jmae.svelte-1m8jmae.svelte-1m8jmae{letter-spacing:.15em}.small.svelte-1m8jmae.svelte-1m8jmae.svelte-1m8jmae{font-size:.8rem}.rule-box.svelte-1m8jmae.svelte-1m8jmae.svelte-1m8jmae{border-left:4px solid #5db65d;background-color:#3377222e;padding:.7rem 1rem;border-radius:3px;color:#fff;max-width:700px}