/* ProofForum v4.4.109: external verification records (source-of-record and verification blocks, link-only page). */
.xr-grid{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:18px;margin:22px 0}
.xr-page .paper-head>h1{max-width:920px;margin:4px 0 12px;font:500 clamp(32px,4vw,46px)/1.1 Georgia,"Times New Roman",serif;letter-spacing:-.025em}
.xr-block{border:1px solid var(--border,#d8dce4);background:#fff;padding:16px 18px;margin:0 0 18px}
.xr-block h2{font:700 22px/1.25 Georgia,serif;margin:4px 0 10px}
.xr-source{border-left:4px solid #5d6470}
.xr-verification{border-left:4px solid var(--royal,#2447a8)}
.xr-facts{display:grid;gap:6px;margin:0 0 10px}
.xr-facts div{display:grid;grid-template-columns:120px minmax(0,1fr);gap:8px}
.xr-facts dt{font-weight:800;color:#505864}
.xr-facts dd{margin:0;overflow-wrap:anywhere}
.xr-actions{display:flex;flex-wrap:wrap;gap:10px;align-items:center}
.xr-button{display:inline-block;border:1px solid var(--royal,#2447a8);padding:7px 10px;font-weight:800;text-decoration:none}
.xr-notice{padding:9px 11px;background:#f4f6fa;border-left:3px solid #5d6470}
.xr-warning{padding:9px 11px;background:#fff8dc;border-left:3px solid #d9a441;color:#6f5700}
.xr-muted{color:#5d6470}
.xr-glance{margin:8px 0 10px 18px;padding:0;line-height:1.55}
.xr-provenance summary{cursor:pointer;font-weight:800;color:var(--royal,#2447a8)}
.xr-statement{margin:8px 0 0;padding:8px 10px;border-left:3px solid #d8dce4;background:#fafbfc;white-space:normal;overflow-wrap:anywhere}
.xr-versions{margin:6px 0 8px 18px;padding:0}
.xr-h3{font:700 18px Georgia,serif;margin:14px 0 6px}
.xr-comment{border-top:1px solid #eceef2;padding:10px 0}
.xr-comment .xr-reply{margin:8px 0 0 18px;padding-left:10px;border-left:3px solid #e1e4ea}
.xr-comment-meta{font-size:13px;color:#5d6470}
.xr-comment-body{white-space:pre-wrap;overflow-wrap:anywhere;margin:4px 0}
#xrCommentForm{display:grid;gap:8px;margin-top:12px}
#xrCommentForm textarea,.xr-reply-form textarea{width:100%;box-sizing:border-box;font:inherit;padding:8px}
#xrCommentForm button,.xr-reply-form button,.xr-link-button{justify-self:start;border:1px solid #aeb6c3;background:#fff;color:#2447a8;padding:7px 10px;font-weight:800;cursor:pointer}
@media(max-width:820px){.xr-grid{grid-template-columns:1fr}.xr-facts div{grid-template-columns:1fr}}

/* v4.4.109 phase 7: public copy on home, /process, /philosophy and /submit (loaded only while the feature is active). */
.xr-sources{margin:0 0 20px;font-size:15px;color:#454b55;line-height:1.55}
.xr-sources-note{display:block;font-size:13px;color:#69717d}
.xr-sources-section{padding:30px 0 26px;border-bottom:1px solid var(--border)}
.xr-sources-section h2{font:700 28px/1.2 Georgia,"Times New Roman",serif;margin:0 0 16px}
.xr-source-cards{display:grid;grid-template-columns:repeat(auto-fit,minmax(min(100%,260px),1fr));gap:14px;margin-bottom:16px}.xr-source-cards>article{min-width:0}
.xr-source-cards article{border:1px solid var(--border);border-top:3px solid #30343b;padding:14px 16px;background:#fff}
.xr-source-cards h3{margin:0 0 6px;font:700 19px/1.25 Georgia,"Times New Roman",serif}
.xr-source-cards p{margin:0 0 10px;font-size:15px;line-height:1.55;color:#454b55}
.xr-source-cards a{font-weight:800}
.xr-distinctions{font-weight:800}
.xr-paths{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:18px}
.xr-paths h3{margin:0 0 8px;font-size:18px}
.xr-paths ol{margin:0;padding-left:20px;line-height:1.6}
.xr-entry{margin:18px 0 6px}
.xr-entry h2{font:700 22px/1.25 Georgia,"Times New Roman",serif;margin:0 0 10px}
.xr-entry-options{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:12px}
.xr-entry-option{display:block;border:1px solid var(--border);padding:12px 14px;background:#fff;color:inherit;text-decoration:none}
.xr-entry-option strong{display:block;margin-bottom:4px}
.xr-entry-option span{font-size:14px;color:#545b66;line-height:1.5}
.xr-entry-option[aria-current="page"]{border-color:#30343b;box-shadow:inset 3px 0 0 #30343b}
a.xr-entry-option:hover strong{text-decoration:underline}
@media (max-width:760px){.xr-source-cards,.xr-paths,.xr-entry-options{grid-template-columns:1fr}}

/* v4.4.110 */
.paper-head .xr-verify-intro{font-size:15px;line-height:1.6;max-width:850px;color:#394151}
.xr-preview-footer{margin-top:18px;padding-top:14px;border-top:1px solid #d8dce4;display:flex;justify-content:flex-end}
.xr-preview-footer button,.xr-button{background:#2447a8;color:#fff;cursor:pointer}
.xr-preview-footer button:hover,.xr-button:hover{background:#173b8c}

.xr-normalization-guide{margin:15px 0;border:1px solid #cdd6e1;padding:10px 13px;background:#f8fafc}
.xr-normalization-guide>summary{cursor:pointer;font-size:14px;font-weight:800;color:#254b7a}
.xr-prompt{white-space:pre-wrap;font:12px/1.6 ui-monospace,monospace;max-height:260px;overflow:auto;border:1px solid #dae0e8;padding:10px;background:white}

/* 4.4.111: a single available repository tile spans the whole content width. */
.xr-source-cards:has(> article:only-child){grid-template-columns:minmax(0,1fr)}