.proof-hero.svelte-r3rumr .subtitle:where(.svelte-r3rumr){max-width:850px}.proof-summary.svelte-r3rumr{display:grid;gap:1px;padding:0;overflow:hidden;background:var(--border)}.proof-summary-row.svelte-r3rumr{display:grid;gap:4px;padding:22px;background:linear-gradient(180deg,rgba(232,153,71,.06),transparent 72%),#0a0a0ff5}.proof-summary-row.svelte-r3rumr strong:where(.svelte-r3rumr){color:var(--cyan);font-family:var(--serif);font-size:48px;font-weight:350;line-height:1}.proof-summary-row.svelte-r3rumr span:where(.svelte-r3rumr){color:var(--text-secondary);font-family:var(--mono);font-size:12px;letter-spacing:.08em;text-transform:uppercase}.proof-index.svelte-r3rumr{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:1px;border:1px solid var(--border);background:var(--border)}.proof-index.svelte-r3rumr a:where(.svelte-r3rumr){min-width:0;min-height:180px;display:grid;align-content:start;gap:14px;padding:24px;background:#0a0a0ff0;color:var(--text-secondary);text-decoration:none}.proof-index.svelte-r3rumr a:where(.svelte-r3rumr):hover{color:var(--text-primary);background:#e899470b}.proof-index.svelte-r3rumr span:where(.svelte-r3rumr),.proof-artifact-meta.svelte-r3rumr span:where(.svelte-r3rumr){color:var(--cyan);font-family:var(--mono);font-size:11px;letter-spacing:.14em;text-transform:uppercase}.proof-index.svelte-r3rumr p:where(.svelte-r3rumr){margin:0;color:currentColor;line-height:1.5}.proof-packet-head.svelte-r3rumr{display:flex;justify-content:space-between;gap:28px;align-items:end}.proof-artifact-list.svelte-r3rumr{display:grid;gap:18px}.proof-artifact.svelte-r3rumr{display:grid;grid-template-columns:minmax(220px,.42fr) minmax(0,1fr);gap:18px 34px;padding:28px;border:1px solid var(--border);border-radius:8px;background:linear-gradient(180deg,#12121aeb,#0a0a0ff5);scroll-margin-top:96px}.proof-artifact-meta.svelte-r3rumr{grid-column:1;grid-row:1 / span 4;display:flex;flex-direction:column;align-items:flex-start;gap:8px}.proof-artifact.svelte-r3rumr h3:where(.svelte-r3rumr){grid-column:2;margin:0;color:var(--text-primary);font-family:var(--serif);font-size:32px;font-weight:350;line-height:1.08}.proof-artifact.svelte-r3rumr p:where(.svelte-r3rumr){grid-column:2;max-width:74ch;margin:0;color:var(--text-secondary)}.proof-artifact.svelte-r3rumr .claim:where(.svelte-r3rumr){color:var(--text-primary);font-size:18px}.proof-artifact.svelte-r3rumr pre:where(.svelte-r3rumr){grid-column:2;overflow-x:auto;margin:4px 0 0;padding:18px;border:1px solid var(--border);border-radius:6px;background:#00000047;color:var(--text-secondary);font-family:var(--mono);font-size:12px;line-height:1.65;white-space:pre-wrap}.proof-artifact.svelte-r3rumr .small-link:where(.svelte-r3rumr){grid-column:2;justify-self:start}@media(max-width:900px){.proof-index.svelte-r3rumr{grid-template-columns:1fr}.proof-packet-head.svelte-r3rumr{display:grid;align-items:start}.proof-artifact.svelte-r3rumr{grid-template-columns:1fr}.proof-artifact-meta.svelte-r3rumr,.proof-artifact.svelte-r3rumr h3:where(.svelte-r3rumr),.proof-artifact.svelte-r3rumr p:where(.svelte-r3rumr),.proof-artifact.svelte-r3rumr pre:where(.svelte-r3rumr),.proof-artifact.svelte-r3rumr .small-link:where(.svelte-r3rumr){grid-column:1;grid-row:auto}}