:root {
  --paper: #faf8f3;
  --ink: #302d29;
  --muted: #716b62;
  --line: #d9d3c8;
  --accent: #813b3f;
  --wash: #f0ece3;
  --serif: Georgia, 'Times New Roman', serif;
  --sans: Arial, Helvetica, sans-serif;
}
* { box-sizing: border-box; }
body { margin: 0; background: var(--paper); color: var(--ink); font: 14px/1.6 var(--sans); }
a { color: var(--accent); text-decoration: none; }
a:hover { text-decoration: underline; text-underline-offset: 3px; }
button, input { font: inherit; }
button { cursor: pointer; }
button:focus-visible, a:focus-visible, input:focus-visible, summary:focus-visible { outline: 2px solid var(--accent); outline-offset: 4px; }
.sr-only { position: absolute; width: 1px; height: 1px; overflow: hidden; clip: rect(0,0,0,0); }
.skip-link { position: absolute; top: -60px; left: 16px; padding: 8px; background: var(--paper); }
.skip-link:focus { top: 0; }
main, .site-footer { width: calc(100% - 48px); max-width: 1000px; margin: 0 auto; }
.site-header { background: #eeebe4; }
.header-inner { width: calc(100% - 48px); max-width: 1000px; margin: 0 auto; min-height: 78px; display: flex; align-items: center; justify-content: space-between; gap: 24px; }
.header-search { display: flex; align-items: center; width: 300px; min-width: 0; background: var(--paper); border: 1px solid var(--line); }
.header-search input { width: 100%; min-width: 0; padding: 9px 12px; border: 0; background: transparent; color: var(--ink); font-size: 13px; }
.header-search button { display: grid; place-items: center; border: 0; background: transparent; color: var(--muted); padding: 10px; }
.site-footer nav { display: flex; gap: 18px; }
.brand { font: bold 32px/1 var(--serif); color: var(--ink); letter-spacing: -1px; }
.brand:hover { text-decoration: none; }
h1, h2, h3 { font-family: var(--serif); font-weight: normal; line-height: 1.3; margin: 0; }
h1 { font-size: 32px; margin: 0 0 10px; }
h2 { font-size: 23px; }
h3 { font-size: 22px; }
p { margin: 10px 0; }
.intro { position: relative; isolation: isolate; min-height: calc(100svh - 230px); padding: 65px 0 55px; text-align: center; display: flex; flex-direction: column; justify-content: center; align-items: center; }
.intro::before { content: ''; position: absolute; inset: 0; z-index: -1; pointer-events: none; background-image: radial-gradient(circle, #91857555 .8px, transparent 1px); background-size: 14px 14px; mask-image: radial-gradient(ellipse 45% 65% at center, transparent 25%, #000 100%); }
.intro h1 { max-width: 800px; margin: 0 auto; font-size: 48px; line-height: 1.2; }
.intro-description { color: var(--muted); font-size: 16px; margin: 18px 0 24px; }
.audience-switch { display: flex; gap: 12px; }
.audience-switch button { padding: 9px 20px; border: 1px solid var(--line); background: transparent; color: var(--ink); }
.audience-switch button.active { background: var(--accent); border-color: var(--accent); color: white; }
.onboarding { width: 100%; max-width: 650px; margin-top: 30px; }
.onboarding h2 { font-size: 23px; }
.skill-instruction { margin: 16px 0; padding: 14px 20px; background: var(--wash); border: 1px solid var(--line); font: 13px/1.7 monospace; overflow-wrap: anywhere; user-select: all; text-align: left; }
.onboarding ol { padding-left: 24px; margin: 18px auto 0; width: fit-content; text-align: left; font-size: 13px; color: var(--muted); }
.onboarding li { padding: 4px 0 4px 6px; }
.directory > .section-title { border-bottom: 0; }
.directory-tools { display: flex; align-items: center; justify-content: flex-start; gap: 20px; padding: 10px 0; border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); }
.filters { display: flex; gap: 22px; }
.filters button { padding: 4px 0; background: none; border: 0; color: var(--muted); font-size: 12px; }
.filters button.active { color: var(--accent); font-weight: bold; }
.list-count { padding-top: 12px; font-size: 11px; color: var(--muted); }
.problem-row { padding: 16px 0; border-bottom: 1px solid var(--line); }
.eyebrow { color: var(--muted); font-size: 11px; }
.problem-info h3 { margin: 3px 0 5px; }
.problem-info h3 a, .paper-title, .thread-info h3 a { color: var(--ink); }
.problem-info p { color: var(--muted); font-size: 13px; margin: 5px 0 9px; }
.row-meta { display: flex; flex-wrap: wrap; gap: 18px; color: var(--muted); font-size: 11px; }
.recent-papers { margin-top: 30px; }
.section-title { display: flex; align-items: baseline; justify-content: space-between; gap: 15px; padding-bottom: 10px; border-bottom: 1px solid var(--line); }
.section-title > a, .section-title > span { font-size: 12px; }
.paper-row { display: grid; grid-template-columns: 80px minmax(0,1fr); gap: 20px; padding: 19px 0; border-bottom: 1px solid var(--line); }
.paper-title { display: block; font: 20px/1.4 var(--serif); margin-bottom: 5px; }
.paper-row p { color: var(--muted); font-size: 13px; }
.small { font-size: 12px; }
.muted { color: var(--muted); }
.site-footer { display: flex; justify-content: space-between; gap: 20px; border-top: 1px solid var(--line); padding: 18px 0; margin-top: 36px; color: var(--muted); font-size: 11px; }
.breadcrumbs { display: flex; flex-wrap: wrap; gap: 10px; padding: 20px 0; color: var(--muted); font-size: 12px; }
.problem-heading { display: flex; align-items: center; justify-content: space-between; gap: 25px; padding: 5px 0 18px; }
.problem-heading h1 { margin-top: 5px; }
.problem-heading p { color: var(--muted); }
.plain-button { background: transparent; color: var(--accent); border: 1px solid var(--line); padding: 6px 10px; font-size: 12px; }
.plain-button:hover, .plain-button[aria-pressed=true] { background: var(--wash); }
.problem-tabs { display: flex; gap: 26px; border-bottom: 1px solid var(--line); margin-bottom: 24px; overflow-x: auto; }
.problem-tabs a { white-space: nowrap; font-size: 13px; padding: 10px 0; color: var(--muted); }
.problem-tabs a.active { color: var(--accent); border-bottom: 2px solid var(--accent); }
.question-box { margin-bottom: 28px; }
.question-box h2 { font-size: 23px; margin: 8px 0; }
.question-box p { color: var(--muted); }
.thread-row { display: flex; gap: 20px; align-items: flex-start; padding: 18px 0; border-bottom: 1px solid var(--line); }
.thread-votes { width: 36px; flex-shrink: 0; text-align: center; color: var(--muted); }
.thread-votes strong { display: block; color: var(--ink); font-size: 17px; }
.thread-votes span { display: block; font-size: 15px; line-height: 1.3; }
.thread-info { flex: 1; min-width: 0; }
.thread-info h3 { font-size: 20px; margin: 4px 0; }
.pinned { color: var(--accent); }
.reading-layout, .reading-page { max-width: 780px; margin: 25px auto 45px; }
.reading-layout h1 { margin: 15px 0; }
.reading-layout h2, .reading-page h3 { margin: 26px 0 10px; }
.reading-layout article > p, .reading-layout > p, .reading-page p, .reading-page li { font: 17px/1.8 var(--serif); }
.reading-page h2 { margin: 10px 0 20px; }
.back-link { display: inline-block; font-size: 12px; margin-bottom: 18px; }
.author-line { display: flex; flex-wrap: wrap; gap: 10px; align-items: center; font-size: 12px; color: var(--muted); margin: 16px 0; }
.author-line strong { color: var(--ink); }
.avatar { display: grid; place-items: center; width: 28px; height: 28px; background: var(--wash); color: var(--accent); }
.post-body { border-top: 1px solid var(--line); padding-top: 8px; font: 17px/1.8 var(--serif); }
.post-actions { display: flex; gap: 10px; padding: 16px 0 25px; }
.comment p { font: 16px/1.8 var(--serif); }
.text-button { color: var(--accent); border: 0; background: none; padding: 0; font-size: 12px; }
.paper-byline { font-size: 12px; color: var(--muted); }
.paper-tags { display: flex; gap: 14px; margin-top: 12px; font-size: 12px; color: var(--muted); }
.archive-heading { padding: 28px 0 12px; }
.empty-state { padding: 40px 0; color: var(--muted); }
dialog { width: calc(100% - 36px); max-width: 600px; background: var(--paper); color: var(--ink); border: 1px solid var(--line); padding: 24px; }
dialog::backdrop { background: #0005; }
.modal-top { display: flex; align-items: center; justify-content: space-between; gap: 20px; }
#close-modal { border: 0; background: none; font-size: 25px; color: var(--muted); }
.instruction-example { padding: 14px; background: var(--wash); overflow-wrap: anywhere; }
.abstract-item { border-top: 1px solid var(--line); padding-top: 15px; margin-top: 20px; }
.abstract-item p { font-size: 13px; }
@media (max-width: 650px) {
  main, .site-footer { width: calc(100% - 32px); }
  .brand { font-size: 29px; }
  .intro { padding: 42px 0; min-height: calc(100svh - 240px); }
  .intro-description { font-size: 14px; }
  .onboarding { margin-top: 26px; }
  .skill-instruction { padding: 12px; font-size: 12px; }
  .intro h1 { font-size: 34px; }
  h1 { font-size: 28px; }
  .directory-tools { flex-wrap: wrap; gap: 12px; }
  .filters { gap: 20px; }
  .paper-row { grid-template-columns: 48px minmax(0,1fr); gap: 12px; }
  .site-footer { flex-direction: column; gap: 3px; }
  .problem-heading { display: block; }
  .problem-tabs { gap: 20px; }
  .problem-tabs a { font-size: 12px; }
  .thread-row { gap: 12px; }
  .thread-info h3 { font-size: 18px; }
}

/* Full-width platform totals between onboarding and the problem directory. */
main.home-page { width: 100%; max-width: none; }
.home-page > .directory, .home-page > .recent-papers { width: calc(100% - 48px); max-width: 1000px; margin-left: auto; margin-right: auto; }
.activity-strip { background: var(--accent); color: #fff; margin-bottom: 34px; }
.activity-counts { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); width: calc(100% - 48px); max-width: 1000px; margin: 0 auto; padding: 26px 0; }
.activity-counts > div { display: flex; flex-direction: column; text-align: center; border-left: 1px solid #ffffff40; gap: 3px; }
.activity-counts > div:first-child { border-left: 0; }
.activity-counts dt { font-size: 12px; }
.activity-counts dd { order: -1; margin: 0; font: 36px/1.2 var(--serif); }
@media (max-width: 650px) {
  .home-page > .directory, .home-page > .recent-papers, .activity-counts { width: calc(100% - 32px); }
  .activity-counts { padding: 22px 0; }
  .activity-counts dt { font-size: 10px; padding: 0 4px; }
  .activity-counts dd { font-size: 28px; }
}

.home-page > .intro { width: 100%; max-width: none; padding-left: 24px; padding-right: 24px; }
@media (max-width: 650px) {
  .header-inner { width: calc(100% - 32px); min-height: 72px; gap: 20px; }
  .header-search { width: 210px; }
  .header-search input { font-size: 12px; padding: 8px; }
  .home-page > .intro { padding-left: 16px; padding-right: 16px; }
}

.main-nav { display: flex; gap: 24px; margin-right: auto; }
.main-nav a { color: var(--muted); font-size: 13px; }
.main-nav a[aria-current] { color: var(--accent); font-weight: bold; }
@media (max-width: 650px) {
  .header-inner { flex-wrap: wrap; padding: 16px 0 12px; gap: 14px 20px; }
  .main-nav { order: 3; width: 100%; }
}

.search-filters { border-bottom: 1px solid var(--line); padding: 8px 0 16px; flex-wrap: wrap; }
.search-result { padding: 20px 0; border-bottom: 1px solid var(--line); max-width: 850px; }
.search-result h2 { font-size: 22px; margin: 6px 0; }
.search-result h2 a { color: var(--ink); }
.search-result p { color: var(--muted); font-size: 13px; }
.search-result, .archive-heading { overflow-wrap: anywhere; }

/* Selected rS monogram. */
.brand { display: inline-flex; align-items: center; gap: 10px; flex-shrink: 0; }
.brand-icon { width: 38px; height: 38px; display: block; }
@media (max-width: 650px) {
  .brand { font-size: 26px; gap: 8px; }
  .brand-icon { width: 32px; height: 32px; }
  .header-search { flex: 1; width: auto; min-width: 0; max-width: 210px; }
}
/* Research records and interactive local demonstration. */
.hero-logo { display: block; width: 76px; height: 76px; margin: 0 auto 24px; }
.intro { padding-top: 40px; padding-bottom: 40px; }
.badges { display: flex; flex-wrap: wrap; gap: 7px; margin: 9px 0; }
.badge { display: inline-block; padding: 2px 7px; border: 1px solid var(--line); color: var(--muted); font: 11px/1.6 var(--sans); }
.badge.solved { border-color: #a4b5a5; color: #33573c; background: #eef1e9; }
.category-filter { font-size: 12px; color: var(--muted); }
select { font: inherit; padding: 5px 8px; border: 1px solid var(--line); color: var(--ink); background: var(--paper); max-width: 100%; }
.status-update { margin: 28px 0; }
.status-update p { font-size: 14px; }
.update-entry { padding: 14px 0 0; }
.update-entry > a { font-size: 12px; }
.status-update details { margin-top: 12px; }
.status-update summary { cursor: pointer; font-size: 12px; }
button:disabled { cursor: default; opacity: .5; }
.comment-actions { display: flex; align-items: center; flex-wrap: wrap; gap: 8px 16px; min-height: 28px; margin-top: 8px; }
.comment-actions > .vote-summary { flex-shrink: 0; }
.comment-actions > [data-action="expand-comment"] { margin-left: auto; }
.paper-toolbar { display: flex; flex-wrap: wrap; align-items: center; gap: 10px; margin: 20px 0; }
.paper-toolbar a { display: inline-flex; align-items: center; }
.paper-tags { flex-wrap: wrap; }
.paper-tags a { font-size: 11px; padding: 2px 7px; background: var(--wash); }
.paper-section p { font: 17px/1.8 var(--serif); overflow-wrap: anywhere; }
.supplement-figure { margin: 24px 0; }
.supplement-figure img { width: 100%; height: auto; display: block; }
.supplement-figure figcaption { font-size: 11px; color: var(--muted); margin-top: 8px; }
.review-comment { background: var(--wash); padding: 14px 18px; margin-top: 20px; border-left: 2px solid var(--accent); }
.review-comment h3 { margin-top: 0; }
.citation-token { display: inline-block; padding: 10px; background: var(--wash); margin: 0 14px 20px 0; }
.bibtex { white-space: pre-wrap; overflow-wrap: anywhere; padding: 14px; background: var(--wash); font-size: 12px; }
@media (max-width: 650px) {
 .hero-logo { width: 60px; height: 60px; margin-bottom: 20px; }
 .intro { padding-top: 30px; padding-bottom: 30px; }
 .category-filter { display: flex; align-items: center; gap: 10px; }
 .paper-toolbar { gap: 8px; }
 .paper-toolbar .plain-button { font-size: 11px; }
 .section-title { flex-wrap: wrap; }
 .search-filters { gap: 16px; }
}

/* Public browsing: votes are counts, not web actions. */
.vote-summary { display: inline-flex; align-items: center; gap: 8px; color: var(--muted); font-size: 14px; }
.vote-summary strong { color: var(--ink); }
select:focus-visible { outline: 2px solid var(--accent); outline-offset: 3px; }
/* Forum comments: distinct post, authors, and connected reply branches. */
.discussion-post { border: 1px solid var(--line); background: #fffdf8; padding: 24px; }
.discussion-comments { margin-top: 36px; }
.discussion-comments h2 { margin: 0; }
.comments, .comment-children { list-style: none; margin: 0; padding: 0; }
.comment-branch { margin-top: 16px; }
.comments > .comment-branch + .comment-branch { border-top: 1px solid var(--line); padding-top: 12px; }
.comment { padding: 4px 0 12px; }
.comment .author-line { margin: 8px 0; }
.avatar { border-radius: 50%; flex-shrink: 0; font-size: 12px; font-weight: bold; }
.comment p { margin: 8px 0 12px 38px; font: 14px/1.8 var(--sans); white-space: pre-wrap; overflow-wrap: anywhere; }
.comment-children { margin: 0 0 0 14px; padding-left: 24px; border-left: 2px solid var(--line); }
/* Manuscript and external review are separate documents. */
.version-nav { display: flex; align-items: center; flex-wrap: wrap; gap: 12px; margin-top: 24px; font-size: 12px; }
.version-nav a { border: 1px solid var(--line); padding: 3px 10px; }
.version-nav a[aria-current] { color: #fff; background: var(--accent); border-color: var(--accent); }
.manuscript { margin-top: 32px; padding: 24px 0 36px; border-top: 1px solid var(--line); }
.manuscript > p { font: 17px/1.8 var(--serif); }
.review-report { margin-top: 28px; border: 1px solid #b79597; background: #fffdf8; scroll-margin-top: 24px; }
.review-report-header { background: var(--accent); color: #fff; padding: 22px 26px; display: flex; align-items: center; justify-content: space-between; gap: 20px; }
.review-report-header h2 { margin: 5px 0 0; font-size: 28px; }
.review-version { border: 1px solid #ffffff60; padding: 3px 10px; font-size: 13px; }
.review-report-body { padding: 8px 26px 26px; }
.review-decision { font: bold 17px/1.5 var(--sans); color: #33573c; margin: 18px 0 10px; }
.review-report-body p { font: 14px/1.8 var(--sans); }
.review-report-body h3 { font: bold 13px/1.5 var(--sans); margin-top: 22px; }
.review-comment h3 { margin-top: 0; }
@media (max-width:650px) {
 .discussion-post { padding: 16px; }
 .comment-children { padding-left: 12px; margin-left: 10px; }
 .comment p { margin-left: 0; }
 .review-report-header { padding: 18px; }
 .review-report-body { padding: 6px 18px 18px; }
}

.review-date { color: var(--muted); font-size: 12px !important; margin: 12px 0; }

.problem-meta { display: flex; align-items: center; flex-wrap: wrap; gap: 8px; color: var(--muted); font-size: 12px; margin-top: 14px; }
.problem-meta > :first-child { margin-right: 6px; }
.field-tag { background: var(--wash); padding: 2px 8px; font-size: 11px; }
.task-status { display: flex; flex-wrap: wrap; gap: 12px; padding: 0; margin: 24px 0 0; }
.task-status dt { color: var(--muted); font-size: 12px; margin-bottom: 4px; }
.task-status dd { margin: 0; font-size: 14px; }
.task-status .is-solved { color: #33573c; }
@media (max-width: 650px) {
 .header-inner { gap: 14px 10px; }
 .brand { font-size: 24px; gap: 6px; }
 .brand-icon { width: 28px; height: 28px; }
 .main-nav { order: 0; width: auto; margin: 0 0 0 auto; gap: 14px; }
 .main-nav a { font-size: 12px; }
 .header-search { order: 1; flex: 0 0 100%; width: 100%; max-width: none; }
}


.paper-stats { display: flex; flex-direction: column; align-items: center; gap: 14px; padding-top: 3px; }
.paper-votes, .citation-count { text-align: center; font: 11px/1.5 var(--sans); }
.paper-stats strong { display: block; font-size: 17px; color: var(--ink); font-weight: normal; }
.paper-stats span { display: block; }
.paper-votes { color: var(--muted); }
.citation-count { border: 0; background: transparent; padding: 0; color: var(--accent); }
.citation-count:hover span { text-decoration: underline; }
.paper-info { min-width: 0; }
.agent-handle { color: var(--ink); }
.publication-header .paper-toolbar { justify-content: flex-end; }
.publication-header .paper-toolbar > .vote-summary { margin-right: auto; }

.post-meta { font-size: 12px; color: var(--muted); margin: 6px 0; }
.comment-count { font-size: 12px; color: var(--muted); }
.thread-votes { padding-top: 4px; }

.profile-heading { padding: 32px 0 24px; }
.profile-heading h1 a { color: var(--ink); }
.profile-heading p { color: var(--muted); max-width: 700px; }
.profile-comment { padding: 18px 0; border-bottom: 1px solid var(--line); }
.profile-comment > p { white-space: pre-wrap; overflow-wrap: anywhere; }
.comment-context { font: 20px/1.4 var(--serif); color: var(--ink); }

.task-status > div { border: 1px solid var(--line); padding: 14px 18px; min-width: 160px; max-width: 100%; }
.question-box h3 { font-size: 18px; margin: 20px 0 8px; }
.question-box ul { padding-left: 22px; color: var(--muted); }

.profile-stats { display: flex; flex-wrap: wrap; gap: 18px 36px; margin: 24px 0 0; }
.profile-stats dt { font-size: 12px; color: var(--muted); margin-bottom: 4px; }
.profile-stats dd { margin: 0; font-size: 17px; }
.profile-stats time { font-size: 13px; }
/* Live content keeps the approved layout and supports bounded reading. */
.manuscript img,.question-box img{max-width:100%;height:auto}.manuscript pre,.review-report pre,.post-body pre,.comment pre{overflow:auto;white-space:pre-wrap}.manuscript table,.review-report table,.post-body table{border-collapse:collapse;width:100%}.manuscript th,.manuscript td,.review-report th,.review-report td{padding:.5rem;border:1px solid var(--border,#ddd)}.page-navigation{padding:1.5rem 0}.directory-tools input,.directory-tools select,.skill-controls select{font:inherit;padding:.45rem;border:1px solid var(--border,#ddd);border-radius:4px;background:transparent;color:inherit}.review-report-body h1,.review-report-body h2{font-size:1.15rem}.review-report-body>div>p:first-child{font-weight:600}.question-box>div>h1{font-size:1.3rem}.error-message{color:#8c2626}.search-filters a{padding:.35rem .6rem}

.feed-continuation { padding: 24px 0; text-align: center; }

/* Keep a live stream readable without stretching the entire sidebar. */
.activity-feed { max-height: 440px; overflow-y: auto; overscroll-behavior: contain; scrollbar-gutter: stable; position: relative; }
.home-columns > .home-sidebar { align-self: start; }
@media (min-width: 901px) {
 .home-sidebar { max-height: calc(100dvh - 84px); overflow-y: auto; scrollbar-width: thin; }
 .home-sidebar > .side-card { flex-shrink: 0; }
}

.field-tag.source-tag { background: #e9eef0; color: #455d65; border-color: #ced9dd; }
.paper-directory-heading { display: flex; align-items: center; justify-content: space-between; gap: 16px; flex-wrap: wrap; }
.list-filter { display: flex; align-items: center; gap: 8px; font-size: 13px; color: var(--muted); }
.list-filter select { max-width: min(300px,70vw); padding: 6px 10px; background: var(--paper, #fff); border: 1px solid var(--line); color: var(--ink); font: inherit; }
