.proof.svelte-gkgv7r{border-left:2px solid var(--rule-strong);margin-block:1em 1.4em;padding-left:1.1em}.label.svelte-gkgv7r{font-family:var(--font-sans);color:var(--ink-soft);font-size:.86em;font-weight:700;display:block}.qed.svelte-gkgv7r{text-align:right;color:var(--ink-muted);margin-top:-.6em;display:block}.proof.svelte-gkgv7r>p:last-of-type{margin-bottom:.4em}.lesson-tabs{border:1px solid var(--rule);border-radius:var(--radius);background:var(--card);box-shadow:var(--shadow-sm);flex-direction:column;margin-block:1.4em;display:flex;overflow:hidden}.lesson-tabs-bar{border-bottom:1px solid var(--rule);background:var(--paper-sunk);scrollbar-width:none;order:-1;gap:.25rem;padding:.4rem;display:flex;position:relative;overflow-x:auto}.lesson-tabs-pill{background:var(--card);box-shadow:var(--shadow-sm), 0 0 0 1px var(--rule), inset 0 -3px 0 var(--accent);transition:transform .35s var(--spring), width .35s var(--spring);border-radius:10px;position:absolute;top:.4rem;bottom:.4rem;left:0}.lesson-tabs-trigger{z-index:1;min-height:2.5rem;font-family:var(--font-sans);color:var(--ink-muted);white-space:nowrap;transition:color var(--dur-2);background:0 0;border:0;border-radius:10px;flex:none;padding:.3rem 1rem;font-size:.92rem;font-weight:650;position:relative}.lesson-tabs-trigger:hover,.lesson-tabs-trigger[data-state=active]{color:var(--ink)}.lesson-tabs-bar:not(.measured) .lesson-tabs-trigger[data-state=active]{background:var(--card);box-shadow:inset 0 -3px 0 var(--accent)}.lesson-tabs-trigger:focus-visible{outline-offset:-2px}.lesson-tabs-panels{padding:1em 1.15em .1em;display:grid}.lesson-tab-panel{grid-area:1/1;min-width:0}.lesson-tab-panel[hidden]{visibility:hidden;display:block}.lesson-tab-panel[data-state=active]{animation:rise .28s var(--ease-out)}.lesson-tab-panel:focus-visible{outline-offset:4px;border-radius:6px}.lesson-tab-panel>:first-child{margin-top:0}.lesson-tab-panel>:last-child{margin-bottom:.9em}text.svelte-dx1rxb{font-family:KaTeX_Math, var(--font-serif);fill:var(--ink);paint-order:stroke;stroke:var(--card);stroke-width:4px;font-size:17px;font-style:italic}text.svelte-j00qy8{font-family:var(--font-sans);paint-order:stroke;stroke:var(--card);stroke-width:3px;font-size:13px;font-weight:700}rect.svelte-q4ndaf{transition:fill-opacity .15s}text.svelte-q4ndaf{font-family:var(--font-sans);fill:var(--ink-soft);paint-order:stroke;stroke:var(--card);stroke-width:3px;font-size:12.5px;font-weight:700}.lab.svelte-q4ndaf{fill:var(--ink-muted);font-weight:600}.pie.svelte-1mfchnf{font-family:var(--font-sans);flex-wrap:wrap;justify-content:center;align-items:center;gap:1rem 2rem;display:flex}svg.svelte-1mfchnf{max-width:100%;height:auto}path.svelte-1mfchnf{transition:transform .2s var(--ease), fill-opacity .15s}text.svelte-1mfchnf{fill:#fff;paint-order:stroke;stroke:oklch(0% 0 0/.25);stroke-width:2px;pointer-events:none;font-size:13px;font-weight:700}.legend.svelte-1mfchnf{gap:.3rem;margin:0;padding:0;font-size:.95rem;list-style:none;display:grid}.legend.svelte-1mfchnf li:where(.svelte-1mfchnf){border-radius:6px;align-items:center;gap:.6rem;margin:0;padding:.15rem .5rem;line-height:1.6;display:flex}.legend.svelte-1mfchnf li.active:where(.svelte-1mfchnf){background:var(--paper-sunk)}.sw.svelte-1mfchnf{border-radius:3px;width:.9rem;height:.9rem}.l.svelte-1mfchnf{flex:1}.v.svelte-1mfchnf{font-variant-numeric:tabular-nums;font-weight:700}.nl.svelte-4i8ig6{touch-action:pan-y;-webkit-user-select:none;user-select:none;width:100%}svg.svelte-4i8ig6{font-family:var(--font-sans);display:block;overflow:visible}.axis.svelte-4i8ig6{stroke:var(--ink-soft);stroke-width:1.5px}.arrow.svelte-4i8ig6{fill:var(--ink-soft)}.tick.svelte-4i8ig6{stroke:var(--ink-soft);stroke-width:1.2px}.interval.svelte-4i8ig6{stroke-width:6px;stroke-linecap:round;opacity:.6}text.svelte-4i8ig6{fill:var(--ink-muted);font-size:13px}.pl.svelte-4i8ig6{font-family:KaTeX_Math, var(--font-serif);font-size:16px;font-style:italic;font-weight:700}.draggable.svelte-4i8ig6{cursor:grab;touch-action:none;outline:none}.draggable.svelte-4i8ig6:focus-visible circle:where(.svelte-4i8ig6):last-of-type{stroke:var(--focus)}.venn.svelte-3tjk6k{max-width:30rem;margin:0 auto}svg.svelte-3tjk6k{font-family:var(--font-sans);display:block}.u.svelte-3tjk6k{fill:none;stroke:var(--ink-faint);stroke-width:1.5px}.region.svelte-3tjk6k{fill-opacity:0;transition:fill-opacity .25s}.region.on.svelte-3tjk6k{fill-opacity:.35}.outline.svelte-3tjk6k{fill:none;stroke:var(--ink-soft);stroke-width:2px}.set.svelte-3tjk6k{font-family:KaTeX_Math, var(--font-serif);fill:var(--ink);font-size:20px;font-style:italic;font-weight:700}.el.svelte-3tjk6k{fill:var(--ink);font-size:15px;font-weight:600}.ops.svelte-3tjk6k{justify-content:center;margin-top:.6rem;display:flex;overflow-x:auto}