.proof-page.svelte-1foiewy{max-width:1100px;margin:0 auto;padding:2rem 1rem 4rem;color:var(--faf-black)}.breadcrumb.svelte-1foiewy{font-size:.85rem;margin-bottom:1.5rem}h1.svelte-1foiewy{font-size:2.2rem;font-weight:800;margin:0 0 .4rem}.subtitle.svelte-1foiewy{font-size:1.1rem;margin:0 0 1.4rem}.lead.svelte-1foiewy{font-size:1.05rem;padding:1.1rem 1.3rem;background:var(--faf-section-alt);border-radius:8px;border-left:4px solid var(--faf-orange);line-height:1.7}.jump.svelte-1foiewy{display:flex;flex-wrap:wrap;gap:.5rem 1.2rem;margin:1.5rem 0 2rem;font-size:.9rem}.card-block.svelte-1foiewy{margin-bottom:3rem;scroll-margin-top:1.5rem}h2.svelte-1foiewy{font-size:1.6rem;margin:0 0 .2rem;border-bottom:2px solid var(--faf-orange);padding-bottom:.3rem}.repo.svelte-1foiewy{font-family:var(--font-mono);font-size:.82rem;margin:.4rem 0 1rem}h3.svelte-1foiewy{font-size:1rem;margin:1.4rem 0 .3rem}.date.svelte-1foiewy{font-family:var(--font-mono);font-size:.8rem;color:var(--faf-dark);font-weight:400}.why.svelte-1foiewy{font-size:.88rem;color:var(--faf-dark);max-width:80ch;margin:0 0 .6rem}table.svelte-1foiewy{border-collapse:collapse;width:100%;font-size:.85rem}th.svelte-1foiewy,td.svelte-1foiewy{text-align:left;padding:7px 14px 7px 0;border-bottom:1px solid var(--faf-hairline);vertical-align:top}thead.svelte-1foiewy th:where(.svelte-1foiewy){font-family:var(--font-condensed);text-transform:uppercase;font-size:.76rem;letter-spacing:.04em}tbody.svelte-1foiewy th:where(.svelte-1foiewy){white-space:nowrap;width:9rem}.value.svelte-1foiewy{font-family:var(--font-mono);font-size:.8rem;width:22%}tr.svelte-1foiewy{scroll-margin-top:1.5rem}blockquote.svelte-1foiewy{margin:0 0 .4rem;padding-left:10px;border-left:3px solid var(--faf-hairline);max-width:60ch}.note.svelte-1foiewy{margin:0 0 .4rem;font-size:.82rem;color:var(--faf-dark);max-width:60ch}.none.svelte-1foiewy{font-size:.82rem;color:var(--faf-dark)}.notes.svelte-1foiewy ul:where(.svelte-1foiewy){max-width:80ch;display:grid;gap:.5rem;font-size:.86rem}a.svelte-1foiewy{color:var(--faf-cyan-text);font-weight:600;text-decoration:none}a.svelte-1foiewy:hover{text-decoration:underline}summary.svelte-1foiewy{cursor:pointer;font-weight:600}.back.svelte-1foiewy{margin-top:2rem}