.intersect.svelte-1fdgcm7{max-width:23rem;margin:1.5rem auto}.rect.svelte-1fdgcm7{fill:none;stroke:var(--anim-muted);stroke-width:1.6px}.meet.svelte-1fdgcm7{stroke:none}.hatch.svelte-1fdgcm7{stroke:var(--anim-accent);stroke-width:2.2px}.edge.svelte-1fdgcm7{fill:none;stroke:var(--anim-accent);stroke-width:2px}.cover-rect.svelte-1tnnf87{max-width:25rem;margin:1.5rem auto}.cover.svelte-1tnnf87{fill:var(--anim-muted);fill-opacity:.07;stroke:var(--anim-muted);stroke-width:1.4px}.rect.svelte-1tnnf87{fill:var(--anim-accent);fill-opacity:.16;stroke:var(--anim-accent);stroke-width:2.2px}.regularity.svelte-1l5znqu{max-width:26rem;margin:1.5rem auto}svg.svelte-1l5znqu{font-family:var(--anim-font)}.open.svelte-1l5znqu{fill:var(--anim-accent);fill-opacity:.07;stroke:var(--anim-accent);stroke-width:1.8px}.set.svelte-1l5znqu{fill:none;stroke:var(--anim-ink);stroke-width:1.8px}.compact.svelte-1l5znqu{fill:var(--anim-muted);fill-opacity:.2;stroke:var(--anim-muted);stroke-width:1.8px;stroke-linejoin:round}.arrow.svelte-1l5znqu{stroke-width:1.6px}.open-arrow.svelte-1l5znqu{stroke:var(--anim-accent)}.open-head.svelte-1l5znqu{fill:var(--anim-accent)}.compact-arrow.svelte-1l5znqu{stroke:var(--anim-muted)}.compact-head.svelte-1l5znqu{fill:var(--anim-muted)}text.svelte-1l5znqu{fill:var(--anim-ink);text-anchor:middle;dominant-baseline:central;font-size:17px;font-style:italic}.accent.svelte-1l5znqu{fill:var(--anim-accent)}.muted.svelte-1l5znqu{fill:var(--anim-muted)}.strips.svelte-1u83hln{max-width:28rem;margin:1.5rem auto}svg.svelte-1u83hln{font-family:var(--anim-font)}.inside.svelte-1u83hln{fill:var(--anim-ink);fill-opacity:.04;stroke:none}.strip.svelte-1u83hln{stroke:var(--anim-accent);stroke-width:1.2px}.strip.two.svelte-1u83hln{stroke:var(--anim-muted)}.hatch-1.svelte-1u83hln{stroke:var(--anim-accent);stroke-width:1.8px}.hatch-2.svelte-1u83hln{stroke:var(--anim-muted);stroke-width:1.8px}.frame.svelte-1u83hln{fill:none;stroke:var(--anim-accent);stroke-width:1px;stroke-opacity:.7}.boundary.svelte-1u83hln{fill:none;stroke:var(--anim-ink);stroke-width:2.2px}.leader.svelte-1u83hln{stroke:var(--anim-ink);stroke-width:1px}text.svelte-1u83hln{fill:var(--anim-ink);text-anchor:middle;dominant-baseline:central;font-size:17px;font-style:italic}.accent.svelte-1u83hln{fill:var(--anim-accent)}.muted.svelte-1u83hln{fill:var(--anim-muted)}.translate.svelte-1f95k4g{max-width:26rem;margin:1.5rem auto}svg.svelte-1f95k4g{font-family:var(--anim-font)}.rect.svelte-1f95k4g{fill:var(--anim-muted);fill-opacity:.07;stroke:var(--anim-muted);stroke-width:1.4px}.set.svelte-1f95k4g{fill:var(--anim-accent);fill-opacity:.2;stroke:var(--anim-accent);stroke-width:2px}text.svelte-1f95k4g{fill:var(--anim-ink);text-anchor:middle;dominant-baseline:central;font-size:17px;font-style:italic}.claim-cover.svelte-1obiejn{max-width:26rem;margin:1.5rem auto}svg.svelte-1obiejn{font-family:var(--anim-font)}.cover.svelte-1obiejn{fill:var(--anim-muted);fill-opacity:.06;stroke:var(--anim-muted);stroke-width:1.5px}.set.svelte-1obiejn{fill:var(--anim-accent);fill-opacity:.18;stroke:var(--anim-accent);stroke-width:2px}.rect.svelte-1obiejn{fill:none;stroke:var(--anim-ink);stroke-width:2px}text.svelte-1obiejn{fill:var(--anim-ink);text-anchor:middle;dominant-baseline:central;font-size:18px;font-style:italic}.accent.svelte-1obiejn{fill:var(--anim-accent)}.muted.svelte-1obiejn{fill:var(--anim-muted)}.inner.svelte-ucx07y{max-width:25rem;margin:1.5rem auto}svg.svelte-ucx07y{font-family:var(--anim-font)}.hatch.svelte-ucx07y{stroke:var(--anim-accent);stroke-width:1.6px;stroke-opacity:.8}.band-edge.svelte-ucx07y{fill:none;stroke:var(--anim-accent);stroke-width:1.2px;stroke-dasharray:5 4}.compact.svelte-ucx07y{fill:var(--anim-muted);fill-opacity:.22;stroke:var(--anim-muted);stroke-width:1.8px}.set.svelte-ucx07y{fill:none;stroke:var(--anim-ink);stroke-width:1.8px;stroke-dasharray:7 5}.leader.svelte-ucx07y{stroke:var(--anim-ink);stroke-width:1px}.accent-line.svelte-ucx07y{stroke:var(--anim-accent)}text.svelte-ucx07y{fill:var(--anim-ink);text-anchor:middle;dominant-baseline:central;font-size:17px;font-style:italic}.accent.svelte-ucx07y{fill:var(--anim-accent)}.muted.svelte-ucx07y{fill:var(--anim-muted)}.cantor.svelte-1h63mvz{max-width:36rem;margin:1.5rem auto}svg.svelte-1h63mvz{font-family:var(--anim-font)}.piece.svelte-1h63mvz{stroke:var(--anim-muted);stroke-width:6px;stroke-linecap:butt}.piece.last.svelte-1h63mvz{stroke:var(--anim-accent)}.piece.later.svelte-1h63mvz{stroke:var(--anim-rule)}.row.later.svelte-1h63mvz{fill:var(--anim-rule)}text.svelte-1h63mvz{fill:var(--anim-ink);text-anchor:middle;dominant-baseline:central;font-size:17px}.row.svelte-1h63mvz{font-style:italic}.num.svelte-1h63mvz{fill:var(--anim-muted);font-size:16px}.note.svelte-1h63mvz{font-style:italic}.path.svelte-vzykcr{max-width:36rem;margin:1.5rem auto}svg.svelte-vzykcr{font-family:var(--anim-font)}.piece.svelte-vzykcr{stroke:var(--anim-muted);stroke-width:4px;stroke-opacity:.55}.pick.svelte-vzykcr{stroke:var(--anim-accent);stroke-width:7px}.route.svelte-vzykcr{fill:none;stroke:var(--anim-accent);stroke-width:1.6px}text.svelte-vzykcr{fill:var(--anim-ink);text-anchor:middle;dominant-baseline:central;font-size:17px}.row.svelte-vzykcr{font-style:italic}.digit.svelte-vzykcr{fill:var(--anim-accent)}.line.svelte-vzykcr{text-align:center;color:var(--anim-ink);font-variant-numeric:tabular-nums;margin:.3rem 0 0}.anim-toggle.svelte-vzykcr{color:var(--anim-ink)}.fat-lengths.svelte-1jkj7ee{max-width:36rem;margin:1.5rem auto}svg.svelte-1jkj7ee{font-family:var(--anim-font)}.unit.svelte-1jkj7ee{fill:none;stroke:var(--anim-muted);stroke-width:1.4px}.piece.svelte-1jkj7ee{fill:var(--anim-accent);fill-opacity:.55;stroke:var(--anim-accent);stroke-width:.8px}.piece.odd.svelte-1jkj7ee{fill-opacity:.28}.brace.svelte-1jkj7ee{fill:none;stroke:var(--anim-muted);stroke-width:1.4px}.brace.accent.svelte-1jkj7ee{stroke:var(--anim-accent)}text.svelte-1jkj7ee{fill:var(--anim-ink);text-anchor:middle;dominant-baseline:central;font-size:17px}.lab.svelte-1jkj7ee{fill:var(--anim-muted);font-style:italic}.lab.accent.svelte-1jkj7ee{fill:var(--anim-accent)}.num.svelte-1jkj7ee{fill:var(--anim-muted);font-size:16px}.cantor-function.svelte-1mglj6r{max-width:28rem;margin:1.5rem auto}svg.svelte-1mglj6r{font-family:var(--anim-font)}.axis.svelte-1mglj6r{stroke:var(--anim-ink);stroke-width:1.3px}.tick.svelte-1mglj6r{stroke:var(--anim-ink);stroke-width:1.2px}.guide.svelte-1mglj6r{stroke:var(--anim-muted);stroke-width:1.2px;stroke-dasharray:5 4}.previous.svelte-1mglj6r{fill:none;stroke:var(--anim-muted);stroke-width:1.2px;stroke-linejoin:round}.curve.svelte-1mglj6r{fill:none;stroke:var(--anim-accent);stroke-width:2.2px;stroke-linejoin:round}text.svelte-1mglj6r{fill:var(--anim-ink);text-anchor:middle;dominant-baseline:central;font-size:17px}.lab.svelte-1mglj6r{fill:var(--anim-accent);font-style:italic}.num.svelte-1mglj6r{fill:var(--anim-muted);font-size:16px}