:root {
  color-scheme: light;
  --cardinal: #8c1515;
  --cardinal-dark: #641010;
  --ink: #262626;
  --muted: #656565;
  --paper: #fff;
  --wash: #f7f7f5;
  --soft-red: #faf3f2;
  --page-tint: #f5efee;
  --cardinal-wash: #fbf3f2;
  --line: #e1e1dc;
  --green: #176b5b;
  --blue: #006cb8;
  --purple: #620059;
  --gold: #8a4f00;
  --sans: -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif;
  --mono: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; scroll-padding-top: 2rem; -webkit-text-size-adjust: 100%; text-size-adjust: 100%; }
body { min-width: 320px; margin: 0; color: var(--ink); background: var(--page-tint); font-family: var(--sans); font-size: 16px; line-height: 1.7; -webkit-font-smoothing: antialiased; }
img, svg, video, canvas { max-width: 100%; height: auto; }
a { color: var(--cardinal); text-decoration-thickness: 1px; text-underline-offset: 0.22em; }
a:hover { color: var(--cardinal-dark); }
a, button, input, select { touch-action: manipulation; }
button, input, select { font: inherit; }
a:focus-visible, button:focus-visible, input:focus-visible, select:focus-visible, summary:focus-visible, [tabindex="0"]:focus-visible { outline: 2px solid var(--blue); outline-offset: 4px; }
.skip-link { position: absolute; left: -9999px; top: 0; z-index: 20; padding: 0.7rem 1rem; background: var(--paper); color: var(--ink); }
.skip-link:focus { left: 1rem; top: 1rem; }
h1, h2, h3, h4, p { overflow-wrap: break-word; }
h1, h2, h3, h4 { color: var(--ink); }
h2, h3, h4 { font-weight: 600; }
h3 { line-height: 1.4; }
p { margin: 0 0 1rem; text-align: justify; }

/* A shared, quiet masthead across the research pages. */
.site-header { border-top: 4px solid var(--cardinal); background: linear-gradient(180deg, #fff 0%, var(--cardinal-wash) 100%); }
.nav-wrap { max-width: 1168px; margin: auto; min-height: 72px; padding: 0 24px; display: flex; align-items: center; justify-content: space-between; gap: 1.5rem; border-bottom: 1px solid var(--line); }
.brand { color: var(--ink); text-decoration: none; font-size: 1.1rem; font-weight: 750; letter-spacing: -0.045em; }
.brand-dot { color: var(--cardinal); }
.brand { display: inline-flex; align-items: center; gap: 0.35rem; flex-shrink: 0; }
.brand-icon { display: block; width: 44px; height: 44px; object-fit: contain; }
.brand-four { color: #4144ef; }
/* Frame the supplied wordmark's whitespace without altering the original image. */
.hero-wordmark { position: relative; width: min(360px, 100%); aspect-ratio: 1494 / 362; overflow: hidden; margin-bottom: 1.5rem; mix-blend-mode: multiply; }
.hero-wordmark img { position: absolute; width: 118.7416%; max-width: none; height: auto; left: -9.5047%; top: -74.5856%; }
.nav-links { display: flex; flex-wrap: wrap; gap: 1.8rem; align-items: center; }
.nav-links a { display: inline-flex; align-items: center; min-height: 44px; color: var(--muted); font-size: 0.85rem; text-decoration: none; }
.nav-links a:hover, .nav-links a[aria-current="page"] { color: var(--ink); }
.nav-links a[aria-current="page"] { text-decoration: underline; text-decoration-color: var(--cardinal); text-decoration-thickness: 2px; text-underline-offset: 0.7em; }
.hero { padding: 3rem 24px 2.75rem; }
.hero-inner { max-width: 1120px; margin: auto; }
.manuscript-meta { display: flex; justify-content: space-between; align-items: baseline; gap: 1rem; margin-bottom: 1.6rem; }
.eyebrow, .resource-label { margin: 0 0 0.65rem; color: var(--cardinal); font-size: 0.72rem; font-weight: 600; letter-spacing: 0.09em; text-transform: uppercase; }
.manuscript-meta .eyebrow { margin: 0; }
.manuscript-meta time { color: var(--muted); font-size: 0.78rem; white-space: nowrap; }
.hero h1 { max-width: 920px; margin: 0; font-size: clamp(2.4rem, 4.4vw, 3.75rem); font-weight: 650; line-height: 1.08; letter-spacing: -0.045em; text-wrap: balance; }
.home-page .hero h1 { max-width: none; }
.home-page .nav-wrap { min-height: 64px; }
.home-page .hero { padding-block: 1.75rem 1.5rem; }
.home-page .manuscript-meta { margin-bottom: 1.1rem; }
.home-page .byline { margin-top: 1.1rem; }
.home-page .hero-actions { margin-top: 1.1rem; }
.hero .dek { max-width: 800px; margin: 1.2rem 0 0; color: #555; font-size: 1.35rem; line-height: 1.6; text-wrap: pretty; }
.hero .dek strong { color: var(--cardinal); font-weight: 600; }
.byline { margin-top: 1.8rem; }
.author-line { display: flex; flex-wrap: wrap; gap: 0.25rem 1.2rem; margin: 0; font-size: 0.92rem; }
.author-line sup { margin-left: 0.12em; color: var(--cardinal); font-size: 0.7em; }
.author-note { margin: 0.35rem 0 0; color: var(--muted); font-size: 0.73rem; }
.hero-actions { display: flex; align-items: center; flex-wrap: wrap; gap: 0.75rem; margin-top: 1.4rem; }
.button { display: inline-flex; max-width: 100%; gap: 0.8rem; align-items: center; justify-content: center; min-height: 42px; padding: 0.5rem 1rem; border: 1px solid var(--ink); border-radius: 4px; background: var(--ink); color: #fff; font-size: 0.82rem; font-weight: 500; text-align: center; text-decoration: none; cursor: pointer; transition: background-color 150ms, border-color 150ms; }
.button:hover { background: #444; border-color: #444; color: #fff; }
.button.light, .button.ghost { background: var(--paper); border-color: #cdcdc7; color: var(--ink); }
.button.light:hover, .button.ghost:hover { background: var(--wash); border-color: #91918c; }
.button.small { min-height: 36px; padding: 0.4rem 0.7rem; font-size: 0.76rem; }
.button:disabled { cursor: default; opacity: 0.55; }
.text-link { display: inline-flex; align-items: center; min-height: 44px; gap: 0.5rem; margin: 0 0.45rem; color: var(--ink); font-size: 0.82rem; text-decoration: none; }
.text-link:hover { text-decoration: underline; }
.publication-note { margin-left: 0.35rem; color: var(--muted); font-size: 0.76rem; }

/* Text and figures share a consistent reading grid. */
.page-shell { max-width: 1168px; margin: 0 auto; padding: 0 24px; background: var(--paper); }
.content { padding: 0 0 4rem; }
.content.narrow { max-width: 860px; margin: auto; }
.home-layout { padding-top: 0.5rem; }
.section-rail { display: flex; align-items: center; justify-content: space-between; flex-wrap: wrap; gap: 0 1.25rem; margin-bottom: 1.5rem; padding: 0.5rem 0; border-bottom: 1px solid var(--line); }
.section-rail p { margin: 0; color: var(--muted); font-size: 0.68rem; font-weight: 600; letter-spacing: 0.07em; text-transform: uppercase; }
.section-rail a { display: flex; align-items: baseline; gap: 0.6rem; min-height: 40px; padding: 0.5rem 0; color: var(--muted); font-size: 0.78rem; line-height: 1.5; text-decoration: none; }
.section-rail a span { color: #8a8a85; font: 0.65rem var(--mono); }
.section-rail a:hover, .section-rail a[aria-current="location"] { color: var(--cardinal); }
.section { margin-top: 3rem; scroll-margin-top: 2rem; }
.section:first-child { margin-top: 0; }
.section-head { display: flex; align-items: baseline; justify-content: space-between; gap: 1.5rem; margin-bottom: 1.15rem; }
.section-head h2, .section h2 { margin: 0; font-size: clamp(1.4rem, 2.3vw, 1.8rem); line-height: 1.3; letter-spacing: -0.025em; text-wrap: pretty; }
.section-head p { max-width: 480px; margin: 0; color: var(--muted); font-size: 0.85rem; }
.section-head .eyebrow { margin-bottom: 0.55rem; color: var(--cardinal); font-size: 0.67rem; }
.section-head > a { flex-shrink: 0; font-size: 0.82rem; }
.section-number { margin-right: 0.55rem; color: var(--cardinal); font: 500 0.75rem var(--mono); vertical-align: 0.15em; letter-spacing: 0; }
.home-page { font-size: 17px; }
.home-page .content { padding-bottom: 2rem; line-height: 1.65; }
.home-page .section + .section { margin-top: 1.75rem; padding-top: 1.5rem; border-top: 2px solid #a6a29c; }
.home-page .section-head { margin-bottom: 0.85rem; }
.home-page .section-head h2 { font-size: clamp(1.25rem, 1.8vw, 1.4rem); }
.home-page .section-number { font-size: 0.9em; vertical-align: baseline; }
.home-page .section-rail p { font-size: 0.75rem; }
.home-page .section-rail a { font-size: 0.85rem; }
.home-page .section-rail a span { font-size: 0.8rem; }
.home-page .metric-grid { padding: 1.1rem 1.25rem; background: linear-gradient(110deg, #fcf7f6 0%, #f5e8e6 100%); }
.home-page .research-links { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 2rem; }
.home-page .research-links > a { align-items: flex-start; padding-block: 1rem; border-bottom: 0; }
.research-intro > p { max-width: none; }
.miplib-intro { margin-bottom: 0.75rem; }
.miplib-gallery { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); margin: 0 0 1.1rem; overflow: hidden; border: 1px solid var(--line); border-radius: 3px; background: var(--wash); }
.miplib-figure { display: flex; min-width: 0; margin: 0; flex-direction: column; border-left: 1px solid var(--line); }
.miplib-figure:first-child { border-left: 0; }
.miplib-figure > a { position: relative; display: block; height: 20rem; overflow: hidden; background: var(--paper); }
.miplib-figure img { position: absolute; inset: 0; display: block; width: 100%; height: 100%; max-width: none; max-height: none; object-fit: contain; }
.miplib-figure figcaption { flex: 1; padding: 0.8rem 0.9rem; border-top: 1px solid var(--line); background: var(--wash); color: var(--muted); font-size: 0.82rem; line-height: 1.55; }
.miplib-figure figcaption strong { color: var(--ink); font-weight: 600; }
.miplib-figure figcaption a { white-space: nowrap; }
.research-takeaway { margin: 1.2rem 0 0; padding: 1rem 1.4rem; border-left: 3px solid var(--cardinal); background: var(--soft-red); }
.research-takeaway .finding-label { margin: 0 0 0.55rem; color: var(--cardinal); font-size: 0.85rem; font-weight: 650; letter-spacing: 0.06em; text-transform: uppercase; }
.research-takeaway .finding-statement { margin: 0 0 0.55rem; color: var(--cardinal-dark); font-size: clamp(1.2rem, 2vw, 1.45rem); line-height: 1.45; }
.research-takeaway .finding-statement:last-child { margin-bottom: 0; }
.research-takeaway strong { font-weight: 650; }
.research-takeaway .finding-note { margin: 0; color: #555; font-size: 1rem; }
.lede { max-width: 860px; font-size: 1.08rem; }
.note, .figure-caption { color: var(--muted); font-size: 0.8rem; line-height: 1.65; }
.figure-caption { margin-top: 1rem; }
.figure-caption span { color: var(--ink); font-weight: 600; }
.mono { font-family: var(--mono); overflow-wrap: anywhere; }
.nav-wrap > *, .hero-inner, .content, .section, .section-head > *, .metric-grid > *, .page-grid > *, .workflow > *, .download-grid > *, .controls > *, .verdict > *, .division > *, .footer-inner > *, .skill-downloads > *, .skill-objective-grid > * { min-width: 0; }

/* Headline results are a single strip, with no decorative cards. */
.metric-grid { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); border-top: 1px solid #a6a6a0; border-bottom: 1px solid var(--line); padding: 1.8rem 0; }
.metric { padding: 0 1.4rem; border-left: 1px solid var(--line); }
.metric:first-child { padding-left: 0; border-left: 0; }
.metric:last-child { padding-right: 0; }
.metric strong { display: block; font-size: 2.6rem; font-weight: 500; line-height: 1.1; letter-spacing: -0.055em; font-variant-numeric: tabular-nums; }
.metric:nth-child(2) strong { color: var(--cardinal); }
.metric span { display: block; margin-top: 0.65rem; font-size: 0.79rem; font-weight: 600; }
.metric small { display: block; margin-top: 0.35rem; color: var(--muted); font-size: 0.72rem; line-height: 1.55; }

/* Figures and their controls retain the existing data interactions. */
.panel { padding: 1.15rem 1.4rem; border: 1px solid var(--line); border-radius: 3px; background: var(--paper); }
.tabs { display: flex; flex-wrap: wrap; gap: 0 1.3rem; margin-bottom: 1.25rem; border-bottom: 1px solid var(--line); }
.tabs button { min-height: 44px; margin-bottom: -1px; padding: 0.55rem 0 0.75rem; border: 0; border-bottom: 2px solid transparent; border-radius: 0; background: transparent; color: var(--muted); font-size: 0.79rem; font-weight: 500; text-align: left; cursor: pointer; }
.tabs button:hover { color: var(--ink); }
.tabs button[aria-pressed="true"] { border-bottom-color: var(--cardinal); color: var(--cardinal); }
.tabs.focused-tabs { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 1rem; }
.chart-title, #focused-title { margin: 0; font-size: 1.02rem; font-weight: 600; line-height: 1.5; }
.chart-note { max-width: 820px; margin: 0.4rem 0 1.1rem; color: var(--muted); font-size: 0.8rem; line-height: 1.6; }
.stack { display: flex; width: 100%; min-height: 46px; overflow: hidden; background: var(--line); }
.stack-segment { display: grid; place-items: center; min-width: 4px; padding: 0.3rem; color: #fff; font-weight: 600; font-size: 0.83rem; text-align: center; }
.legend { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 0.7rem 1.2rem; margin-top: 1rem; }
.legend.legend-4 { grid-template-columns: repeat(2, minmax(0, 1fr)); }
.legend.legend-6 { grid-template-columns: repeat(3, minmax(0, 1fr)); }
.legend + .note { margin-top: 1rem; }
.legend-item { display: grid; grid-template-columns: 8px minmax(0, 1fr) auto; align-items: start; gap: 0.5rem; color: var(--muted); font-size: 0.76rem; line-height: 1.5; }
.swatch { width: 8px; height: 8px; margin-top: 0.4em; border-radius: 1px; }
.legend-item strong { color: var(--ink); font-weight: 600; font-variant-numeric: tabular-nums; }
.bar-list { display: grid; gap: 0.9rem; }
.bar-row { display: grid; grid-template-columns: minmax(150px, 1.15fr) minmax(170px, 3fr) 45px; gap: 0.8rem; align-items: center; }
.bar-label { font-size: 0.8rem; }
.bar-track { height: 22px; background: #edede9; overflow: hidden; }
.bar-fill { height: 100%; background: var(--cardinal); }
.bar-value { text-align: right; font-size: 0.85rem; font-variant-numeric: tabular-nums; }
.data-list { margin-top: 1.25rem; width: 100%; border-collapse: collapse; font-size: 0.78rem; }
.data-list th, .data-list td { padding: 0.6rem 0.45rem; border-top: 1px solid var(--line); text-align: left; vertical-align: top; }
.data-list thead th { color: var(--muted); font-size: 0.68rem; font-weight: 500; }
.data-list tbody th { font-weight: 500; }
.data-list td:nth-child(2) { font-variant-numeric: tabular-nums; }
.data-list.has-explanations { table-layout: fixed; }
.data-list.has-explanations th, .data-list.has-explanations td { overflow-wrap: anywhere; }
.data-list.has-explanations th:first-child { width: 32%; }
.data-list.has-explanations th:nth-child(2) { width: 3.7rem; }
.data-list.has-explanations td:nth-child(2), .data-list.has-explanations th:nth-child(2) { text-align: center; }
.measure-explanation { color: var(--muted); }
.skill-objective-grid { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 1.5rem; }
.skill-objective-grid h4 { margin: 0 0 0.8rem; font-size: 0.84rem; line-height: 1.5; }
.overview-skill-legend { display: flex; flex-wrap: wrap; gap: 0.3rem 1rem; }
.overview-skill-legend > span { display: inline-flex; align-items: baseline; gap: 0.4rem; }
.overview-skill-legend .swatch { flex: 0 0 auto; }

/* Resource links and methods are presented with simple rules. */
.skill-downloads { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 2rem; margin: 1.8rem 0 0; }
.skill-downloads article { padding-top: 1.2rem; border-top: 1px solid #b8b8b1; }
.skill-downloads h3 { margin: 0 0 0.65rem; font-size: 1.08rem; }
.skill-downloads p:not(.resource-label) { color: var(--muted); font-size: 0.88rem; }
.skill-downloads a { display: inline-flex; gap: 1rem; align-items: center; min-height: 44px; font-size: 0.82rem; text-decoration: none; }
.skill-downloads a:hover { text-decoration: underline; }
.section-link { margin: 1rem 0 0; font-size: 0.84rem; }
.research-links { border-top: 1px solid var(--line); }
.research-links > a { display: flex; justify-content: space-between; align-items: center; gap: 2rem; padding: 1.4rem 0; border-bottom: 1px solid var(--line); color: var(--ink); text-decoration: none; }
.research-links strong { display: block; font-size: 1rem; font-weight: 600; }
.research-links small { display: block; max-width: 600px; margin-top: 0.35rem; color: var(--muted); font-size: 0.85rem; }
.research-links > a:hover strong, .link-arrow { color: var(--cardinal); }
.link-arrow { display: inline; margin-left: 0.25rem; font-size: 1.05em; }
.bibtex-block { max-width: 100%; margin: 0; padding: 1.15rem 1.5rem; overflow-x: auto; border: 1px solid var(--line); background: var(--wash); color: #52524d; font: 0.74rem/1.8 var(--mono); white-space: pre-wrap; overflow-wrap: anywhere; tab-size: 2; }
.bibtex-block code { font: inherit; }

/* Readable homepage copy with a single flow for narrative and resources. */
.home-page .metric span { font-size: 0.875rem; }
.home-page .metric small { font-size: 0.78rem; }
.home-page .chart-title { font-size: 1.125rem; }
.home-page .chart-note, .home-page .note, .home-page .figure-caption { font-size: 0.875rem; }
.home-page .tabs button, .home-page .legend-item { font-size: 0.85rem; }
.home-page .data-list { font-size: 0.875rem; }
.home-page .data-list thead th { font-size: 0.78rem; }
.home-page .skill-objective-grid h4 { font-size: 0.95rem; }
.home-page .skill-downloads { grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 2rem; margin-top: 1.25rem; }
.home-page .skill-downloads article { padding-top: 1rem; }
.home-page .resource-label { font-size: 0.8rem; }
.home-page .skill-downloads h3 { font-size: 1.15rem; }
.home-page .skill-downloads p:not(.resource-label) { margin-bottom: 0.6rem; font-size: 1rem; }
.home-page .skill-downloads a, .home-page .section-link { font-size: 0.95rem; }
.home-page .research-links strong { font-size: 1.08rem; }
.home-page .research-links small { max-width: none; font-size: 0.95rem; }
.home-page .research-links .resource-label { display: block; margin-bottom: 0.45rem; }
.home-page .research-links .resource-action { display: block; margin-top: 0.65rem; color: var(--cardinal); font-size: 0.95rem; }
.home-page .bibtex-block { font-size: 0.8rem; white-space: pre; overflow-wrap: normal; }

/* Detail pages use the same typography with more room for data. */
.detail-page .hero { padding-bottom: 2.5rem; }
.detail-page .hero h1 { max-width: 880px; font-size: clamp(2.35rem, 4.2vw, 3.5rem); }
.detail-page .hero .dek { max-width: 840px; font-size: 1.05rem; }
.detail-page .content { padding-top: 2.25rem; border-top: 1px solid var(--line); }
.detail-page .section > p { max-width: 880px; }
.skill-focus-list { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 2rem; margin: 0; padding: 0; list-style: none; counter-reset: skill-focus; }
.skill-focus-list li { padding-top: 1rem; border-top: 1px solid var(--line); color: var(--muted); font-size: 0.9rem; counter-increment: skill-focus; }
.skill-focus-list li::before { content: "0" counter(skill-focus); color: var(--cardinal); font: 0.72rem var(--mono); }
.skill-focus-list strong { display: block; margin: 0.8rem 0 0.5rem; color: var(--ink); font-size: 1rem; font-weight: 600; }
.download-grid, .page-grid { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 2rem; }
.download-grid > :only-child { grid-column: 1 / -1; }
.download-card, .page-card { padding: 1rem 0; border-top: 1px solid var(--line); }
.download-card h3, .page-card h3 { margin: 0 0 0.6rem; font-size: 1.05rem; }
.download-card p, .page-card p { color: var(--muted); font-size: 0.9rem; }
.download-meta { display: block; margin-top: 0.6rem; color: var(--muted); font: 0.7rem/1.6 var(--mono); overflow-wrap: anywhere; }
.callout { margin: 1.3rem 0; padding: 0.35rem 0 0.35rem 1.2rem; border-left: 2px solid var(--cardinal); }
.callout.green { border-left-color: var(--green); }
.callout.blue { border-left-color: var(--blue); }
.callout p { margin: 0.25rem 0; }
.workflow { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 1.5rem; counter-reset: workflow; }
.workflow article { padding-top: 1rem; border-top: 1px solid var(--line); }
.workflow article::before { counter-increment: workflow; content: "0" counter(workflow); color: var(--cardinal); font: 0.75rem var(--mono); }
.workflow h3 { margin: 0.75rem 0 0.5rem; font-size: 1rem; }
.workflow p { color: var(--muted); font-size: 0.85rem; }
.verdict-copy { max-width: 880px; }
.verdict-copy h2 { margin-bottom: 1.2rem; }
.division { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 2rem; }
.division article { padding-top: 1.1rem; border-top: 1px solid var(--line); }
.division h3 { margin: 0.25rem 0 0.65rem; font-size: 1.05rem; }
.division p:not(.eyebrow) { color: var(--muted); font-size: 0.88rem; }
details { padding: 0.7rem 0; border-top: 1px solid var(--line); }
summary { cursor: pointer; font-weight: 600; }
details > div { padding: 0.8rem 0 0; color: var(--muted); }
#results > .panel + .section-head { margin-top: 2.25rem; }

/* Keep wide results tables scrollable without widening the page. */
.controls { display: grid; grid-template-columns: minmax(220px, 1fr) minmax(180px, 0.48fr); gap: 1rem; margin: 1.15rem 0 0.85rem; }
.field label { display: block; margin-bottom: 0.5rem; color: var(--muted); font-size: 0.78rem; }
.field input, .field select { width: 100%; min-height: 44px; border: 1px solid #bfbfb9; border-radius: 3px; padding: 0.55rem 0.75rem; background: var(--paper); color: var(--ink); font-size: 0.9rem; }
.field input::placeholder { color: #767671; }
.result-count { margin: 0.75rem 0; color: var(--muted); font-size: 0.78rem; }
.table-wrap { width: 100%; max-width: 100%; overflow-x: auto; overscroll-behavior-x: contain; border-top: 1px solid #aaa; border-bottom: 1px solid var(--line); -webkit-overflow-scrolling: touch; }
.results-table { width: 100%; min-width: 900px; border-collapse: collapse; font-size: 0.78rem; line-height: 1.55; }
.results-table th { position: sticky; top: 0; z-index: 1; padding: 0.7rem 0.75rem; background: #f2f2ef; color: #565651; text-align: left; font-size: 0.71rem; font-weight: 600; }
.results-table td { padding: 0.75rem 0.75rem; border-top: 1px solid var(--line); vertical-align: top; }
.results-table tbody tr:nth-child(even) { background: #fbfbfa; }
.results-table tbody tr:hover { background: #f5f5f1; }
.results-table .instance-name { font: 500 0.77rem/1.5 var(--mono); overflow-wrap: anywhere; }
.results-table .measure-cell { min-width: 10.5rem; }
.measure-value { display: block; font: 500 0.78rem/1.5 var(--mono); font-variant-numeric: tabular-nums; overflow-wrap: anywhere; }
.measure-note { display: block; margin-top: 0.3rem; color: var(--muted); font-size: 0.7rem; line-height: 1.5; }
.results-table .finding { min-width: 240px; max-width: 420px; line-height: 1.55; overflow-wrap: anywhere; }
.results-table .finding > div + div { margin-top: 0.55rem; padding-top: 0.55rem; border-top: 1px solid var(--line); }
.results-table .finding strong { display: block; margin-bottom: 0.25rem; font-weight: 600; }
.results-table .finding > small { display: block; margin-bottom: 0.6rem; color: var(--muted); line-height: 1.5; }
.result-links { display: flex; flex-wrap: wrap; gap: 0.4rem; min-width: 170px; }
.result-links a { white-space: nowrap; }
.scroll-hint { display: block; margin: 0 0 0.6rem; color: var(--muted); font-size: 0.75rem; }
.badge { display: inline-block; padding: 0.25rem 0.4rem; border-radius: 3px; background: #eee; color: #444; font-size: 0.66rem; font-weight: 500; line-height: 1.4; }
.badge.concluded { background: #e7f0ed; color: #205649; }
.badge.verified-open { background: #edf2f6; color: #31566f; }
.badge.pending, .badge.numeric-optimal { background: #f7efde; color: #735321; }
.badge.no-feasible { background: #f5e7e5; color: #822f28; }
.status-strip { display: flex; min-height: 48px; margin: 1.15rem 0; overflow: hidden; }
.status-strip div, .status-strip button { display: grid; place-items: center; min-width: 18px; border: 0; color: #fff; font-size: 0.75rem; font-weight: 500; text-align: center; padding: 0.3rem; cursor: pointer; }
.status-strip button:hover { filter: brightness(1.12); }
.status-strip button[aria-pressed="true"] { box-shadow: inset 0 0 0 2px var(--ink), inset 0 0 0 4px #fff; }
.status-strip button:focus-visible { outline: 2px solid #fff; outline-offset: -4px; }
.noscript { padding: 1rem; background: var(--wash); border: 1px solid var(--line); }

.footer { padding: 0 24px; background: var(--cardinal-dark); color: #f5e8e6; }
.footer-inner { max-width: 1120px; margin: auto; padding: 1.25rem 0 1.75rem; display: flex; justify-content: space-between; align-items: baseline; gap: 1.5rem; border-top: 0; color: #ead5d2; font-size: 0.75rem; }
.footer a { color: #fff; text-decoration: none; }
.footer a:hover { color: #fff; text-decoration: underline; }
.footer-description { margin-left: 1rem; color: #dbc0bd; }

@media (max-width: 1000px) {
  .section-rail a { font-size: 0.72rem; }
  .legend, .legend.legend-6 { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .metric { padding: 0 1rem; }
  .metric span { font-size: 0.75rem; }
  .tabs.focused-tabs { grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 0 1.25rem; }
}

@media (max-width: 760px) {
  .nav-wrap { min-height: 64px; }
  .hero { padding-top: 2.25rem; }
  .home-page .hero { padding-block: 1.5rem; }
  .manuscript-meta { flex-wrap: wrap; gap: 0.35rem; }
  .hero h1 { font-size: clamp(2.3rem, 6.2vw, 3.35rem); }
  .hero .dek { font-size: 1.18rem; }
  .metric-grid { grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 1.6rem 0; }
  .metric:nth-child(3) { padding-left: 0; border-left: 0; }
  .metric:nth-child(2) { padding-right: 0; }
  .metric strong { font-size: 2.4rem; }
  .section-rail { justify-content: flex-start; }
  .section-rail p { width: 100%; margin-bottom: 0.25rem; }
  .section-rail a { min-height: 40px; align-items: center; font-size: 0.75rem; }
  .section { margin-top: 2.5rem; }
  .home-page .section + .section { margin-top: 1.65rem; padding-top: 1.35rem; }
  .home-page .content { padding-bottom: 2rem; }
  .home-page .section-rail { margin-bottom: 1.25rem; padding-bottom: 0.5rem; }
  .section-head { flex-direction: column; align-items: flex-start; gap: 0.7rem; }
  .section-head h2, .section h2 { font-size: 1.5rem; }
  .miplib-gallery { grid-template-columns: repeat(2, minmax(18rem, 1fr)); overflow-x: auto; overflow-y: hidden; overscroll-behavior-x: contain; scroll-snap-type: x mandatory; -webkit-overflow-scrolling: touch; }
  .miplib-gallery .miplib-figure { scroll-snap-align: start; }
  .miplib-figure > a { height: 15rem; }
  .skill-focus-list, .division { grid-template-columns: 1fr; gap: 1.3rem; }
  .workflow { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .controls { grid-template-columns: 1fr; }
  .skill-objective-grid { grid-template-columns: 1fr; }
  .footer-inner { flex-wrap: wrap; gap: 0.5rem; }
  .footer-description { display: block; margin-left: 0; }
}

@media (max-width: 480px) {
  body { font-size: 15px; }
  .home-page { font-size: 16px; }
  .nav-wrap { padding: 0 20px; flex-wrap: wrap; column-gap: 1rem; row-gap: 0; min-height: 84px; align-content: center; }
  .brand { width: 100%; font-size: 1rem; }
  .home-page .nav-wrap { min-height: 80px; }
  .home-page .metric-grid { padding: 1rem; gap: 1.25rem 0; }
  .home-page .skill-downloads, .home-page .research-links { grid-template-columns: 1fr; gap: 0.6rem; }
  .research-takeaway { padding: 1rem; }
  .research-takeaway .finding-note { font-size: 0.95rem; }
  .nav-links { gap: 1.4rem; }
  .nav-links a { min-height: 38px; font-size: 0.75rem; }
  .nav-links a[aria-current="page"] { text-underline-offset: 0.5em; }
  .hero { padding: 2rem 20px 2rem; }
  .detail-page .hero { padding-bottom: 2rem; }
  .eyebrow { font-size: 0.65rem; }
  .manuscript-meta { margin-bottom: 1.3rem; }
  .manuscript-meta time { font-size: 0.7rem; }
  .hero h1 { font-size: clamp(2.1rem, 8.5vw, 2.55rem); line-height: 1.12; }
  .hero .dek { margin-top: 1.2rem; font-size: 1.12rem; }
  .author-line { gap: 0.3rem 0.9rem; font-size: 0.82rem; }
  .publication-note { flex-basis: 100%; margin: 0.25rem 0 0; }
  .hero-actions { gap: 0.6rem; }
  .button { padding: 0.5rem 0.8rem; min-height: 44px; }
  .text-link { margin: 0; }
  .page-shell { padding: 0 20px; }
  .content { padding-bottom: 2.5rem; }
  .metric-grid { padding: 1.5rem 0; }
  .metric { padding: 0 0.85rem; }
  .metric small { font-size: 0.7rem; }
  .section-head h2, .section h2 { font-size: 1.35rem; }
  .section-number { margin-right: 0.35rem; font-size: 0.66rem; }
  .panel { padding: 1rem; }
  .tabs { gap: 0 1rem; }
  .tabs button { font-size: 0.73rem; }
  .tabs.focused-tabs { gap: 0 1rem; }
  .legend, .legend.legend-4, .legend.legend-6 { grid-template-columns: 1fr; gap: 0.65rem; }
  .bar-row { grid-template-columns: 1fr 45px; gap: 0.35rem; }
  .bar-track { grid-column: 1 / -1; grid-row: 2; }
  .bar-value { grid-column: 2; grid-row: 1; }
  .data-list { font-size: 0.72rem; }
  .data-list th, .data-list td { padding: 0.55rem 0.3rem; }
  .data-list.has-explanations th:first-child { width: 32%; }
  .data-list.has-explanations th:nth-child(2) { width: 2.6rem; }
  .home-page .data-list.has-explanations th:nth-child(2) { width: 3.2rem; white-space: nowrap; }
  .skill-downloads, .download-grid, .page-grid, .workflow { grid-template-columns: 1fr; gap: 1.4rem; }
  .skill-downloads a { min-height: 44px; }
  .bibtex-block { padding: 1rem; font-size: 0.67rem; }
  .detail-page .hero h1 { font-size: 2.2rem; }
  .detail-page .hero .dek { font-size: 0.97rem; }
  .status-strip { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 2px; }
  .status-strip button { width: auto !important; min-height: 44px; }
  .footer { padding: 0 20px; }
}

@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  *, *::before, *::after { scroll-behavior: auto !important; transition: none !important; animation: none !important; }
}
@media print {
  .nav-links, .hero-actions, .section-rail, .controls, .tabs { display: none; }
  .hero { padding: 1.5rem 0; }
  .page-shell { max-width: none; padding: 0; }
  .home-layout { display: block; }
  .content { padding-bottom: 1rem; }
  .metric-grid { break-inside: avoid; }
  .table-wrap { overflow: visible; }
  .results-table { min-width: 0; font-size: 0.6rem; }
  a { color: inherit; }
}