.article-section{margin-top:42px}.article-section p{line-height:1.8}.article-section h3{font-size:24px;line-height:1.35;margin:28px 0 12px}.article-section code{overflow-wrap:anywhere}.table-wrap table{min-width:540px}.table-wrap th,.table-wrap td{vertical-align:top}.table-wrap tbody th{width:26%}.proof-ledger{margin:28px 0;border:1px solid var(--border);border-radius:16px;overflow:hidden;background:var(--surface)}.proof-ledger-head{padding:22px 24px;border-bottom:1px solid var(--border);background:var(--blue-soft)}.proof-ledger-head .mono{font-size:12px;letter-spacing:.03em;color:var(--muted)}.proof-ledger h3{margin:10px 0 0;font-size:22px;color:var(--ink)}.proof-entries{margin:0;padding:0 24px}.proof-entries>div{display:grid;grid-template-columns:minmax(130px,.7fr) minmax(0,1.5fr);gap:24px;padding:18px 0;border-bottom:1px solid var(--border)}.proof-entries>div:last-child{border:0}.proof-entries dt{font-size:14px;color:var(--muted);line-height:1.7}.proof-entries dd{margin:0;color:var(--ink);font-size:16px;line-height:1.7}.proof-ledger figcaption{margin:0;padding:14px 24px;border-top:1px solid var(--border);color:var(--muted);font-size:14px;line-height:1.7}.source-list{list-style:none;padding:0;margin:24px 0 48px}.source-list li{padding:14px 0;border-bottom:1px solid var(--border);margin:0}.source-list a{font-size:17px;font-weight:500;color:var(--link);text-decoration:underline;text-underline-offset:3px;overflow-wrap:anywhere}.source-list span{display:block;margin-top:4px;font-size:15px;line-height:1.6;color:var(--muted)}.code-block pre{white-space:pre-wrap;overflow-wrap:anywhere}.code-foot{gap:6px;flex-wrap:wrap}@media (max-width:600px){.proof-ledger-head{padding:20px}.proof-entries{padding:0 20px}.proof-entries>div{grid-template-columns:1fr;gap:5px}.proof-ledger figcaption{padding:14px 20px}.article-section h3{font-size:22px}}