.proof-scroll.svelte-8v3v4{overflow-x:auto}.proof-scroll.svelte-8v3v4:focus-visible{outline:2px solid var(--pen-blue);outline-offset:2px}.proof-panel.svelte-8v3v4{border-collapse:collapse;background:var(--paper-alt);border:1px solid var(--grid);width:100%;font-family:var(--font-mono,"IBM Plex Mono", monospace);font-variant-numeric:tabular-nums;border-radius:2px}.proof-panel.svelte-8v3v4 tr:where(.svelte-8v3v4){border-bottom:1px solid var(--grid)}.proof-panel.svelte-8v3v4 tr:where(.svelte-8v3v4):last-child{border-bottom:none}.proof-panel.svelte-8v3v4 th:where(.svelte-8v3v4),.proof-panel.svelte-8v3v4 td:where(.svelte-8v3v4){text-align:left;vertical-align:baseline;white-space:nowrap;padding:.5rem .75rem;font-size:.85rem;font-weight:400;line-height:1.4}.proof-panel.svelte-8v3v4 th:where(.svelte-8v3v4){color:var(--ink);font-weight:400}.proof-panel.svelte-8v3v4 td:where(.svelte-8v3v4){color:var(--ink);text-align:right;width:100%}.proof-panel.svelte-8v3v4 tr.emphasis:where(.svelte-8v3v4) th:where(.svelte-8v3v4),.proof-panel.svelte-8v3v4 tr.emphasis:where(.svelte-8v3v4) td:where(.svelte-8v3v4){color:var(--pen-red);font-size:.95rem;font-weight:600}@media (width<=32rem){.proof-panel.svelte-8v3v4 td:where(.svelte-8v3v4){white-space:normal}}