.proof-scope-reading{display:grid;grid-template-columns:minmax(0,auto) minmax(0,1fr);gap:8px 36px;align-items:start;margin:18px 0 0}.proof-scope-rule{font-size:19px;color:var(--s-ink);overflow-x:auto;overflow-y:hidden}.proof-scope-rule .katex-display{margin:0;text-align:left}.proof-scope-rule .katex-display>.katex{text-align:left}.proof-scope-detail{min-height:132px;color:var(--s-ink);font:14px/1.6 var(--font-inter-tight),sans-serif}.proof-scope-detail strong{display:block;margin-bottom:6px;font-weight:500;color:var(--s-ink)}.proof-scope-detail p{margin:0 0 6px;color:var(--s-dim)}.proof-scope-detail code{font:12.5px/1.5 var(--font-jetbrains-mono),monospace;color:var(--s-gold);overflow-wrap:anywhere}@container (max-width: 600px){.proof-scope-reading{grid-template-columns:minmax(0,1fr);gap:12px}.proof-scope-rule{font-size:16px}.proof-scope-detail{min-height:0}}