/* MathResearchOS research microsite (GeoAFT house style). Scoped to .mros; shared site chrome is untouched. */
.mros {
    --mros-ink: #11182c;
    --mros-body: #374151;
    --mros-muted: #6b7280;
    --mros-rule: #dfe3e8;
    --mros-soft: #f7f8f7;
    --mros-navy: #183b63;
    --mros-teal: #00929a;
    --mros-teal-ink: #006f76;
    --mros-teal-tint: #e2f3f3;
    --mros-ochre: #c05f0c;
    --mros-ochre-ink: #93480a;
    --mros-ochre-tint: #fbeee2;
    --mros-header: 96px;
    --mros-code-bg: #11182c;
    --mros-code-ink: #e6ecf5;
    color: var(--mros-body);
    overflow-wrap: break-word;
}
.research-content .mros { overflow-wrap: break-word; }
.mros :where(h1, h2, h3) { color: var(--mros-ink); }
.mros a:focus-visible, .mros button:focus-visible, .mros input:focus-visible, .mros [tabindex]:focus-visible {
    outline: 2px solid var(--mros-teal); outline-offset: 3px; border-radius: 3px;
}
.mros math { font-family: 'STIX Two Math', 'Cambria Math', 'Latin Modern Math', math, serif; font-size: 1.06em; }
.mros math[display="block"] { font-size: 1.12em; margin: 0; overflow-x: auto; overflow-y: hidden; max-width: 100%; padding: .2rem 0; }
.mros strong { font-weight: 600; color: var(--mros-ink); }
.mros-back { margin-bottom: 2.25rem; font-size: 1rem; }

/* ---------- Hero ---------- */
.mros-hero { display: grid; gap: 2.5rem; align-items: center; padding-bottom: 2rem; border-bottom: 1px solid var(--mros-rule); }
@media (min-width: 1024px) { .mros-hero { grid-template-columns: minmax(0, .95fr) minmax(0, 1.05fr); gap: 2.5rem; } }
.mros-eyebrow { font-size: .8rem; letter-spacing: .12em; text-transform: uppercase; color: var(--mros-teal-ink); margin: 0 0 1rem; font-weight: 400; }
.mros-title.hero-title { text-align: left; text-shadow: none; padding: 0; max-width: none; font-size: clamp(2.6rem, 5.2vw, 4.1rem); line-height: 1; margin: 0 0 1.25rem; color: var(--mros-ink); letter-spacing: -.01em; }
.mros-deck { font-size: clamp(1.35rem, 2.4vw, 1.75rem); line-height: 1.35; color: var(--mros-ink); margin: 0 0 1.5rem; max-width: 34rem; font-weight: 300; }
.mros-lead { font-size: 1.15rem; line-height: 1.7; margin: 0 0 1rem; max-width: 36rem; }
.mros-actions { display: flex; flex-wrap: wrap; gap: .75rem; margin-bottom: 1.75rem; }
.mros-btn { display: inline-flex; align-items: center; gap: .4rem; padding: .6rem 1.1rem; border: 1px solid #c4cad3; border-radius: 6px; color: var(--mros-navy); font-size: .98rem; line-height: 1.3; background: #fff; transition: border-color .2s, background-color .2s; }
.mros-btn:hover { border-color: var(--mros-navy); background: #f4f6f9; }
.mros-btn-primary { background: var(--mros-navy); border-color: var(--mros-navy); color: #fff; }
.mros-btn-primary:hover { background: #10294a; border-color: #10294a; color: #fff; }
.mros-btn-text { border-color: transparent; padding-left: .4rem; padding-right: .4rem; }
.mros-btn-text:hover { background: transparent; border-color: transparent; text-decoration: underline; }
.mros-hero-meta { display: flex; flex-wrap: wrap; align-items: center; gap: .5rem 1.25rem; font-size: .9rem; color: var(--mros-muted); }
.mros-hero-meta .badge { margin: 0; }
.mros-hero-meta .project-team { margin: 0; }
.mros-hero-paper { margin: 0; }
.mros-hero-figure { margin: 0; }
.mros-hero-figure svg { width: 100%; height: auto; display: block; }
.mros-hero-figure figcaption { font-size: .9rem; line-height: 1.6; color: var(--mros-muted); margin-top: .75rem; }
.mros-legend-dash, .mros-legend-solid { display: inline-block; width: 1.4rem; height: 0; vertical-align: middle; margin-right: .35rem; border-top: 3px dashed #94a3b8; }
.mros-legend-solid { border-top: 3px solid var(--mros-teal); margin-left: .25rem; }
.mros-illustrative { font-style: italic; color: var(--mros-muted); }

/* ---------- Sections ---------- */
.mros .mros-section { padding: 4.5rem 0 1.5rem; scroll-margin-top: calc(var(--mros-header) + 4rem); }
@media (min-width: 768px) { .mros .mros-section { padding-top: 6rem; } }
.mros-kicker { font-size: .8rem; letter-spacing: .12em; text-transform: uppercase; color: var(--mros-teal-ink); margin: 0 0 .75rem; }
.mros-section > h2 { font-size: clamp(1.8rem, 3.6vw, 2.6rem); line-height: 1.2; margin: 0 0 1.5rem; max-width: 46rem; }
.mros-prose { max-width: 44rem; }
.mros-prose p { margin: 0 0 1.1rem; line-height: 1.75; }
.mros-prose-lg p { font-size: 1.2rem; line-height: 1.75; }
.mros-note { font-size: .98rem; color: var(--mros-muted); max-width: 46rem; margin-top: 1.25rem; }
.mros-aside { color: var(--mros-body); padding-left: 1.1rem; border-left: 2px solid var(--mros-rule); }
.mros-pull { max-width: 46rem; font-size: 1.2rem; line-height: 1.6; color: var(--mros-ink); margin: 2.5rem 0 0; padding-left: 1.25rem; border-left: 3px solid var(--mros-navy); }

/* ---------- Figures ---------- */
.mros-figure { margin: 2.5rem 0; }
.mros-figure svg.mros-svg { width: 100%; height: auto; display: block; }
.mros-figure figcaption { max-width: 48rem; font-size: .95rem; line-height: 1.65; color: #4b5563; margin-top: 1rem; }
.mros-figure figcaption strong { color: var(--mros-ink); }
.mros-figure-title { font-size: 1.05rem; color: var(--mros-ink); margin: 0 0 1rem; display: flex; align-items: center; gap: .6rem; flex-wrap: wrap; }
.mros-tag { font-size: .72rem; letter-spacing: .08em; text-transform: uppercase; padding: .15rem .5rem; border: 1px solid #c4cad3; border-radius: 999px; color: var(--mros-muted); }
.mros-fig-narrow { display: none; }
@media (max-width: 700px) {
    .mros-fig-wide { display: none; }
    .mros-fig-narrow { display: block; max-width: 420px; }
}

.mros-equation { margin: 1.5rem 0; padding: 1.1rem 1.25rem; background: var(--mros-soft); border-radius: 6px; overflow-x: auto; }
.mros-equation-sm { padding: .75rem .9rem; margin: .9rem 0; }
.mros-equation-sm math { font-size: .98em; }

/* ---------- Evidence ---------- */
.mros-scope { max-width: 52rem; margin: 1.5rem 0 1rem; padding: 1rem 1.25rem; background: var(--mros-soft); border-radius: 6px; font-size: .97rem; line-height: 1.65; }
.mros-scope p { margin: 0; }

.mros-status { display: inline-flex; align-items: center; gap: .4rem; font-size: .82rem !important; letter-spacing: .02em; padding: .2rem .65rem; border-radius: 999px; margin-bottom: 1rem !important; }
.mros-status-established { background: var(--mros-navy); color: #fff; }
.mros-status-supported { background: var(--mros-teal-tint); color: var(--mros-teal-ink); border: 1px solid #9fd3d5; }
.mros-status-open { border: 1px dashed #9aa3af; color: var(--mros-muted); }

/* ---------- JavaScript-only text and explorer controls ---------- */
.mros-js-only { display: none; }
.is-live .mros-js-only { display: inline; }
.is-live .mros-nojs-only { display: none; }
.mros-explorer-controls { display: flex; flex-wrap: wrap; align-items: center; gap: 1rem 2rem; margin: 0 0 1rem; font-size: .95rem; }
.mros-explorer-controls label { display: flex; align-items: center; gap: .6rem; color: var(--mros-body); }
.mros-explorer-controls input[type="range"] { width: 9rem; accent-color: var(--mros-teal); }
.mros-explorer-controls output { min-width: 3.2rem; color: var(--mros-ink); font-variant-numeric: tabular-nums; }
.mros-explorer-controls button { border: 1px solid #c4cad3; border-radius: 6px; padding: .35rem .8rem; background: #fff; color: var(--mros-navy); font-size: .9rem; }
.mros-explorer-controls button:hover { border-color: var(--mros-navy); }
.mros-explorer-live svg { width: 100%; height: auto; display: block; touch-action: none; user-select: none; -webkit-user-select: none; }
.mros-explorer-live .mros-q-handle { cursor: grab; }
.mros-explorer-live.is-dragging .mros-q-handle { cursor: grabbing; }
.mros-explorer-tabs { display: none; gap: .4rem; flex-wrap: wrap; width: 100%; }
.mros-explorer.is-single .mros-explorer-tabs { display: flex; }
.mros-explorer-controls [data-play][aria-pressed="true"], .mros-explorer-tabs button[aria-pressed="true"] { background: var(--mros-navy); color: #fff; border-color: var(--mros-navy); }
.mros-explorer-readout { font-size: .9rem; color: var(--mros-muted); margin: .5rem 0 0; min-height: 1.5em; }

/* ---------- Technical details page ---------- */
.mros-details-head { display: grid; gap: .5rem 3rem; padding-bottom: 1.25rem; border-bottom: 1px solid var(--mros-rule); background: #fff; }
@media (min-width: 900px) { .mros-details-head { grid-template-columns: minmax(0, 1.2fr) minmax(0, 1fr); align-items: end; } }
.mros-details-head .mros-lead { margin-bottom: .5rem; max-width: none; }
.mros-details-title { font-size: clamp(2rem, 4vw, 2.9rem); line-height: 1.18; margin: 0; }
.mros-details-layout { display: grid; gap: 2rem; padding-top: 2rem; }
@media (min-width: 1024px) { .mros-details-layout { grid-template-columns: 13rem minmax(0, 1fr); gap: 2.75rem; } }
.mros-details-toc { font-size: .92rem; }
@media (min-width: 1024px) { .mros-details-toc { position: sticky; top: calc(var(--mros-header) + 1.5rem); align-self: start; max-height: calc(100vh - var(--mros-header) - 3rem); overflow-y: auto; } }
.mros-toc-label { text-transform: uppercase; letter-spacing: .12em; font-size: .75rem; color: var(--mros-muted); margin: 0 0 .5rem; }
.mros-details-toc ol { list-style: none; padding: 0; margin: 0; counter-reset: toc; }
.mros-details-toc li { counter-increment: toc; margin: 0; }
.mros-details-toc a { display: block; padding: .3rem 0 .3rem .75rem; border-left: 2px solid var(--mros-rule); color: var(--mros-muted); line-height: 1.4; }
.mros-details-toc a::before { content: counter(toc) "  "; color: #9aa3af; }
.mros-details-toc .mros-toc-part { counter-increment: none; text-transform: uppercase; letter-spacing: .1em; font-size: .72rem; color: var(--mros-muted); margin: .9rem 0 .3rem; break-after: avoid; }
.mros-details-toc .mros-toc-part:first-child { margin-top: 0; }
.mros-details-toc a:hover, .mros-details-toc a[aria-current="true"] { color: var(--mros-navy); border-left-color: var(--mros-teal); }
@media (max-width: 1023px) { .mros-details-toc ol { columns: 2; column-gap: 1.5rem; } }
@media (max-width: 520px) { .mros-details-toc ol { columns: 1; } }
.mros-details-body { min-width: 0; }
.mros-details-body > section > :is(p, ul, .mros-caveat, .mros-note, .mros-scope, .mros-pull) { max-width: 60rem; }
.mros-details-body > section { padding: 0 0 2rem; scroll-margin-top: calc(var(--mros-header) + 1.5rem); }
.mros-details-body h2 { font-size: 1.65rem; line-height: 1.3; margin: 0 0 1rem; display: flex; gap: .75rem; align-items: baseline; }
.mros-details-body h3 { font-size: 1.2rem; margin: 2rem 0 .75rem; }
.mros-sec-n { color: var(--mros-teal-ink); font-size: 1rem; min-width: 1.5rem; }
.mros-details-body p, .mros-details-body li { line-height: 1.75; }
.mros-details-body p { margin: 0 0 1rem; }
.mros-details-body ul { padding-left: 1.25rem; list-style: disc; margin: 0 0 1rem; }
.mros-details-body li { margin-bottom: .5rem; }
.mros-caveat { padding: .85rem 1.1rem; border-left: 3px solid var(--mros-ochre); background: var(--mros-ochre-tint); border-radius: 0 6px 6px 0; font-size: .98rem; }
.mros-table-wrap { overflow-x: auto; margin: 1.25rem 0 1.5rem; border: 1px solid var(--mros-rule); border-radius: 8px; }
.mros-table { width: 100%; border-collapse: collapse; font-size: .93rem; line-height: 1.55; min-width: 36rem; }
.mros-table th, .mros-table td { text-align: left; vertical-align: top; padding: .7rem .9rem; border-bottom: 1px solid var(--mros-rule); }
.mros-table thead th { background: var(--mros-soft); color: var(--mros-ink); font-weight: 400; font-size: .85rem; letter-spacing: .02em; }
.mros-table tbody th { color: var(--mros-ink); font-weight: 400; }
.mros-table tr:last-child td, .mros-table tr:last-child th { border-bottom: 0; }
.mros-table .num { font-variant-numeric: tabular-nums; white-space: nowrap; }
@media (max-width: 700px) { .mros-table .num { white-space: normal; } }
.mros-details .project-team { margin: 1rem 0 0; }
.mros-details #sources .person-section { padding: 0 0 1rem; }
.mros-details #sources .person-section h2 { font-size: 1.15rem !important; font-weight: 400 !important; }

@media (prefers-reduced-motion: reduce) {
    .mros * { transition: none !important; scroll-behavior: auto !important; }
}
@media (prefers-reduced-motion: no-preference) {
    html:has(.mros) { scroll-behavior: smooth; }
}
@media print {
    .mros-details-toc, .mros-explorer-controls, .mros-video { display: none !important; }
}

/* Figure text classes (also embedded in each SVG for standalone use). */
.mros .af-t { font-family: 'QRS Frutiger', 'Frutiger', 'Segoe UI', Inter, system-ui, sans-serif; fill: #374151; font-weight: 300; }
.mros .af-h { fill: #11182c; font-weight: 400; }
.mros .af-m { fill: #6b7280; }
.mros .af-strong { font-weight: 600; }
.mros .af-x { font-family: 'STIX Two Math', 'Cambria Math', 'Latin Modern Math', 'Times New Roman', serif; font-style: italic; fill: #11182c; }
.mros .af-xr { font-family: 'STIX Two Math', 'Cambria Math', 'Latin Modern Math', 'Times New Roman', serif; fill: #11182c; }
@media (max-width: 520px) { .mros math[display="block"] { font-size: 1em; } .mros-equation { padding: .9rem .8rem; } }
@media (max-width: 1023px) { .mros-hero-figure { max-width: 34rem; } }

/* ---------- Overview: one-page summary ---------- */
.mros-visually-hidden { position: absolute; width: 1px; height: 1px; overflow: hidden; clip-path: inset(50%); white-space: nowrap; }
.mros-card { padding: 1.25rem 1.4rem 1.1rem; border-top: 3px solid; background: var(--mros-soft); border-radius: 0 0 8px 8px; min-width: 0; }
.mros-card-rep { border-color: var(--mros-ochre); }
.mros-card-rel { border-color: var(--mros-teal); }
.mros-card h3 { font-size: 1.3rem; line-height: 1.3; margin: 0 0 .6rem; }
.mros-card p { margin: 0 0 .5rem; line-height: 1.65; }
.mros-card .mros-equation { background: #fff; }
.mros-kicker .mros-tag { margin-left: .5rem; letter-spacing: .08em; }

.mros-stat-note { font-size: .93rem; color: var(--mros-muted); margin: .6rem 0 0; line-height: 1.55; }
.mros-meter { display: grid; grid-template-columns: 6.2rem minmax(0, 1fr) 4.6rem; gap: .75rem; align-items: center; margin: .45rem 0; font-size: .95rem; }
.mros-meter-track { display: block; height: 14px; border-radius: 4px; background: #eef0f3; overflow: hidden; }
.mros-bar { display: block; height: 100%; width: var(--w); min-width: 3px; border-radius: 4px; }
.mros-bar-teal { background: var(--mros-teal); }
.mros-bar-neutral { background: #8b95a3; }
.mros-meter-value { color: var(--mros-ink); font-weight: 600; font-variant-numeric: tabular-nums; text-align: right; }

/* ---------- Bars that grow in when scrolled into view ---------- */
@media (prefers-reduced-motion: no-preference) {
    .mros-anim [data-reveal] :is(.af-bar, .mros-bar) { transform-box: fill-box; transform-origin: 0 50%; transform: scaleX(0); transition: transform .9s cubic-bezier(.2, .7, .2, 1) .1s; }
    .mros-anim [data-reveal] .af-dot { opacity: 0; transition: opacity .5s ease .5s; }
    .mros-anim [data-reveal].is-in :is(.af-bar, .mros-bar) { transform: none; }
    .mros-anim [data-reveal].is-in .af-dot { opacity: 1; }
    .mros-anim [data-reveal="rise"] > * { opacity: 0; transform: translateY(16px); transition: opacity .6s ease, transform .6s cubic-bezier(.2, .7, .2, 1); transition-delay: calc(var(--i, 0) * 130ms); }
    .mros-anim [data-reveal="rise"].is-in > * { opacity: 1; transform: none; }
    .mros-anim [data-flow] svg > * { opacity: 0; transition: opacity .45s ease; transition-delay: calc(var(--i, 0) * 70ms); }
    .mros-anim [data-flow].is-in svg > * { opacity: 1; }
    .mros .af-flow { stroke-dasharray: 6 5; animation: mros-flow .7s linear infinite; }
    @keyframes mros-flow { to { stroke-dashoffset: -22; } }
}
@media print {
    .mros-anim [data-reveal] :is(.af-bar, .mros-bar) { transform: none !important; }
    .mros-anim [data-reveal] .af-dot, .mros-anim [data-reveal="rise"] > * { opacity: 1 !important; }
    .mros-anim [data-reveal="rise"] > * { transform: none !important; }
    .mros-anim [data-flow] svg > * { opacity: 1 !important; }
    .mros-progress { display: none; }
}

.mros-details-body .mros-figure { margin: 2rem 0; }
.mros-details-body .mros-pull { margin-top: 2rem; }

/* ---------- Overview: three cards under the hero ---------- */
.mros-glance { padding: 1.75rem 0 1rem; }
.mros-glance-grid { display: grid; gap: 1.25rem; }
@media (min-width: 900px) { .mros-glance-grid { grid-template-columns: minmax(0, .8fr) minmax(0, 1.2fr); } }
.mros-card .mros-kicker { display: flex; flex-wrap: wrap; align-items: center; gap: .4rem .6rem; }
.mros-card .mros-kicker .mros-tag { margin-left: 0; }
.mros-kicker .mros-status, h2 .mros-status { margin: 0 !important; text-transform: none; letter-spacing: .02em; font-family: 'QRS Frutiger', 'Frutiger', 'Segoe UI', Inter, system-ui, sans-serif; font-weight: 300; }
.mros-card .mros-meter { grid-template-columns: 5.6rem minmax(0, 1fr) 4.4rem; gap: .6rem; }
.mros-foot .person-section { padding: 0; }
.mros-foot .person-section h2 { font-size: .8rem !important; font-family: inherit; font-weight: 400 !important; letter-spacing: .12em; text-transform: uppercase; color: var(--mros-teal-ink); margin-bottom: .4rem !important; }
.mros-foot .publication-title { font-size: 1rem; line-height: 1.4; }
.mros-foot .publication-authors, .mros-foot .person-list-meta { font-size: .88rem; }
.mros-fullname { font-size: clamp(1.15rem, 2vw, 1.45rem); letter-spacing: .01em; color: var(--mros-teal-ink); margin: -.6rem 0 1.1rem; }
.mros-fullname b { font-weight: 600; color: var(--mros-ink); }
.mros-card > h3 { font-size: 1.3rem; margin: 0 0 .75rem; }
.mros-exp-split { display: grid; gap: 1.1rem 1.5rem; }
@media (min-width: 620px) { .mros-exp-split { grid-template-columns: minmax(0, 1.35fr) minmax(0, 1fr); } .mros-exp-split > div + div { border-left: 1px solid var(--mros-rule); padding-left: 1.5rem; } }
.mros-exp-split h4 { font-size: 1rem; margin: 0 0 .6rem; color: var(--mros-ink); display: flex; flex-wrap: wrap; align-items: center; gap: .4rem .6rem; }
.mros-exp-split h4 .mros-status { margin: 0 !important; font-weight: 300; }
.mros-foot { display: grid; gap: 1.5rem 3rem; margin-top: 2.25rem; padding-top: 1.5rem; border-top: 1px solid var(--mros-rule); }
@media (min-width: 900px) { .mros-foot { grid-template-columns: minmax(0, 1.6fr) minmax(0, 1fr); } }
/* Small QR code for the page itself, shown on wide screens only (useful when the page is on a projector). */
.mros-qr { display: none; margin: 0; text-align: center; font-size: .78rem; color: var(--mros-muted); }
.mros-qr img { display: block; width: 104px; height: 104px; margin: 0 auto .35rem; }
@media (min-width: 1024px) { .mros-foot { grid-template-columns: minmax(0, 1.6fr) minmax(0, 1fr) auto; } .mros-qr { display: block; } }
/* "Copy prompt for your AI": the button appears only once the script can copy; the summary link is always there. */
.mros-ai { display: flex; flex-wrap: wrap; align-items: center; gap: .4rem .9rem; margin: -.9rem 0 1.25rem; }
.mros-details-head .mros-ai { margin: .25rem 0 1rem; }
.mros-btn-ai { cursor: pointer; font-size: .92rem; padding: .45rem .95rem; }
.mros-btn-ai.is-copied { border-color: var(--mros-teal); background: var(--mros-teal-tint); color: var(--mros-teal-ink); }
.mros-ai-status { font-size: .88rem; color: var(--mros-teal-ink); min-height: 1.2em; }
.mros-ai-status:empty { display: none; }
.mros-ai-note { flex: 1 1 15rem; margin: 0; font-size: .85rem; line-height: 1.45; color: var(--mros-muted); }
.mros-ai-manual { flex-basis: 100%; width: 100%; min-height: 9rem; font-size: .82rem; padding: .5rem; border: 1px solid #c4cad3; border-radius: 6px; }

/* ---------- Details: reading progress ---------- */
.mros-progress { position: fixed; left: 0; right: 0; top: var(--mros-header); height: 3px; z-index: 30; pointer-events: none; }
.mros-progress span { display: block; height: 100%; background: var(--mros-teal); transform: scaleX(0); transform-origin: 0 50%; }

/* ---------- Details: idea first, evidence second, technical material last ---------- */
.mros-part { font-size: .8rem; letter-spacing: .12em; text-transform: uppercase; color: var(--mros-teal-ink); border-top: 1px solid var(--mros-rule); padding-top: 1.25rem; margin: .5rem 0 1.25rem !important; }
.mros-details-body > .mros-part:first-child { border-top: 0; padding-top: 0; margin-top: 0 !important; }
.mros-details-body h2 { flex-wrap: wrap; }
.mros-details-body h2 :is(.mros-tag, .mros-status) { align-self: center; font-size: .78rem !important; }
.mros-split { display: grid; gap: 1.25rem 1.75rem; margin-bottom: 1rem; }
@media (min-width: 860px) { .mros-split { grid-template-columns: minmax(0, 1.15fr) minmax(0, .85fr); align-items: start; } }
.mros-details-body .mros-figure-sm { max-width: 40rem; }
.mros-details-body .mros-figure figcaption { font-size: .9rem; margin-top: .6rem; }
.mros-details-body ul.mros-points { list-style: none; padding: 0; margin: 1.25rem 0 0; display: grid; gap: 1rem; }
@media (min-width: 760px) { .mros-details-body ul.mros-points { grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 1.5rem; } }
.mros-points li { padding-top: .75rem; border-top: 2px solid var(--mros-teal); line-height: 1.6; font-size: .95rem; margin: 0; }
.mros-points strong { display: block; margin-bottom: .25rem; }
.mros-exp-grid { display: grid; gap: 1rem; margin: 1.25rem 0; }
@media (min-width: 760px) { .mros-exp-grid { grid-template-columns: repeat(3, minmax(0, 1fr)); } }
.mros-exp { border: 1px solid var(--mros-rule); border-top: 3px solid var(--mros-teal); border-radius: 0 0 8px 8px; padding: 1rem 1.1rem .6rem; min-width: 0; }
.mros-details-body .mros-exp h3 { margin: 0 0 .15rem; font-size: 1.15rem; }
.mros-details-body .mros-exp p { font-size: .93rem; line-height: 1.55; margin: 0 0 .5rem; }
.mros-details-body .mros-exp .mros-exp-target { color: var(--mros-muted); font-size: .88rem; }
.mros-meter-wide { grid-template-columns: minmax(0, 1fr) auto; margin: .6rem 0 .75rem; }

/* ---------- Page heads fade under the content as the page scrolls ---------- */
.mros-overview .mros-hero, .mros-details-head { transform-origin: 50% 30%; will-change: opacity, transform; }
.mros-overview .mros-glance, .mros-details-layout { position: relative; z-index: 1; background: #fff; }
@media (min-width: 1024px) and (min-height: 700px) and (prefers-reduced-motion: no-preference) {
    .mros-overview .mros-hero, .mros-details-head { position: sticky; top: calc(var(--mros-header) + 1rem); z-index: 0; }
    /* Set by heroFade() when the head is taller than the window, so none of it is covered. */
    .mros-overview .mros-hero.mros-unpinned, .mros-details-head.mros-unpinned { position: relative; top: auto; }
}

/* ---------- Things pinned under the site navigation bar follow it when it slides away ---------- */
.mros-details-toc, .mros-progress { transition: top .3s ease; }
@media (prefers-reduced-motion: reduce) { .mros-details-toc, .mros-progress { transition: none; } }

/* ---------- Status lists and future directions ---------- */
.mros ul.mros-checks { list-style: none; padding: 0; margin: .75rem 0 0; }
.mros ul.mros-checks li { position: relative; padding-left: 1.5rem; margin: .4rem 0; line-height: 1.5; font-size: .95rem; }
.mros-checks li::before { content: "✓"; position: absolute; left: 0; color: var(--mros-teal-ink); font-weight: 600; }
.mros-checks-open li::before { content: "○"; color: var(--mros-muted); }
.mros-board { display: grid; gap: 1.25rem; margin: 0 0 2rem; }
@media (min-width: 760px) { .mros-board { grid-template-columns: minmax(0, 1.25fr) minmax(0, 1fr); } }
.mros-board > div { border: 1px solid var(--mros-rule); border-radius: 8px; padding: 1rem 1.2rem; background: var(--mros-soft); }
.mros-details-body .mros-board h3 { margin: 0; font-size: 1.1rem; display: flex; flex-wrap: wrap; align-items: center; gap: .4rem .6rem; }
.mros-board h3 .mros-status { margin: 0 !important; font-weight: 300; }
.mros-next { margin-top: 2.25rem; }
.mros-next > h2 { font-size: clamp(1.5rem, 3vw, 2rem); margin: 0 0 1rem; }
.mros ol.mros-next-list { list-style: none; padding: 0; margin: 0 0 1rem; display: grid; gap: 1rem; counter-reset: next; }
@media (min-width: 760px) { .mros ol.mros-next-list { grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 1.5rem; } .mros ol.mros-next-list-2 { grid-template-columns: repeat(2, minmax(0, 1fr)); } }
.mros-next-list li { counter-increment: next; border-left: 3px solid var(--mros-navy); padding: .1rem 0 .1rem 1rem; margin: 0; }
.mros .mros-next-list h3 { font-size: 1.1rem; margin: 0 0 .3rem; }
.mros-next-list h3::before { content: counter(next) "  "; color: var(--mros-teal-ink); }
.mros .mros-next-list p { margin: 0; line-height: 1.55; font-size: .95rem; }
.mros-next > h2 .mros-tag { vertical-align: middle; margin-left: .5rem; font-family: 'QRS Frutiger', 'Frutiger', 'Segoe UI', Inter, system-ui, sans-serif; }
.mros ol.mros-next-list-1 { grid-template-columns: minmax(0, 1fr); gap: 1.25rem; }
.mros .mros-next-list p + p { margin-top: .5rem; }
.mros p.mros-chips { display: flex; flex-wrap: wrap; align-items: center; gap: .35rem .4rem; font-size: .85rem; }
.mros-chips b { min-width: 2.6rem; color: var(--mros-ink); font-weight: 600; }
.mros-chip { border: 1px solid #9fd3d5; background: var(--mros-teal-tint); color: var(--mros-teal-ink); border-radius: 999px; padding: .05rem .6rem; }
.mros-chip-next { border: 1px dashed #9aa3af; background: none; color: var(--mros-muted); }
.mros ol.mros-ladder { list-style: none; padding: 0; margin: .75rem 0 1.25rem; display: grid; gap: 1rem; }
@media (min-width: 760px) { .mros ol.mros-ladder { grid-template-columns: repeat(4, minmax(0, 1fr)); } }
.mros-ladder li { border-top: 3px dashed #b9c0ca; padding-top: .6rem; margin: 0; font-size: .92rem; line-height: 1.5; }
.mros-ladder li.is-done { border-top: 3px solid var(--mros-teal); }
.mros-ladder b { display: block; color: var(--mros-ink); font-weight: 600; font-size: 1rem; }
.mros-ladder-state { display: block; font-size: .72rem; letter-spacing: .1em; text-transform: uppercase; color: var(--mros-muted); margin-bottom: .2rem; }
.mros-ladder .is-done .mros-ladder-state { color: var(--mros-teal-ink); }


/* ---------- Overview hero: the agent's 2025 weights, replayed (built by mathresearchos.js) ---------- */
.mros-live { max-width: 38rem; width: 100%; justify-self: center; }
.mros-live svg { width: 100%; height: auto; display: block; }
.mros-live-head { display: flex; justify-content: space-between; align-items: center; gap: 1rem; margin-bottom: .6rem; min-height: 2.4rem; }
.mros-live-rule { color: var(--mros-ink); font-size: .98rem; line-height: 1.3; font-variant-numeric: tabular-nums; }
.mros-live-head button, .mros-explorer-controls button { border: 1px solid #c4cad3; border-radius: 6px; padding: .35rem .8rem; background: #fff; color: var(--mros-navy); font-size: .9rem; white-space: nowrap; }
.mros-live-head button:hover { border-color: var(--mros-navy); }
.mros-live-stage { border: 1px solid var(--mros-rule); border-radius: 8px; padding: .6rem .5rem .3rem; }

/* ---------- Overview: official results in the Experiments card ---------- */
.mros-stats { width: 100%; border-collapse: collapse; font-size: .93rem; margin: .2rem 0 .3rem; }
.mros-stats th, .mros-stats td { padding: .32rem .4rem; border-bottom: 1px solid var(--mros-rule); text-align: right; font-variant-numeric: tabular-nums; }
.mros-stats th:first-child, .mros-stats td:first-child { text-align: left; padding-left: 0; }
.mros-stats thead th { font-weight: 400; color: var(--mros-muted); font-size: .8rem; }
.mros-stats tbody th { font-weight: 400; color: var(--mros-ink); }
.mros-stats tr:last-child td, .mros-stats tr:last-child th { border-bottom: 0; }
.mros-rank { display: inline-block; min-width: 2.2rem; text-align: center; padding: .05rem .45rem; border-radius: 999px; background: var(--mros-teal-tint); color: var(--mros-teal-ink); font-weight: 600; }
.mros-rank-1 { background: var(--mros-teal); color: #fff; }
.mros-pair { display: grid; grid-template-columns: minmax(0, 1fr) auto; gap: .2rem .75rem; font-size: .93rem; margin: .2rem 0; }
.mros-pair span:nth-child(even) { font-variant-numeric: tabular-nums; color: var(--mros-ink); font-weight: 600; text-align: right; }

/* ---------- Details: bounded-overlay explorer ---------- */
.mros-explorer-controls .mros-seg { display: inline-flex; flex-wrap: wrap; gap: .35rem; }
.mros-explorer-controls button[aria-pressed="true"] { background: var(--mros-navy); color: #fff; border-color: var(--mros-navy); }
.mros-explorer-live svg { width: 100%; height: auto; display: block; }
.mros-explorer-readout { font-variant-numeric: tabular-nums; }
.mros-explorer-readout b { color: var(--mros-ink); font-weight: 600; }
.mros-explorer-readout .is-binding { color: var(--mros-ochre-ink); }

/* ---------- Details: results numbers ---------- */
.mros-big { display: block; font-size: 1.6rem; line-height: 1.2; color: var(--mros-ink); font-weight: 400; font-variant-numeric: tabular-nums; margin: .4rem 0 .2rem; }
.mros-exp-grid-2 { display: grid; gap: 1rem; margin: 1.25rem 0; }
@media (min-width: 760px) { .mros-exp-grid-2 { grid-template-columns: repeat(2, minmax(0, 1fr)); } }
.mros-exp-ochre { border-top-color: var(--mros-ochre); }
.mros-exp-navy { border-top-color: var(--mros-navy); }
.mros-legend { display: flex; flex-wrap: wrap; gap: .3rem 1.1rem; font-size: .88rem; color: var(--mros-muted); margin: .4rem 0 0; padding: 0; list-style: none; }
.mros-legend li { display: inline-flex; align-items: center; gap: .4rem; margin: 0 !important; }
.mros-sw { display: inline-block; width: 12px; height: 12px; }
.mros-sw-main { background: var(--mros-teal); transform: rotate(45deg) scale(.8); }
.mros-sw-control { background: var(--mros-navy); border-radius: 50%; }
.mros-sw-stress { border: 1.6px solid #8b95a3; border-radius: 50%; }
.mros-sw-ref { border: 1.6px solid var(--mros-ochre); }
.mros-hash { font-family: ui-monospace, 'Cascadia Mono', Consolas, monospace; font-size: .82rem; word-break: break-all; }
.mros-details-body dl.mros-dl, dl.mros-dl { display: grid; grid-template-columns: minmax(0, 12rem) minmax(0, 1fr); gap: .45rem 1.25rem; margin: 1rem 0 1.5rem; max-width: 60rem; font-size: .95rem; }
dl.mros-dl dt { color: var(--mros-ink); }
dl.mros-dl dd { margin: 0; }
@media (max-width: 600px) { dl.mros-dl { grid-template-columns: minmax(0, 1fr); gap: .1rem; } dl.mros-dl dd { margin-bottom: .6rem; } }
.mros-scope-line { font-size: .9rem; color: var(--mros-muted); margin: 1rem 0 0; }
.mros-fig-narrow-note { display: none; }
@media (max-width: 700px) { .mros-fig-narrow-note { display: inline; } }
.mros-details-body > section > ol { padding-left: 1.4rem; list-style: decimal; margin: 0 0 1rem; max-width: 60rem; }
.mros-details-body > section > ol li { margin-bottom: .4rem; line-height: 1.65; }
.mros-details-body .mros-exp-grid-2 .mros-exp h3 { margin: 0 0 .15rem; font-size: 1.15rem; }
.mros-details-body .mros-exp-grid-2 .mros-exp p { font-size: .93rem; line-height: 1.55; margin: 0 0 .5rem; }
.mros-details-body .mros-exp-grid-2 .mros-exp .mros-exp-target { color: var(--mros-muted); font-size: .88rem; }
.mros-table caption { caption-side: top; }
.mros-details-body .mros-explorer { max-width: 46rem; }
/* Overview figure: the architecture SVG, animated in place by mathresearchos.js. */
.mros-live .mros-live-static { border: 1px solid var(--mros-rule); border-radius: 8px; padding: .6rem .6rem .4rem; }
.mros-live .hx-tone { transform-box: view-box; }
.mros-icaif-note { font-size: .95rem; line-height: 1.6; margin: 0 0 .5rem; }

/* Hero buttons: two buttons in one row, then plain text links (no boxes). */
.mros-actions.mros-ai { margin: 0 0 .9rem; gap: .6rem .75rem; }
.mros-details-head .mros-actions.mros-ai { margin: .25rem 0 .6rem; }
.mros-links { display: flex; flex-wrap: wrap; gap: .25rem 1.4rem; margin: 0 0 1.6rem; font-size: .95rem; }
.mros-details-head .mros-links { margin-bottom: .9rem; }
.mros-links a { color: var(--mros-navy); text-decoration: underline; text-decoration-color: #b9c3d3; text-underline-offset: 3px; }
.mros-links a:hover { text-decoration-color: var(--mros-navy); }
/* Closing summary on the details page: three plain columns. */
.mros-brief { display: grid; gap: 1.25rem 2.5rem; margin: .5rem 0 1rem; }
@media (min-width: 900px) { .mros-brief { grid-template-columns: repeat(3, minmax(0, 1fr)); } }
.mros-details-body .mros-brief h3 { margin: 0 0 .4rem; font-size: 1.05rem; }
.mros-details-body .mros-brief p { margin: 0; font-size: .97rem; line-height: 1.65; }

/* ---------- Usage guide: code blocks, steps, FAQ, jump list ---------- */
.mros-code { position: relative; margin: 1rem 0; padding: .85rem 4.6rem .85rem 1rem; background: var(--mros-code-bg); color: var(--mros-code-ink); border-radius: 8px; overflow-x: auto; font: .86rem/1.55 ui-monospace, SFMono-Regular, Menlo, Consolas, monospace; tab-size: 4; max-width: 100%; }
.mros-code code { font: inherit; color: inherit; background: none; padding: 0; white-space: pre; }
.mros-code-sm { font-size: .8rem; }
.mros-code .mros-out { color: #9fb0c8; }
.mros-code-copy { position: absolute; top: .45rem; right: .5rem; padding: .15rem .55rem; font: 600 .72rem/1.4 system-ui, sans-serif; color: var(--mros-code-ink); background: rgba(255, 255, 255, .1); border: 1px solid rgba(255, 255, 255, .25); border-radius: 5px; cursor: pointer; }
.mros-code-copy:hover { background: rgba(255, 255, 255, .2); }
.mros :where(p, li, dd, td) > code { font: .88em ui-monospace, SFMono-Regular, Menlo, Consolas, monospace; background: var(--mros-soft); border: 1px solid var(--mros-rule); border-radius: 4px; padding: .05em .32em; color: var(--mros-ink); overflow-wrap: anywhere; }
.mros-steps { margin: 1rem 0; padding-left: 1.4rem; display: grid; gap: .8rem; }
.mros-steps > li::marker { color: var(--mros-teal-ink); font-weight: 700; }
.mros-steps .mros-code { margin: .6rem 0 0; }
.mros-faq dt { font-weight: 600; color: var(--mros-ink); margin-top: 1.1rem; }
.mros-faq dd { margin: .3rem 0 0; }
.mros-faq .mros-code { margin: .6rem 0 0; }
.mros-pick-h { font-size: 1.1rem; margin: 0 0 .6rem; }
.mros-pick-list { list-style: none; padding: 0; margin: 0; display: grid; grid-template-columns: repeat(auto-fit, minmax(15rem, 1fr)); gap: .6rem; }
.mros-pick-list li { border: 1px solid var(--mros-rule); border-radius: 8px; padding: .6rem .8rem; background: #fff; }
.mros-pick-list a { font-weight: 600; text-decoration: none; color: var(--mros-navy); display: block; }
.mros-pick-list a:hover { color: var(--mros-teal-ink); text-decoration: underline; }
.mros-pick-list span { display: block; font-size: .85rem; color: var(--mros-muted); }
.mros-glance-grid .mros-code { margin: .7rem 0; }
@media (max-width: 640px) { .mros-code { padding-right: 1rem; padding-top: 2rem; } }
.mros-list { margin: .75rem 0 1rem 1.2rem; padding: 0; list-style: disc; display: grid; gap: .45rem; }
.mros-list li::marker { color: var(--mros-teal); }
.mros-steps { grid-template-columns: minmax(0, 1fr); }
.mros-steps > li, .mros-faq dd, .mros-list li { min-width: 0; }