.definition.svelte-1rjdh95{text-wrap:balance}.flow-diagram.svelte-1rjdh95{display:block;width:100%;max-width:40rem}.dot.svelte-1rjdh95{fill:color-mix(in srgb,var(--color-accent) 22%,var(--color-bg));stroke:var(--color-accent);stroke-width:1.5}.dot-active.svelte-1rjdh95{fill:color-mix(in srgb,var(--color-comp) 26%,var(--color-bg));stroke:var(--color-comp);stroke-width:1.5}.triad.svelte-1rjdh95{fill:none;stroke:currentColor;stroke-width:1;opacity:.35}.trail.svelte-1rjdh95{stroke:var(--color-accent);stroke-width:1;stroke-dasharray:4 4;opacity:.55}.label.svelte-1rjdh95{fill:var(--color-text-muted);font-size:13px;letter-spacing:.04em}.pole.svelte-1rjdh95{fill:var(--color-text-muted);font-size:10.5px;letter-spacing:.03em;opacity:.85}.proof-card.svelte-1rjdh95{transition:border-color .2s,background .2s}.proof-card.svelte-1rjdh95:hover{border-color:var(--color-accent);background:color-mix(in srgb,var(--color-surface) 70%,transparent)}.comparison.svelte-1rjdh95 table{width:100%;border-collapse:separate;border-spacing:0;font-size:var(--text-base);border:1px solid var(--color-border);border-radius:var(--radius-card)}.comparison.svelte-1rjdh95 th,.comparison.svelte-1rjdh95 td{padding:.8rem 1rem;text-align:left;vertical-align:top;border-bottom:1px solid var(--color-border)}.comparison.svelte-1rjdh95 tbody tr:last-child td{border-bottom:none}.comparison.svelte-1rjdh95 thead th{font-weight:var(--font-weight-semibold);color:var(--color-text-muted);text-transform:uppercase;font-size:.72rem;letter-spacing:.07em;background:color-mix(in srgb,var(--color-surface) 65%,transparent)}.comparison.svelte-1rjdh95 td:first-child{color:var(--color-text-muted);font-weight:var(--font-weight-semibold)}.comparison.svelte-1rjdh95 th:last-child{color:var(--color-accent);background:color-mix(in srgb,var(--color-accent) 10%,transparent)}.comparison.svelte-1rjdh95 td:last-child{background:color-mix(in srgb,var(--color-accent) 6%,transparent)}.comparison.svelte-1rjdh95 thead th:first-child{border-top-left-radius:var(--radius-card)}.comparison.svelte-1rjdh95 thead th:last-child{border-top-right-radius:var(--radius-card)}.comparison.svelte-1rjdh95 tbody tr:last-child td:first-child{border-bottom-left-radius:var(--radius-card)}.comparison.svelte-1rjdh95 tbody tr:last-child td:last-child{border-bottom-right-radius:var(--radius-card)}