.proof-markdown{max-width:58rem;padding:clamp(1rem,3vw,2rem);border:1px solid var(--line);background:#0d1320;color:var(--nacre);font-size:1rem;line-height:1.7}.proof-markdown h2,.proof-markdown h3,.proof-markdown h4{max-width:none;margin:1.6em 0 .55em;color:var(--nacre)}.proof-markdown p{max-width:74ch;margin:.8em 0}.proof-markdown li{margin:.35em 0}.proof-markdown code{padding:.08em .3em;background:#070a10;color:#f0b35f}.proof-code{max-width:100%;overflow:auto;padding:1rem;border:1px solid var(--line);background:#fff;color:#111;font:clamp(.76rem,1.8vw,.94rem)/1.5 ui-monospace,SFMono-Regular,Consolas,monospace;white-space:pre}.proof-table-wrap{max-width:100%;overflow:auto;border:1px solid var(--line)}.proof-table-wrap table{width:100%;border-collapse:collapse;background:#0d1320;color:var(--nacre);font-size:.88rem}.proof-table-wrap th,.proof-table-wrap td{padding:.75rem;border:1px solid var(--line);text-align:left;vertical-align:top;overflow-wrap:anywhere}.proof-table-wrap th{color:var(--ambre)}.proof-image-link{display:block}.proof-image-link:focus-visible{outline:3px solid var(--focus);outline-offset:4px}.proof-panel:target{display:block}.witness-nav{grid-template-columns:repeat(3,minmax(0,1fr))}@media(max-width:56rem){.witness-nav{grid-template-columns:repeat(2,minmax(0,1fr))}}@media(max-width:34rem){.witness-nav{grid-template-columns:1fr}.proof-markdown{padding:1rem}.proof-table-wrap{font-size:.78rem}}