.proposal-page { margin: 0; background: #f5f7fb; color: #25384a; font: 14px/1.6 system-ui, sans-serif; }
.proposal-page * { box-sizing: border-box; }
.proposal-page [hidden] { display: none !important; }
.proposal-page a { color: #315b7d; }
.proposal-header { display: flex; align-items: center; flex-wrap: wrap; gap: 20px; padding: 20px 32px; background: white; border-bottom: 1px solid #dce3ec; }
.proposal-header nav { display: flex; flex-wrap: wrap; gap: 20px; margin-left: auto; }
.proposal-page button, .proposal-page .primary-button { display: inline-flex; align-items: center; justify-content: center; min-height: 44px; cursor: pointer; border: 1px solid #ccd7e4; border-radius: 8px; padding: 10px 16px; background: white; color: #264b6b; font: inherit; text-decoration: none; }
.proposal-page button:hover:not(:disabled) { background: #f0f5fa; border-color: #91a9c0; }
.proposal-page button:disabled { opacity: .5; cursor: default; }
.proposal-page .primary-button { background: #315b7d; color: white; border-color: #315b7d; }
.proposal-page .primary-button:hover:not(:disabled) { background: #264b6b; color: white; }
.proposal-page label { display: flex; flex-direction: column; gap: 8px; margin: 0 0 24px; font-weight: 600; }
.proposal-page input, .proposal-page textarea, .proposal-page select { width: 100%; min-width: 0; padding: 11px 12px; border: 1px solid #cbd6e3; border-radius: 8px; background: white; color: inherit; font: 400 14px/1.6 system-ui, sans-serif; }
.proposal-page textarea { resize: vertical; }
.proposal-page input[type=checkbox] { width: 17px; height: 17px; flex-shrink: 0; }
.proposal-page small { font-weight: 400; color: #617387; }
.proposal-page fieldset { padding: 0; margin: 0; border: 0; min-width: 0; }
.proposal-page :focus-visible { outline: 3px solid #82accc; outline-offset: 2px; }
#message { padding: 12px 32px; background: #edf3f9; min-height: 46px; overflow-wrap: anywhere; }
#message.error { background: #fff0ef; color: #943832; }
#workspace { max-width: 1840px; margin: 0 auto; padding: 32px; }
.release-panel { display: grid; grid-template-columns: minmax(0, 1fr) minmax(300px, 440px); gap: 40px; margin-bottom: 32px; padding: 28px 32px; background: white; border: 1px solid #dce3ec; border-radius: 14px; }
.release-panel h2 { margin: 6px 0 12px; }
.release-panel p { max-width: 650px; color: #617387; }
.release-controls { min-width: 0; display: flex; flex-direction: column; align-items: stretch; gap: 14px; }
.release-controls label { margin-bottom: 0; }
.release-controls span { font-size: 12px; overflow-wrap: anywhere; }
.release-controls details { margin-top: 10px; }
.release-controls details button { margin-top: 16px; }
.proposal-layout { display: grid; grid-template-columns: 240px minmax(0, 1fr); gap: 32px; align-items: start; }
.proposal-queue { background: white; border: 1px solid #dce3ec; border-radius: 14px; padding: 22px; position: sticky; top: 24px; max-height: calc(100vh - 48px); overflow: auto; }
.queue-heading, .editor-heading { display: flex; align-items: center; justify-content: space-between; gap: 16px; }
.queue-heading { margin-bottom: 24px; }
.queue-heading h2 { margin: 0; font-size: 19px; }
.proposal-queue #review-toggle-label { flex-direction: row; align-items: center; gap: 10px; }
.proposal-queue #refresh { width: 100%; }
#proposal-list { margin-top: 20px; }
.proposal-queue #proposal-list button { display: block; text-align: left; width: 100%; margin-top: 12px; padding: 14px; overflow-wrap: anywhere; }
.proposal-queue #proposal-list button.active { background: #e9f1f9; border-color: #315b7d; }
.proposal-queue #proposal-list small { display: block; margin-top: 6px; line-height: 1.5; }
#load-more-proposals { margin-top: 16px; width: 100%; }
.proposal-work { min-width: 0; }
.editor-heading { margin: 2px 0 12px; }
.editor-heading h1 { font-size: clamp(23px, 2vw, 30px); line-height: 1.3; margin: 8px 0; letter-spacing: -.5px; }
.editor-heading #draft-status { font-size: 12px; color: #617387; }
#proposal-meta { font-size: 12px; color: #617387; overflow-wrap: anywhere; margin-bottom: 24px; }
.editor-columns { display: grid; grid-template-columns: minmax(0, 1.08fr) minmax(0, 1fr); gap: 28px; align-items: start; }
#proposal-form, .preview-pane, .review-panel, #history-panel { background: white; border: 1px solid #dce3ec; border-radius: 14px; padding: 28px; min-width: 0; }
.form-section { margin-top: 30px; padding-top: 28px; border-top: 1px solid #e5eaf0; }
.form-section-heading { margin-bottom: 24px; }
.form-section-heading h2, .preview-heading h2, .review-panel h2 { margin: 0; font-size: 19px; line-height: 1.4; }
.form-section-heading p { margin: 8px 0 0; color: #617387; font-size: 13px; }
#load-target { margin: 0 0 24px; }
.rationale-section label { margin-bottom: 0; }
.preview-pane { position: sticky; top: 24px; max-height: calc(100vh - 48px); overflow: auto; scrollbar-gutter: stable; }
.preview-heading span { display: block; margin-top: 8px; }
.preview-heading span, #preview-help { font-size: 13px; color: #617387; }
#preview-help { margin: 20px 0; padding-bottom: 20px; border-bottom: 1px solid #e5eaf0; }
#preview { overflow-wrap: anywhere; }
#preview > h2 { font-size: 23px; line-height: 1.4; margin: 0 0 20px; }
.preview-pane h3 { margin: 24px 0 10px; }
.preview-pane .preview-body, .preview-pane pre { white-space: pre-wrap; overflow-wrap: anywhere; }
.preview-pane pre { font-size: 12px; }
.preview-pane details { margin-top: 24px; border-top: 1px solid #e5eaf0; padding-top: 20px; }
.proposal-page summary { cursor: pointer; font-weight: 600; }
.preview-pane mjx-container[display=true] { overflow-x: auto; overflow-y: hidden; max-width: 100%; }
.editor-actions, .review-actions { display: flex; gap: 12px; flex-wrap: wrap; margin-top: 24px; }
.editor-actions { padding-top: 24px; border-top: 1px solid #e5eaf0; }
#rebase { width: 100%; }
.review-panel, #history-panel { margin-top: 28px; }
#review-note { color: #617387; margin: 12px 0 24px; }
#review-reason-label { max-width: 800px; }
#delete-proposal { margin-top: 24px; color: #943832; border-color: #e5c6c3; }
#published-link { overflow-wrap: anywhere; }
#published-link:empty, #math-errors:empty { display: none; }
#differences del { display: block; background: #fff0ef; white-space: pre-wrap; }
#differences ins { display: block; background: #edf9f0; text-decoration: none; white-space: pre-wrap; }
#history article { padding: 16px 0; border-bottom: 1px solid #edf0f4; overflow-wrap: anywhere; }
.split-part { border: 1px solid #dce3ec; border-radius: 8px; padding: 20px; margin: 16px 0; }
.split-part select { min-height: 120px; }
.split-part label { font-size: 13px; }
.publication-notice { background: #fff7df; padding: 16px; border-radius: 8px; }
#math-errors { color: #943832; font-size: 12px; }
@media (max-width: 1280px) {
  #workspace { padding: 24px; }
  .proposal-layout { grid-template-columns: minmax(0, 1fr); gap: 28px; }
  .proposal-queue { position: static; max-height: none; display: flex; flex-wrap: wrap; align-items: center; gap: 16px 24px; padding: 20px 24px; }
  .queue-heading { margin: 0 auto 0 0; gap: 20px; }
  .proposal-queue label { margin: 0; }
  .proposal-queue > label:has(select) { flex-direction: row; align-items: center; }
  .proposal-queue #refresh { width: auto; }
  #proposal-list { flex-basis: 100%; display: grid; grid-template-columns: repeat(auto-fill, minmax(210px, 1fr)); gap: 12px; max-height: 210px; overflow: auto; margin: 0; }
  .proposal-queue #proposal-list button { margin: 0; }
  #proposal-list > p { margin: 0; color: #617387; }
}
@media (max-width: 900px) {
  .editor-columns { grid-template-columns: minmax(0, 1fr); }
  .preview-pane { position: static; max-height: none; }
  .release-panel { grid-template-columns: minmax(0, 1fr); gap: 24px; }
}
@media (max-width: 600px) {
  .proposal-header { padding: 16px; gap: 12px 20px; }
  .proposal-header nav { order: 1; width: 100%; margin: 0; }
  #identity { overflow-wrap: anywhere; }
  #message { padding: 12px 16px; }
  #workspace { padding: 20px 14px; }
  .proposal-queue { padding: 20px; gap: 18px; }
  .queue-heading { width: 100%; }
  .proposal-queue > label:has(select) { width: 100%; }
  #proposal-list { grid-template-columns: minmax(0, 1fr); }
  .editor-heading { align-items: start; flex-direction: column; gap: 0; }
  #proposal-form, .preview-pane, .review-panel, #history-panel, .release-panel { padding: 22px 20px; }
  .editor-actions > button, .review-actions > button { width: 100%; }
}

/* Contribution reading view and provenance */
#workspace { max-width: 1560px; }
#proposal-meta { display:flex; flex-wrap:wrap; align-items:center; gap:12px 20px; margin:14px 0 22px; }
#proposal-meta details { margin-left:auto; }
#proposal-meta details p { margin:8px 0; }
.status-badge { display:inline-block; padding:5px 12px; border-radius:20px; background:#e9eef5; color:#38536c; font-weight:650; }
.status-badge[data-status=submitted] { background:#eaf1fc; color:#285a91; }
.status-badge[data-status=published] { background:#e5f4eb; color:#256b46; }
.status-badge[data-status=needs_changes],.status-badge[data-status=rejected] { background:#fff1df; color:#87501c; }
.contribution-context { display:grid; grid-template-columns:minmax(0,1fr); gap:28px; padding:24px 28px; margin-bottom:24px; background:#fff; border:1px solid #dce3ec; border-radius:14px; }
#contributor-meta { display:flex; flex-direction:column; gap:4px; font-size:13px; color:#617387; }
#contributor-meta strong { font-size:16px; color:#25384a; }
.meta-label { display:block; font-size:11px; text-transform:uppercase; letter-spacing:.09em; font-weight:700; color:#64788c; margin-bottom:7px; }
.target-link { flex-basis:100%; margin-top:6px; }
.submission-reason { padding:0 2px; margin:0 0 24px; }
.submission-reason h2 { font-size:14px; margin:0 0 6px; }
.submission-reason p { color:#617387; margin:0; white-space:pre-wrap; }
.reading .editor-columns { display:block; }
.reading .preview-pane { position:static; max-height:none; padding:32px 36px; overflow:visible; }
.reading .preview-heading { display:none; }
.reading #preview-help { margin:0 0 24px; padding-bottom:16px; }
.statement-heading h2 { font-size:clamp(23px,2vw,29px); line-height:1.35; letter-spacing:-.45px; margin:10px 0 24px; max-width:900px; }
.mathematical-statement { font-size:17px; line-height:1.95; padding:0 0 12px; }
.source-type { font-size:11px; font-weight:700; letter-spacing:.09em; text-transform:uppercase; color:#52768c; }
.contribution-sources { margin-top:28px; padding-top:4px; border-top:1px solid #e5eaf0; }
.count { font-size:12px; color:#617387; margin-left:6px; }
.evidence-card { margin:14px 0; border:1px solid #dce5ed; border-left:3px solid #5485a3; border-radius:8px; padding:20px 22px; background:#f9fbfd; min-width:0; overflow-wrap:anywhere; }
.source-heading { display:flex; justify-content:space-between; align-items:center; color:#617387; font-size:12px; }
.evidence-card h4 { margin:10px 0 8px; font-size:17px; }
.evidence-card a { text-underline-offset:3px; }
.source-repository { font-size:13px; }
.evidence-card dl { margin:14px 0; font-size:13px; }
.evidence-card dl>div { display:grid; grid-template-columns:65px minmax(0,1fr); gap:10px; margin:6px 0; }
.evidence-card dt { color:#617387; }
.evidence-card dd { margin:0; }
.evidence-card code { font-size:12px; overflow-wrap:anywhere; }
.verification-note { font-size:12px; color:#3f6475; margin:12px 0 4px; }
.source-caveat { font-size:12px; color:#617387; margin:6px 0; }
.evidence-card .source-record { margin:14px 0 0; padding:12px 0 0; font-size:12px; }
.evidence-card pre { max-height:360px; overflow:auto; white-space:pre-wrap; overflow-wrap:anywhere; font-size:11px; }
.source-editor h3 { margin-top:24px; }
.source-editor details { margin-top:16px; }
.source-editor details>p { font-size:12px; color:#617387; }
.source-editor details>label { margin-top:14px; }
#source-error { font-size:12px; }
#proof-label { margin:20px 0; }
#proof-label label { margin-top:14px; }
@media(max-width:600px){
  .contribution-context { grid-template-columns:minmax(0,1fr); gap:20px; padding:20px; }
  .reading .preview-pane { padding:24px 20px; }
  #proposal-meta details { margin-left:0; }
  .evidence-card { padding:16px; }
  .mathematical-statement { font-size:15px; }
}

#review-attribution { color:#617387; font-size:13px; }
#review-checks { display:flex; flex-wrap:wrap; gap:8px; margin:12px 0; }
.review-check { border-radius:6px; padding:4px 9px; background:#eef2f6; font-size:12px; }
.review-check[data-result=passed] { background:#e5f4eb; color:#256b46; }
.review-check[data-result=pending], .review-check[data-result=failed] { background:#fff1df; color:#87501c; }

.proposal-page.guest-composer .proposal-queue{display:none}
.proposal-page.guest-composer .proposal-layout{grid-template-columns:minmax(0,1fr)}
.proposal-page label{margin-bottom:18px}
.extra-evidence{margin:0 0 20px}.extra-evidence summary{cursor:pointer;color:#315b7d;margin-bottom:12px}
.proposal-page #sign-in{background:#315b7d;color:#fff;border-color:#315b7d;font-weight:600}
.proposal-header nav a[href="home.html"]{font-size:15px;font-weight:600}

.proposal-page .form-section{margin-top:22px;padding-top:22px}.proposal-page .form-section-heading{margin-bottom:18px}.proposal-page .rationale-section h2{margin-bottom:16px}

/* Attribution is a compact row, not an empty card left by the old location panel. */
.contribution-context{display:block;padding:0 0 18px;margin:0 0 22px;background:transparent;border:0;border-bottom:1px solid #dce3ec;border-radius:0}
.contribution-context:not(:has(#contributor-meta > *)){display:none}
#proposal-meta:empty{display:none}

/* Submitted proposals put mathematics first; technical records remain expandable. */
#message:empty{display:none}
#proposal-progress{margin:-8px 0 18px;color:#526a80;max-width:850px}
#contributor-meta{flex-direction:row;flex-wrap:wrap;gap:6px 24px}
#contributor-meta strong{font-size:13px}
#contributor-meta>div>span{margin-right:6px;color:#64788c}
.reading .editor-heading h1{font-size:22px;margin:0}
.reading .editor-heading .eyebrow{display:none}
.reading #proposal-meta{margin:12px 0 18px}
.reading .statement-heading h2{margin-bottom:18px}
.reading .submission-reason,#submission-evidence{margin:20px 0;padding:0 2px;color:#526a80}
.submission-reason p{margin-top:12px}
.open-questions{color:#755526}
.open-questions p{font-size:13px}
#proposal-access{max-width:640px;margin:60px auto;padding:32px;background:#fff;border:1px solid #dce3ec;border-radius:14px}
@media(max-width:1280px){body:has(.reading) .proposal-layout{display:flex;flex-direction:column}body:has(.reading) .proposal-work{order:-1;width:100%}body:has(.reading) .proposal-queue{width:100%}}

/* Keep the mathematical claim dominant over provenance and navigation. */
.proposal-layout{grid-template-columns:260px minmax(0,1fr)}
.proposal-history-link{font-size:12px;white-space:nowrap}
.reading .statement-heading h2{font-size:clamp(22px,1.8vw,27px);margin:8px 0 16px}
.reading .mathematical-statement{font-size:17px;line-height:1.8;padding:12px 16px;margin:0 0 18px;background:#f1f6fa;border-left:3px solid #315b7d;border-radius:0 8px 8px 0}
.reading .contribution-sources{margin-top:18px}
.reading .contribution-sources h3{font-size:14px;margin:16px 0 8px;color:#526a80}
.reading .evidence-card{padding:12px 16px;margin:8px 0;background:#fafbfd;border-left:2px solid #bdcddb}
.reading .evidence-card h4{font-size:14px;margin:5px 0}
.reading .evidence-card p{font-size:12px;margin:5px 0}
.reading .evidence-card dl{margin:6px 0;font-size:12px}
.reading .evidence-card .source-record{margin-top:8px;padding-top:8px}
.statement-placement{margin:10px 0 18px;padding:12px 14px;background:#f6f8fa;border-left:2px solid #bdcddb;border-radius:4px;font-size:13px}
.statement-placement h3{font-size:12px;color:#617387;margin:0 0 6px;font-weight:600}
.placement-item p{margin:6px 0}
.placement-path{font-weight:600;overflow-wrap:anywhere}
.location-button{display:inline-block;margin-top:8px;padding:7px 12px;border:1px solid #ccd7e4;border-radius:6px;text-decoration:none;font-size:13px}
@media(max-width:1280px){.proposal-layout{grid-template-columns:minmax(0,1fr)}}
@media(max-width:600px){.reading .mathematical-statement{font-size:16px;padding:12px}.proposal-history-link{font-size:12px}}

.batch-summary{font-size:13px;color:#617387;margin:0 0 14px}
.batch-navigation{display:flex;flex-wrap:wrap;align-items:end;gap:10px;margin-bottom:20px;padding-bottom:18px;border-bottom:1px solid #e5eaf0}
.proposal-page .batch-navigation label{flex:1 1 240px;margin:0;font-size:12px}
.proposal-page .batch-navigation button{font-size:12px;min-height:40px;padding:8px 12px}
.preview-pane .changeset-item{margin:12px 0 0;padding:0;border:1px solid #dce3ec;border-radius:8px;scroll-margin-top:18px}
.changeset-item>summary{padding:14px 16px;line-height:1.5}
.change-number{color:#617387;margin-right:6px;font-weight:400}
.change-title{font-size:15px}
.change-operation{display:inline-block;color:#617387;font-size:12px;font-weight:400;margin-left:12px}
.change-content{padding:0 16px 18px;min-width:0}
.changeset-item .statement-heading h2{display:none}
.changeset-item .statement-heading{margin:6px 0 10px}
.changeset-item .change-operation-details{font-size:12px;color:#617387;margin-top:16px;padding-top:12px}
@media(max-width:600px){.change-operation{display:block;margin-left:20px}.change-content{padding:0 12px 14px}}