.proof-col{max-width:38rem;margin-inline:auto}.proof-col>*+*{margin-top:var(--space-md)}.proof-col p{margin-bottom:0}.proof-h2.proof-h2{text-align:left;font-size:var(--fs-h3);line-height:var(--lh-h3);letter-spacing:var(--ls-h3);font-weight:var(--fw-h3);color:var(--color-heading);margin-top:var(--space-xl)}.proof-systems{margin:var(--space-md) 0 0;gap:var(--space-2xs) var(--space-lg);grid-template-columns:repeat(auto-fit,minmax(13rem,1fr));padding:0;list-style:none;display:grid}.proof-systems li{padding:var(--space-2xs) 0;border-bottom:1px solid var(--color-border);color:var(--color-text);font-size:var(--fs-sm)}.proof-note{border-left:3px solid var(--color-accent);padding:var(--space-xs) 0 var(--space-xs) var(--space-md);color:var(--color-heading);font-size:var(--fs-lg);line-height:1.5}.proof-limits{background:var(--color-surface);border:1px solid var(--color-border);padding:var(--space-lg);margin-top:var(--space-xl)}.proof-limits .proof-h2{margin-top:0}.proof-limits ul{margin:var(--space-md) 0 0;padding-left:1.1rem}.proof-limits li{margin-bottom:var(--space-xs);color:var(--color-text)}