.proof-layers[data-astro-cid-ffleoq3h]{grid-template-columns:minmax(12rem,.42fr) minmax(0,1fr);gap:clamp(1.5rem,5vw,5rem);margin:clamp(2.5rem,7vw,5rem) 0;display:grid}.reader-eyebrow[data-astro-cid-ffleoq3h]{color:var(--color-accent);font-family:var(--font-mono);letter-spacing:.12em;text-transform:uppercase;margin:0;font-size:.7rem;font-weight:700}.proof-layers[data-astro-cid-ffleoq3h] h2[data-astro-cid-ffleoq3h]{letter-spacing:-.08em;max-width:10ch;margin:.8rem 0 0;font-size:clamp(2.2rem,5vw,4.5rem);font-weight:900;line-height:.9}.proof-layers[data-astro-cid-ffleoq3h] ol[data-astro-cid-ffleoq3h]{border-top:1px solid var(--color-border);margin:0;padding:0;list-style:none}.proof-layers[data-astro-cid-ffleoq3h] li[data-astro-cid-ffleoq3h]{border-bottom:1px solid var(--color-border);grid-template-columns:3rem 1fr;gap:1rem;padding:1.35rem 0;display:grid}.proof-layer-number[data-astro-cid-ffleoq3h]{color:var(--color-secondary);font-family:var(--font-mono);letter-spacing:.1em;font-size:.72rem}.proof-layer-title[data-astro-cid-ffleoq3h]{justify-content:space-between;align-items:baseline;gap:1rem;display:flex}.proof-layer-title[data-astro-cid-ffleoq3h] h3[data-astro-cid-ffleoq3h]{letter-spacing:-.04em;margin:0;font-size:clamp(1.2rem,2vw,1.6rem)}.proof-layer-state[data-astro-cid-ffleoq3h]{color:var(--color-secondary);font-family:var(--font-mono);letter-spacing:.08em;text-transform:uppercase;border:1px solid;flex:none;padding:.3rem .45rem;font-size:.62rem}.proof-layer-state-proven[data-astro-cid-ffleoq3h]{color:#3f6b4b}.proof-layer-state-partial[data-astro-cid-ffleoq3h]{color:var(--color-accent)}.proof-layer-state-not-yet[data-astro-cid-ffleoq3h]{color:var(--color-secondary)}.proof-layers[data-astro-cid-ffleoq3h] li[data-astro-cid-ffleoq3h] p[data-astro-cid-ffleoq3h]{max-width:42rem;color:var(--color-secondary);margin:.6rem 0 0;font-size:1.05rem;line-height:1.45}@media (width<=700px){.proof-layers[data-astro-cid-ffleoq3h]{grid-template-columns:1fr}.proof-layer-title[data-astro-cid-ffleoq3h]{flex-direction:column;align-items:flex-start;gap:.55rem}}.source-list[data-astro-cid-c7by5sfh]{border-top:1px solid var(--color-border);grid-template-columns:minmax(12rem,.42fr) minmax(0,1fr);gap:clamp(1.5rem,5vw,5rem);margin:clamp(2.5rem,7vw,5rem) 0 1rem;padding-top:2rem;display:grid}.reader-eyebrow[data-astro-cid-c7by5sfh]{color:var(--color-accent);font-family:var(--font-mono);letter-spacing:.12em;text-transform:uppercase;margin:0;font-size:.7rem;font-weight:700}.source-list[data-astro-cid-c7by5sfh] h2[data-astro-cid-c7by5sfh]{letter-spacing:-.08em;margin:.8rem 0 0;font-size:clamp(2rem,4vw,3.7rem);font-weight:900;line-height:.9}.source-list[data-astro-cid-c7by5sfh] ol[data-astro-cid-c7by5sfh]{margin:0;padding:0;list-style:none}.source-list[data-astro-cid-c7by5sfh] li[data-astro-cid-c7by5sfh]{grid-template-columns:3rem 1fr;gap:1rem;padding:0 0 1rem;display:grid}.source-list[data-astro-cid-c7by5sfh] li[data-astro-cid-c7by5sfh]>span[data-astro-cid-c7by5sfh]{color:var(--color-secondary);font-family:var(--font-mono);font-size:.72rem}.source-list[data-astro-cid-c7by5sfh] a[data-astro-cid-c7by5sfh],.source-list[data-astro-cid-c7by5sfh] strong[data-astro-cid-c7by5sfh]{color:var(--color-primary);font-family:var(--font-sans);font-size:1rem;font-weight:700}.source-list[data-astro-cid-c7by5sfh] a[data-astro-cid-c7by5sfh]:hover{color:var(--color-accent)}.source-list[data-astro-cid-c7by5sfh] p[data-astro-cid-c7by5sfh]{color:var(--color-secondary);margin:.25rem 0 0;font-size:.95rem;line-height:1.4}@media (width<=700px){.source-list[data-astro-cid-c7by5sfh]{grid-template-columns:1fr}}.work-detail[data-astro-cid-pznzci7v]{max-width:72rem;margin:0 auto}.work-consequence[data-astro-cid-pznzci7v]{border:1px solid var(--color-border);background:var(--color-border);grid-template-columns:repeat(3,minmax(0,1fr));gap:1px;margin:0 0 clamp(2.5rem,6vw,4rem);display:grid}.work-consequence[data-astro-cid-pznzci7v] div[data-astro-cid-pznzci7v]{background:color-mix(in srgb, var(--color-surface) 78%, transparent);padding:1.25rem}.work-consequence[data-astro-cid-pznzci7v] dt[data-astro-cid-pznzci7v]{color:var(--color-accent);font-family:var(--font-mono);letter-spacing:.1em;text-transform:uppercase;margin-bottom:.7rem;font-size:.66rem;font-weight:700}.work-consequence[data-astro-cid-pznzci7v] dd[data-astro-cid-pznzci7v]{color:var(--color-primary);margin:0;font-size:1.05rem;line-height:1.4}.related-guide[data-astro-cid-pznzci7v]{border:1px solid var(--color-primary);color:var(--color-primary);font-family:var(--font-mono);letter-spacing:.1em;text-transform:uppercase;margin:2rem 0 1rem;padding:.9rem 1.1rem;font-size:.7rem;font-weight:700;display:inline-flex}.related-guide[data-astro-cid-pznzci7v]:hover{background:var(--color-primary);color:var(--color-background)}@media (width<=700px){.work-consequence[data-astro-cid-pznzci7v]{grid-template-columns:1fr}}