.proof-viewer-page{overflow-x:hidden}
.proof-viewer-main{min-width:0;max-width:calc(100vw - 2rem);padding-top:clamp(2.5rem,6vw,5rem)}
.viewer-index{padding-bottom:clamp(2rem,5vw,4rem);border-bottom:1px solid var(--line)}
.viewer-index h1{max-width:15ch;font-size:clamp(3rem,8vw,6.5rem)}
.viewer-index .lead{max-width:50rem}
.witness-nav{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:1rem;margin-top:2rem}
.witness-nav a{display:flex;min-height:8rem;flex-direction:column;justify-content:space-between;padding:1.2rem;border:1px solid var(--line);color:var(--nacre);font-weight:600;text-decoration:none;text-transform:none;letter-spacing:0}
.witness-nav a:hover{border-color:var(--ambre);background:rgba(213,154,73,.08)}
.witness-nav span{color:var(--ambre);font-size:.72rem;font-weight:800;letter-spacing:.14em;text-transform:uppercase}
.viewer-limit{max-width:52rem;margin-top:1.5rem;color:var(--nacre-muted);font-size:.88rem}
.proof-panel{display:none;min-width:0;max-width:100%;padding:clamp(2rem,5vw,4rem) 0;border-bottom:1px solid var(--line);scroll-margin-top:1rem}
.proof-panel:target{display:block}
.proof-viewer-page:has(.proof-panel:target) .viewer-index{display:none}
.proof-heading{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:2rem;align-items:end;margin-bottom:2rem}
.proof-heading>*{min-width:0}
.proof-heading h1{max-width:17ch;margin:.2rem 0 .7rem;font-size:clamp(2.4rem,5vw,4.5rem)}
.proof-origin{max-width:100%;margin:0;overflow-wrap:anywhere;color:var(--nacre-muted)}
.proof-actions{display:flex;max-width:20rem;flex-direction:column;align-items:flex-start;gap:.8rem}
.proof-actions .button{margin:0}
.raw-file-link{display:inline-flex;align-items:center;gap:.35rem}
.external-link-icon{font-size:.9em;line-height:1;transform:translateY(-.08em)}
.proof-image{margin:0;padding:clamp(.5rem,2vw,1rem);border:1px solid var(--line);background:#070a10}
.proof-image img{display:block;width:100%;height:auto;margin:auto}
.proof-image figcaption{padding:.8rem .25rem 0;color:var(--nacre-muted);font-size:.82rem}
.proof-text{display:block;min-width:0;width:100%;max-width:100%;max-height:65vh;overflow:auto;margin:0;padding:1.25rem;border:1px solid var(--line);background:#fff;color:#111;font:1rem/1.55 ui-monospace,SFMono-Regular,Consolas,monospace;white-space:pre-wrap;overflow-wrap:anywhere}
.proof-safety{max-width:50rem;color:var(--nacre-muted);font-size:.85rem}
.viewer-home{margin:2rem 0 0}
@media(max-width:48rem){.viewer-index h1{max-width:100%;font-size:clamp(2.25rem,9.5vw,3rem)}.proof-heading h1{max-width:100%;font-size:clamp(2rem,10vw,2.5rem);overflow-wrap:anywhere}.witness-nav{grid-template-columns:1fr}.witness-nav a{min-height:6rem}.proof-heading{grid-template-columns:1fr}.proof-actions{max-width:none}.proof-text{max-height:60vh}}
@media(max-width:34rem){.proof-viewer-main{width:min(calc(100% - 2rem),22rem);max-width:22rem;margin-left:1rem;margin-right:auto}}