.tv.svelte-1n941k.svelte-1n941k{display:block}.e.svelte-1n941k.svelte-1n941k{stroke:var(--rule);stroke-width:1.6}.n.svelte-1n941k circle.svelte-1n941k{fill:var(--card);stroke:var(--ink-2);stroke-width:1.6}.n.focus.svelte-1n941k circle.svelte-1n941k{stroke:var(--highlight);stroke-width:4}.n.warn.svelte-1n941k circle.svelte-1n941k{fill:color-mix(in srgb,var(--rust) 18%,var(--card));stroke:var(--rust);stroke-width:2.5}.k.svelte-1n941k.svelte-1n941k{font-family:var(--type-mono);font-size:12px;font-weight:600;fill:var(--ink)}.tag.svelte-1n941k.svelte-1n941k{font-family:var(--type-mono);font-size:10.5px;fill:var(--muted)}.n.warn.svelte-1n941k .tag.svelte-1n941k{fill:var(--rust);font-weight:700}.treebox.svelte-j45ppd.svelte-j45ppd{overflow-x:auto;background:var(--paper);border:1px solid var(--rule-soft);padding:8px;min-height:120px}.fig-tree.svelte-j45ppd.svelte-j45ppd{overflow-x:auto;margin:16px 0 0;padding:8px;background:var(--paper);border:1px solid var(--rule-soft)}.k-f.svelte-j45ppd.svelte-j45ppd{border:3px solid var(--highlight);border-radius:50%}.k-w.svelte-j45ppd.svelte-j45ppd{background:color-mix(in srgb,var(--rust) 18%,var(--card));border:2px solid var(--rust);border-radius:50%}.steplink.svelte-j45ppd.svelte-j45ppd{background:none;border:0;padding:0;text-align:left;font:inherit;color:inherit;cursor:pointer}.steplink.svelte-j45ppd.svelte-j45ppd:hover{color:var(--accent)}.hist.svelte-j45ppd.svelte-j45ppd{list-style:none;margin:0;padding:0;font-size:13px;color:var(--ink-2)}.hist.svelte-j45ppd li.svelte-j45ppd{padding:4px 0;border-bottom:1px solid var(--rule-soft)}.cases.svelte-j45ppd.svelte-j45ppd{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:16px;margin-top:16px}.case.svelte-j45ppd.svelte-j45ppd{margin:0;padding:12px;border:1px solid var(--rule-soft);background:var(--card)}.case.svelte-j45ppd figcaption.svelte-j45ppd{font-size:14px;line-height:1.5;color:var(--ink-2);margin-bottom:8px}.mini-row.svelte-j45ppd.svelte-j45ppd{display:flex;gap:12px;flex-wrap:wrap}.mini.svelte-j45ppd.svelte-j45ppd{display:grid;gap:2px}.mini.svelte-j45ppd .note.svelte-j45ppd{margin:0;font-size:12px}@media (max-width: 700px){.cases.svelte-j45ppd.svelte-j45ppd{grid-template-columns:1fr}}