.proof-page {max-width:1160px}
.proof-page p {max-width:82ch}
.proof-kicker,.proof-label {color:var(--focus);font-size:.76rem;letter-spacing:.1em;text-transform:uppercase}
.proof-page h1 {max-width:17ch}
.proof-lede {font-size:1.12rem;line-height:1.7}
.proof-paths {display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:1px;margin:2rem 0;background:var(--rule);border:1px solid var(--rule)}
.proof-paths section {min-width:0;padding:1.4rem;background:var(--code-bg);border-top:3px solid var(--focus)}
.proof-paths section+section {border-top-color:var(--violet)}
.proof-paths h2 {font-size:1.45rem;line-height:1.3;margin:.7rem 0 1rem}
.proof-paths p {font-size:.91rem;line-height:1.7}
.proof-paths strong {color:var(--ink)}
.proof-section {border-top:1px solid var(--rule);padding:1.7rem 0;scroll-margin-top:4rem}
.proof-methods {display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:1px;margin:1.5rem 0;background:var(--rule);border:1px solid var(--rule)}
.proof-methods>div {min-width:0;padding:1rem;background:var(--cream-raised)}
.proof-methods span {display:block;color:var(--focus);font-size:.76rem}
.proof-methods strong {display:block;margin:.7rem 0;line-height:1.4}
.proof-methods p {font-size:.82rem;line-height:1.6}
.proof-progress {display:grid;grid-template-columns:minmax(13rem,1fr) minmax(0,2fr);gap:.8rem 1.5rem;margin:1.5rem 0}
.proof-progress dt {color:var(--violet)}
.proof-progress dd {margin:0 0 1rem}
.proof-page pre {max-width:82ch;overflow:auto;padding:1rem;background:var(--code-bg);border:1px solid var(--rule)}
@media(max-width:780px) {.proof-methods {grid-template-columns:repeat(2,minmax(0,1fr))}}
@media(max-width:620px) {.proof-lede {font-size:1rem}.proof-paths,.proof-methods,.proof-progress {grid-template-columns:1fr}.proof-paths section {padding:1rem}.proof-progress {gap:.2rem}.proof-progress dd {margin-bottom:1.5rem}}

.proof-actions { display:flex; flex-wrap:wrap; gap:8px 18px; margin:0 0 18px; font-weight:600; }