.proof-index[data-astro-cid-om63c5ly]{background:var(--bg)}.proof-index__header[data-astro-cid-om63c5ly]{padding:var(--space-64) 0 0;border-bottom:2px solid var(--text)}.proof-index__header-grid[data-astro-cid-om63c5ly]{gap:var(--space-48);grid-template-columns:minmax(0,1fr) auto;align-items:end;display:grid}.proof-index__kicker[data-astro-cid-om63c5ly]{font:11px var(--font-mono);letter-spacing:.12em;text-transform:uppercase;color:var(--accent-text)}.proof-index__kicker[data-astro-cid-om63c5ly] a[data-astro-cid-om63c5ly]{color:inherit;text-underline-offset:3px;text-decoration:underline}.proof-index[data-astro-cid-om63c5ly] h1[data-astro-cid-om63c5ly]{margin:var(--space-16) 0 var(--space-24);font-family:var(--font-display);letter-spacing:-.04em;color:var(--text);font-size:clamp(48px,8vw,110px);line-height:.92}.proof-index__lead[data-astro-cid-om63c5ly]{max-width:680px;color:var(--text-muted);font-size:18px;line-height:1.65}.proof-index__count[data-astro-cid-om63c5ly]{font:12px var(--font-mono);letter-spacing:.1em;text-transform:uppercase;color:var(--text-muted);text-align:right}.proof-index__count[data-astro-cid-om63c5ly] strong[data-astro-cid-om63c5ly]{font:800 clamp(64px, 8vw, 120px)/.9 var(--font-display);letter-spacing:-.04em;color:var(--accent-text);display:block}.proof-index__switch[data-astro-cid-om63c5ly]{gap:var(--space-24);margin-top:var(--space-40);display:flex}.proof-index__switch[data-astro-cid-om63c5ly] a[data-astro-cid-om63c5ly]{padding:var(--space-12) 0;color:var(--text-muted);border-bottom:3px solid #0000;font-weight:600}.proof-index__switch[data-astro-cid-om63c5ly] a[data-astro-cid-om63c5ly][aria-current=page]{color:var(--text);border-bottom-color:var(--accent)}.proof-index__switch[data-astro-cid-om63c5ly] a[data-astro-cid-om63c5ly]:hover{color:var(--text)}.proof-index__directory[data-astro-cid-om63c5ly]{padding:var(--space-48) 0 var(--space-64)}.casebook[data-astro-cid-om63c5ly]{margin:0;padding:0;list-style:none}.casebook__row[data-astro-cid-om63c5ly]{gap:var(--space-24);padding:var(--space-32) 0;border-bottom:1px solid var(--border-strong);color:inherit;grid-template-columns:64px minmax(0,1.4fr) minmax(200px,.8fr) 32px;align-items:start;display:grid}.casebook__row[data-astro-cid-om63c5ly]:hover{background:var(--surface)}.casebook__row[data-astro-cid-om63c5ly]:hover .casebook__go[data-astro-cid-om63c5ly]{color:var(--accent-text);transform:translate(4px)}.casebook__num[data-astro-cid-om63c5ly]{font:600 13px/2.2 var(--font-mono);color:var(--accent-text)}.casebook__main[data-astro-cid-om63c5ly] strong[data-astro-cid-om63c5ly]{font:700 clamp(24px, 2.6vw, 32px)/1.1 var(--font-display);color:var(--text);display:block}.casebook__role[data-astro-cid-om63c5ly]{margin-top:var(--space-8);font:12px var(--font-mono);letter-spacing:.05em;text-transform:uppercase;color:var(--text-muted);display:block}.casebook__summary[data-astro-cid-om63c5ly]{margin-top:var(--space-16);max-width:620px;color:var(--text-muted);font-size:16px;line-height:1.65;display:block}.casebook__scope[data-astro-cid-om63c5ly]{gap:var(--space-8);flex-wrap:wrap;padding-top:6px;display:flex}.casebook__scope[data-astro-cid-om63c5ly] span[data-astro-cid-om63c5ly]{border:1px solid var(--border-strong);color:var(--text);background:var(--bg);border-radius:999px;padding:4px 10px;font-size:13px}.casebook__go[data-astro-cid-om63c5ly]{color:var(--text-muted);font-size:22px;transition:transform .15s}.shelf[data-astro-cid-om63c5ly]{border-top:2px solid var(--text);border-left:1px solid var(--border-strong);grid-template-columns:repeat(6,minmax(0,1fr));margin:0;padding:0;list-style:none;display:grid}.shelf__item[data-astro-cid-om63c5ly]{min-height:360px;padding:var(--space-32) var(--space-24);border-right:1px solid var(--border-strong);border-bottom:1px solid var(--border-strong);flex-direction:column;grid-column:span 2;display:flex}.shelf__item[data-astro-cid-om63c5ly]:nth-child(-n+2){background:var(--surface);grid-column:span 3}.shelf__item[data-astro-cid-om63c5ly]:nth-child(-n+2) h3[data-astro-cid-om63c5ly]{font-size:clamp(36px,4vw,52px)}.shelf__item[data-astro-cid-om63c5ly]:nth-child(-n+2) .shelf__summary[data-astro-cid-om63c5ly]{max-width:460px;font-size:17px}.shelf__num[data-astro-cid-om63c5ly]{font:600 12px var(--font-mono);color:var(--accent-text)}.shelf__item[data-astro-cid-om63c5ly] h3[data-astro-cid-om63c5ly]{margin-top:var(--space-40);font:800 clamp(28px, 2.8vw, 36px)/1 var(--font-display);letter-spacing:-.02em}.shelf__item[data-astro-cid-om63c5ly] h3[data-astro-cid-om63c5ly] a[data-astro-cid-om63c5ly]{color:var(--text)}.shelf__item[data-astro-cid-om63c5ly] h3[data-astro-cid-om63c5ly] a[data-astro-cid-om63c5ly]:hover{text-underline-offset:5px;text-decoration:underline}.shelf__role[data-astro-cid-om63c5ly]{margin-top:var(--space-12);font:12px var(--font-mono);letter-spacing:.05em;text-transform:uppercase;color:var(--text-muted)}.shelf__summary[data-astro-cid-om63c5ly]{margin-top:var(--space-16);color:var(--text-muted);flex:1;font-size:15px;line-height:1.6}.shelf__links[data-astro-cid-om63c5ly]{gap:var(--space-8);margin-top:var(--space-24);padding-top:var(--space-16);border-top:1px solid var(--border);flex-direction:column;font-size:14px;display:flex}.shelf__links[data-astro-cid-om63c5ly] a[data-astro-cid-om63c5ly]{color:var(--accent-text)}.shelf__host[data-astro-cid-om63c5ly]{font-family:var(--font-mono);font-size:12px}.proof-index__close[data-astro-cid-om63c5ly]{padding:0 0 var(--space-96)}.proof-index__close[data-astro-cid-om63c5ly] p[data-astro-cid-om63c5ly]{color:var(--text-muted);font-size:17px}.proof-index__close[data-astro-cid-om63c5ly] a[data-astro-cid-om63c5ly]{color:var(--accent-text);text-underline-offset:3px;text-decoration:underline}@media (width<=860px){.casebook__row[data-astro-cid-om63c5ly]{grid-template-columns:44px minmax(0,1fr) 24px}.casebook__scope[data-astro-cid-om63c5ly]{grid-area:2/2}.casebook__go[data-astro-cid-om63c5ly]{grid-area:1/3}.shelf[data-astro-cid-om63c5ly]{grid-template-columns:1fr}.shelf__item[data-astro-cid-om63c5ly],.shelf__item[data-astro-cid-om63c5ly]:nth-child(-n+2){grid-column:auto;min-height:0}}@media (width<=600px){.proof-index__header-grid[data-astro-cid-om63c5ly]{gap:var(--space-16);grid-template-columns:1fr}.proof-index__count[data-astro-cid-om63c5ly]{text-align:left}}