/* Layout and components use the supplied LogicStar tokens in tokens/. */
* { box-sizing: border-box; }
html { scroll-behavior: smooth; scroll-padding-top: 88px; }
body { margin: 0; background: var(--ls-white); color: var(--fg-2); font-size: 16px; }
a { color: inherit; text-decoration: none; }
button, input { font: inherit; }
button { cursor: pointer; color: inherit; border-radius: var(--r-pill); }
button, a { touch-action: manipulation; }
button:disabled { cursor: default; opacity: .5; }
[hidden] { display: none !important; }
::selection { background: var(--ls-blue-200); color: var(--ls-navy); }
:focus-visible { outline: 2px solid var(--ls-blue); outline-offset: 4px; }
.wrap { width: min(1060px, calc(100% - 64px)); margin-inline: auto; }
.sr-only { position: fixed; left: 0; top: 0; clip-path: inset(50%); width: 1px; height: 1px; padding: 0; margin: -1px; overflow: hidden; clip: rect(0,0,0,0); white-space: nowrap; border: 0; }
.skip-link { position: fixed; top: -70px; left: 20px; z-index: 20; background: var(--ls-navy); color: var(--ls-white); padding: 10px 20px; border-radius: var(--r-pill); }
.skip-link:focus { top: 10px; }
.site-header { height: 68px; border-bottom: 1px solid var(--ls-line); background: var(--ls-white); position: sticky; top: 0; z-index: 10; }
.header-inner { height: 100%; display: flex; align-items: center; justify-content: space-between; gap: 24px; }
.wordmark { display: inline-flex; align-items: center; gap: 8px; font-size: 22px; font-weight: 700; letter-spacing: -.7px; line-height: 1; color: var(--ls-navy); }
.probe-mark { display: block; width: 40px; height: 40px; object-fit: contain; flex-shrink: 0; }
.wordmark-caption { font-family: 'JetBrains Mono', monospace; font-size: 8px; font-weight: 400; letter-spacing: 1px; margin-left: 4px; color: var(--fg-4); }
.header-inner nav { display: flex; gap: 28px; margin-left: auto; }
.header-inner nav a { font-size: 13px; color: var(--fg-3); }
.header-inner nav a:hover { color: var(--ls-navy); }
.header-link { background: var(--ls-navy); color: var(--ls-white); font-size: 12px; font-weight: 600; padding: 9px 17px; border-radius: var(--r-pill); display: flex; gap: 13px; align-items: center; }
.header-link:hover { background: var(--ls-navy-700); color: var(--ls-white); }
.menu-toggle, .mobile-nav { display: none; }
.eyebrow { font-family: 'JetBrains Mono', monospace; font-size: 10px; font-weight: 400; letter-spacing: 1.3px; line-height: 1.5; text-transform: uppercase; }
.hero { background: var(--bg-trust); text-align: center; padding: 22px 0 26px; }
.hero .eyebrow { font-size: 9px; color: var(--fg-on-trust-3); }
.hero-brand { display: flex; justify-content: center; align-items: center; gap: 15px; margin-bottom: 12px; }
.hero-brand img { display: block; width: 76px; height: 76px; object-fit: contain; }
.hero h1 { font-size: 38px; font-weight: 600; letter-spacing: -1px; line-height: 1.05; margin: 0; }
.hero-subtitle { font-size: 22px; font-weight: 500; line-height: 1.22; letter-spacing: -.4px; text-wrap: balance; max-width: 820px; margin-inline: auto; color: var(--ls-white); }
.hero-subtitle .kw { font-weight: 700; }
.hero-authors { font-size: 12px; color: var(--fg-on-trust-2); margin: 12px 0 0; }
.hero-authors a, .paper-authors a { color: inherit; text-decoration: none; text-underline-offset: 3px; }
.hero-authors a:hover, .paper-authors a:hover,
.hero-authors a:focus-visible, .paper-authors a:focus-visible { color: var(--ls-white); text-decoration: underline; }
.affiliations { display: flex; justify-content: center; align-items: center; gap: 35px; margin-top: 13px; }
.affiliations a { color: var(--ls-white); font-size: 23px; font-weight: 600; line-height: 1; }
.affiliations a>span { font-weight: 400; }
.affiliations .eth { font-style: italic; font-size: 26px; letter-spacing: -1px; }
.affiliations .eth span { font-size: 23px; }
.affiliations .logicstar { display: flex; align-items: center; }
.affiliations img { display: block; width: 131px; height: 30px; object-fit: contain; }
.hero-actions { display: flex; align-items: center; justify-content: center; flex-wrap: wrap; gap: 9px; margin-top: 17px; }
.button { display: inline-flex; align-items: center; justify-content: center; gap: 12px; padding: 9px 20px; border: 1px solid transparent; border-radius: var(--r-pill); font-size: 13px; font-weight: 700; line-height: 1.3; transition: background var(--t-fast) var(--ease-out); }
.button-primary { background: var(--ls-white); color: var(--ls-navy); }
.button-primary:hover { background: var(--ls-blue-100); color: var(--ls-navy); }
.button-secondary { background: transparent; border-color: var(--fg-on-trust-3); color: var(--ls-white); }
.button-secondary:hover { background: var(--ls-navy-700); color: var(--ls-white); }
.section { padding-block: 42px; }
.section-heading { display: flex; align-items: flex-end; justify-content: space-between; gap: 30px; margin-bottom: 23px; }
.section-kicker { font-size: 9px; color: var(--fg-4); margin-bottom: 7px; }
.section-heading h2 { font-family: var(--font-sans); font-size: 32px; line-height: 1.15; font-weight: 500; letter-spacing: -.7px; margin: 0; }
.section-heading>p { font-size: 13px; color: var(--fg-3); line-height: 1.6; max-width: 390px; }
.benchmark-intro { font-size: 14px; line-height: 1.7; color: var(--fg-3); margin: -2px 0 23px; max-width: 940px; }
.benchmark-intro strong { color: var(--fg-2); font-weight: 600; }
.leaderboard-toolbar { display: flex; justify-content: flex-end; align-items: center; gap: 10px; }
.download-link { font-size: 12px; display: inline-flex; gap: 12px; align-items: center; color: var(--ls-navy); padding: 6px 12px; border: 1px solid var(--ls-line-strong); border-radius: var(--r-pill); white-space: nowrap; }
.download-link:hover { background: var(--bg-subtle); }
.download-icon { flex-shrink: 0; fill: none; stroke: currentColor; stroke-width: 1.5; stroke-linecap: round; stroke-linejoin: round; }
.table-controls { display: flex; justify-content: space-between; flex-wrap: wrap; gap: 10px 20px; align-items: center; margin-bottom: 10px; }
.table-controls p { font-size: 11px; color: var(--fg-4); margin: 0; }
.search-field { display: flex; align-items: center; gap: 7px; border: 1px solid var(--ls-line-strong); border-radius: var(--r-md); padding: 5px 10px; }
.search-field svg { width: 15px; height: 15px; fill: none; stroke: var(--fg-4); stroke-width: 1.3; }
.search-field input { border: 0; background: transparent; width: 145px; padding: 3px; border-radius: var(--r-sm); font-size: 12px; color: var(--fg-2); }
.search-field input::placeholder { color: var(--fg-4); }
.table-scroll { overflow-x: auto; border: 1px solid var(--ls-line); border-radius: var(--r-lg); background: var(--ls-white); scrollbar-width: thin; scrollbar-color: var(--ls-line-strong) transparent; }
.results-table { border-collapse: collapse; width: 100%; white-space: nowrap; font-family: var(--font-geist); font-size: 14px; line-height: 1.5; }
.results-table th { font-weight: 500; font-size: 13px; background: var(--bg-subtle); text-align: right; border-bottom: 1px solid var(--ls-line-strong); padding: 0 13px; color: var(--fg-3); }
.results-table th:nth-child(2) { text-align: left; }
.results-table th button { font: inherit; display: inline-flex; gap: 8px; align-items: center; border: 0; background: transparent; padding: 12px 0; }
.results-table th button span { font-size: 12px; color: var(--fg-4); }
.results-table th button span:empty { display: none; }
.results-table th[aria-sort] button, .results-table th[aria-sort] button span { color: var(--ls-navy); font-weight: 600; }
.results-table td { padding: 10px 13px; border-bottom: 1px solid var(--ls-line); text-align: right; font-variant-numeric: tabular-nums; }
.results-table tr:last-child td { border-bottom: 0; }
.results-table tbody tr:hover td { background: var(--bg-subtle); }
.results-table .rank-cell { width: 40px; text-align: center; color: var(--fg-4); font-size: 12px; }
.results-table td.model-cell { text-align: left; font-size: 14px; font-weight: 500; min-width: 240px; }
.provider-icon { display: inline-block; width: 23px; height: 23px; margin-right: 10px; object-fit: contain; vertical-align: middle; }
.model-cell .effort-tag { margin-left: 8px; vertical-align: middle; }
.effort-blocks, .row-toggle, .result-details, .row-details-hint { display: none; }
.effort-tag { font-size: 11px; background: var(--bg-subtle); border: 1px solid var(--ls-line); border-radius: var(--r-pill); display: inline-block; padding: 2px 9px; color: var(--fg-3); }
.results-table tr.top-result { background: var(--ls-blue-tint-2); }
.results-table tr.top-result .rank-cell { color: var(--ls-navy); font-weight: 600; }
.results-table .best-value { font-weight: 700; color: var(--ls-navy); }
.results-table .score-cell { background: var(--ls-blue-tint-2); }
.replicate-star { font-size: 10px; color: var(--fg-4); margin-left: 3px; }
.empty-cell { text-align: center !important; padding: 35px !important; color: var(--fg-3); }
.table-footer { display: flex; justify-content: space-between; gap: 20px; font-size: 10px; color: var(--fg-4); padding: 12px 2px; border-bottom: 1px solid var(--ls-line); }
.table-footer strong { font-weight: 500; color: var(--fg-3); }
.metric-notes { display: grid; grid-template-columns: repeat(5,1fr); gap: 24px; padding-top: 20px; }
.metric-notes h3 { font-size: 16px; font-weight: 600; line-height: 1.4; color: var(--ls-navy); margin: 0; }
.metric-notes p { font-size: 12px; line-height: 1.65; color: var(--fg-3); margin: 5px 0 0; }
.replicate-note { font-size: 11px; color: var(--fg-4); border-top: 1px solid var(--ls-line); padding-top: 14px; margin: 19px 0 0; }
.notice { font-size: 12px; background: var(--ls-blue-tint-2); padding: 13px 17px; border-radius: var(--r-md); color: var(--ls-navy); }
.method-section { background: var(--bg); border-block: 1px solid var(--ls-line); }
.benchmark-figure { margin: 28px 0 0; padding: 20px; border: 1px solid var(--ls-line); border-radius: var(--r-lg); background: var(--ls-white); }
.overview-toolbar { display: flex; justify-content: space-between; align-items: center; gap: 16px; margin-bottom: 21px; }
.overview-toolbar>span { font-family: 'JetBrains Mono', monospace; font-size: 9px; letter-spacing: .7px; color: var(--fg-4); }
.overview-toolbar a { display: inline-flex; align-items: center; gap: 8px; font-size: 11px; color: var(--ls-navy); }
.overview-toolbar a:hover { text-decoration: underline; }
.overview-scroll { overflow-x: auto; width: 100%; scrollbar-width: thin; scrollbar-color: var(--ls-line-strong) transparent; }
.overview-scroll img { display: block; width: 100%; min-width: 800px; max-width: none; height: auto; }
.overview-scroll-hint { display: none; }
.benchmark-figure figcaption { border-top: 1px solid var(--ls-line); padding-top: 17px; margin-top: 20px; font-size: 13px; line-height: 1.8; color: var(--fg-3); }
.benchmark-figure figcaption strong { color: var(--ls-navy); font-weight: 600; }
.overview-example { margin: 10px 0 0; font-size: 11px; line-height: 1.7; color: var(--fg-4); }
.research-note { display: flex; gap: 16px; padding: 19px 22px; margin-top: 28px; background: var(--ls-white); border: 1px solid var(--ls-line); border-radius: var(--r-lg); }
.research-note>span { color: var(--ls-blue); font-size: 25px; line-height: 1.3; }
.research-note p { font-size: 12px; color: var(--fg-3); margin: 0; line-height: 1.75; }
.research-note strong { color: var(--ls-navy); font-weight: 600; }
.corpus-header { display: flex; justify-content: space-between; align-items: center; gap: 25px; margin: 33px 0 17px; }
.corpus-header h3 { font-size: 20px; font-weight: 500; letter-spacing: -.3px; line-height: 1.3; margin: 0; }
.language-filters { display: flex; gap: 5px; }
.language-filters button { font-size: 10px; border: 1px solid transparent; background: transparent; padding: 6px 9px; color: var(--fg-3); white-space: nowrap; }
.language-filters button span { font-size: 9px; margin-left: 4px; color: var(--fg-4); }
.language-filters button[aria-pressed=true] { border-color: var(--ls-blue-200); background: var(--ls-blue-100); color: var(--ls-navy); }
.repository-grid { display: grid; grid-template-columns: repeat(5,1fr); gap: 9px; }
.repository-card { padding: 16px 13px; border: 1px solid var(--ls-line); border-radius: var(--r-lg); background: var(--ls-white); transition: box-shadow var(--t-base) var(--ease-out); min-height: 107px; }
.repository-card:hover { box-shadow: var(--shadow-md); color: var(--ls-navy); }
.repository-card>strong { font-family: 'JetBrains Mono', monospace; font-size: 11px; font-weight: 500; display: flex; align-items: center; justify-content: space-between; gap: 6px; line-height: 1.4; }
.repository-card>strong span { color: var(--fg-4); }
.repository-card>span { font-size: 10px; color: var(--fg-4); display: block; line-height: 1.4; margin: 7px 0 10px; }
.repository-card>small { font-size: 10px; color: var(--fg-3); }
.repository-card>small b { color: var(--ls-navy); font-weight: 600; }
.findings-layout { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1.06fr); gap: 32px; align-items: start; margin-top: 30px; }
.findings-text { display: flex; flex-direction: column; gap: 10px; }
.finding-tab { display: flex; gap: 16px; width: 100%; border: 1px solid transparent; border-radius: var(--r-lg); background: transparent; text-align: left; padding: 16px; transition: background var(--t-fast) var(--ease-out), border-color var(--t-fast) var(--ease-out); }
.finding-tab:hover { background: var(--bg); border-color: var(--ls-line); }
.finding-tab[aria-selected=true] { background: var(--ls-blue-tint-2); border-color: var(--ls-blue-200); }
.finding-index { font-family: 'JetBrains Mono', monospace; font-size: 10px; color: var(--ls-blue); padding-top: 4px; min-width: 17px; }
.finding-copy { display: block; min-width: 0; }
.finding-title { display: block; color: var(--ls-navy); font-size: 16px; line-height: 1.45; font-weight: 600; margin: 0 0 7px; }
.finding-description { display: block; font-size: 13px; font-weight: 400; line-height: 1.75; color: var(--fg-3); }
.finding-action { display: flex; align-items: center; gap: 9px; font-size: 11px; font-weight: 500; color: var(--fg-4); margin-top: 10px; }
.finding-tab[aria-selected=true] .finding-action { color: var(--ls-navy); }
.finding-plots { min-width: 0; }
.finding-plot { margin: 0; padding: 23px; background: var(--ls-white); border: 1px solid var(--ls-line); border-radius: var(--r-lg); scroll-margin-top: 90px; }
.plot-toolbar { display: flex; align-items: center; justify-content: space-between; gap: 12px; margin-bottom: 17px; }
.plot-toolbar>span { font-family: 'JetBrains Mono', monospace; font-size: 8px; letter-spacing: .5px; color: var(--fg-4); }
.plot-toolbar a { display: inline-flex; align-items: center; gap: 6px; font-size: 10px; color: var(--ls-navy); white-space: nowrap; }
.finding-plot h3 { font-size: 19px; font-weight: 500; line-height: 1.3; margin: 0 0 20px; }
.plot-media { display: flex; align-items: center; justify-content: center; width: 100%; aspect-ratio: 1.5; border-radius: var(--r-sm); }
.plot-media img { display: block; width: 100%; height: auto; max-height: 100%; object-fit: contain; }
.finding-plot figcaption { font-size: 12px; line-height: 1.75; color: var(--fg-3); border-top: 1px solid var(--ls-line); margin-top: 21px; padding-top: 15px; }
.plot-toolbar a:hover { text-decoration: underline; }
.paper-section { background: var(--bg-trust); }
.paper-layout { display: grid; grid-template-columns: 1fr 1.6fr; gap: 65px; padding-block: 43px; }
.paper-layout h2 { font-size: 51px; letter-spacing: -1.5px; line-height: 1.1; font-weight: 600; margin: 15px 0 10px; }
.paper-expansion { font-size: 14px; line-height: 1.7; color: var(--fg-on-trust-2); margin: 0; }
.paper-expansion b { color: var(--ls-white); font-weight: 600; }
.paper-year { display: block; font-family: 'JetBrains Mono', monospace; font-size: 8px; letter-spacing: .7px; color: var(--fg-on-trust-3); margin-top: 25px; }
.paper-layout h3 { font-weight: 500; font-size: 28px; letter-spacing: -.4px; line-height: 1.2; margin: 0 0 13px; }
.paper-authors { font-size: 10px !important; color: var(--fg-on-trust-2) !important; margin-bottom: 19px !important; }
.paper-layout article>p { font-size: 13px; line-height: 1.8; color: var(--fg-on-trust-2); margin: 0 0 14px; }
.paper-actions { display: flex; align-items: center; flex-wrap: wrap; gap: 16px 24px; margin-top: 21px; }
.text-link { font-size: 12px; font-weight: 600; display: inline-flex; gap: 13px; align-items: center; color: var(--ls-blue-200); padding: 5px 0; border-bottom: 1px solid var(--ls-blue-300); }
.text-link:hover { color: var(--ls-white); }
.resource-grid { display: grid; grid-template-columns: repeat(2,1fr); gap: 15px; }
.resource-card { padding: 23px; position: relative; display: flex; flex-direction: column; align-items: start; border: 1px solid var(--ls-line); border-radius: var(--r-lg); transition: box-shadow var(--t-base) var(--ease-out); }
.resource-card:is(a):hover { box-shadow: var(--shadow-md); color: inherit; }
.resource-icon { height: 27px; width: 40px; white-space: nowrap; display: block; font-family: 'JetBrains Mono', monospace; font-size: 22px; line-height: 1.3; color: var(--ls-navy); stroke: var(--ls-navy); stroke-width: 1.1; }
.resource-heading { display: flex; align-items: center; gap: 12px; min-height: 36px; margin-bottom: 14px; width: 100%; }
.resource-heading .resource-icon { position: static; flex-shrink: 0; width: 27px; }
.resource-card h3 { display: flex; align-items: center; gap: 15px; font-size: 18px; font-weight: 500; line-height: 1.4; margin: 9px 0; width: 100%; }
.resource-heading h3 { margin: 0; }
.resource-card h3 span { font-size: 16px; color: var(--fg-4); margin-left: auto; }
.resource-card p { font-size: 13px; line-height: 1.7; color: var(--fg-3); margin: 0 0 25px; }
.resource-action { font-size: 12px; color: var(--ls-navy); display: inline-flex; align-items: center; gap: 9px; }
.upcoming { background: var(--bg); }
.upcoming .resource-action { color: var(--fg-4); font-size: 11px; }
.status-dot { display: inline-block; flex-shrink: 0; width: 5px; height: 5px; border-radius: 50%; background: var(--fg-4); }
.citation { border-top: 1px solid var(--ls-line); margin-top: 40px; padding-top: 30px; display: grid; grid-template-columns: 1fr 2fr; gap: 40px; }
.citation h3 { font-size: 26px; font-weight: 500; line-height: 1.2; margin: 0 0 12px; }
.citation>div>p { font-size: 13px; line-height: 1.7; color: var(--fg-3); margin: 0; }
.citation-code { min-width: 0; background: var(--bg); border: 1px solid var(--ls-line); border-radius: var(--r-lg); overflow: hidden; }
.citation-code-header { display: flex; align-items: center; justify-content: space-between; font-family: 'JetBrains Mono', monospace; font-size: 9px; padding: 10px 17px; border-bottom: 1px solid var(--ls-line); color: var(--fg-4); letter-spacing: .7px; }
.citation-code-header button { border: 1px solid var(--ls-line-strong); background: var(--ls-white); font-size: 11px; display: flex; gap: 10px; color: var(--ls-navy); padding: 4px 11px; }
.citation pre { overflow-x: auto; margin: 0; padding: 18px; font-family: 'JetBrains Mono', monospace; font-size: 11px; line-height: 1.9; color: var(--fg-3); }
.citation pre code { font: inherit; background: transparent; border: 0; border-radius: 0; padding: 0; color: inherit; }
.site-footer { border-top: 1px solid var(--ls-line); background: var(--bg); padding-block: 28px 20px; }
.footer-top { display: flex; align-items: start; gap: 45px; margin-bottom: 26px; }
.footer-top p { font-size: 12px; color: var(--fg-4); margin: 0; line-height: 1.7; }
.back-top { display: flex; gap: 13px; align-items: center; font-size: 12px; margin-left: auto; color: var(--ls-navy); }
.footer-bottom { border-top: 1px solid var(--ls-line); padding-top: 15px; display: flex; justify-content: space-between; gap: 20px; font-size: 10px; color: var(--fg-4); }
.footer-bottom a { color: var(--ls-navy); }
.footer-bottom a:hover { text-decoration: underline; }
.footer-bottom>span:last-child a { margin-left: 13px; }
.footer-logo { vertical-align: middle; width: 80px; height: 19px; margin-left: 4px; }

@media (max-width: 950px) {
  .metric-notes { grid-template-columns: repeat(3,1fr); }
  .wordmark-caption { display: none; }
  .header-inner nav { gap: 20px; }
  .corpus-header { align-items: start; flex-direction: column; gap: 15px; }
  .repository-grid { grid-template-columns: repeat(4,1fr); }
  .findings-layout { gap: 30px; }
  .paper-layout { gap: 40px; }
  .results-table th, .results-table td { padding-inline: 11px; }
  .resource-card { padding: 20px; }
  .resource-card h3 { font-size: 16px; }
  .citation pre { font-size: 9px; }
}
@media (max-width: 850px) {
  .overview-scroll-hint { display: block; margin: 12px 0 0; font-size: 10px; color: var(--fg-4); }
}
@media (max-width: 720px) {
  .wrap { width: calc(100% - 40px); }
  .header-inner nav { gap: 15px; }
  .header-inner nav a { font-size: 12px; }
  .header-link { font-size: 11px; padding-inline: 13px; }
  .hero-subtitle { font-size: 22px; }
  .hero-authors { font-size: 11px; }
  .hero h1 { font-size: 38px; }
  .section-heading>p { font-size: 12px; max-width: 280px; }
  .desktop-break { display: none; }
  .repository-grid { grid-template-columns: repeat(3,1fr); }
  .findings-layout { grid-template-columns: 1fr; }
  .finding-plot { max-width: 560px; width: 100%; margin-inline: auto; }
  .paper-layout { grid-template-columns: .8fr 1.3fr; gap: 25px; }
  .paper-layout h3 { font-size: 25px; }
  .paper-layout article>p { font-size: 12px; }
  .resource-card h3 { font-size: 15px; }
  .resource-card p { font-size: 12px; }
  .resource-card { padding: 18px; }
  .resource-action { font-size: 11px; }
  .citation { gap: 25px; }
  .citation pre { font-size: 8px; }
  .footer-bottom { font-size: 9px; }
}
@media (max-width: 580px) {
  html { scroll-padding-top: 80px; }
  .site-header { height: 62px; }
  .header-inner { gap: 14px; }
  .header-inner nav { display: none; }
  .header-link { margin-left: auto; font-size: 11px; }
  .menu-toggle { display: flex; flex-direction: column; gap: 5px; justify-content: center; border: 0; background: none; padding: 8px 0 8px 8px; width: 27px; height: 35px; }
  .menu-toggle span { display: block; width: 18px; height: 1px; background: var(--ls-navy); }
  .menu-toggle[aria-expanded=true] span:first-child { transform: translateY(3px) rotate(45deg); }
  .menu-toggle[aria-expanded=true] span:last-child { transform: translateY(-3px) rotate(-45deg); }
  .mobile-nav { display: flex; flex-direction: column; background: var(--ls-white); border-bottom: 1px solid var(--ls-line); padding: 17px 20px; gap: 15px; font-size: 14px; }
  .hero { padding: 24px 0 28px; }
  .hero .eyebrow { font-size: 8px; letter-spacing: 1px; }
  .hero-brand { gap: 12px; }
  .hero-brand img { width: 68px; height: 68px; }
  .hero h1 { font-size: 38px; }
  .hero-subtitle { font-size: 22px; line-height: 1.22; }
  .hero-authors { font-size: 11px; line-height: 1.7; max-width: 310px; margin: 15px auto 0; }
  .affiliations { gap: 24px; margin-top: 16px; }
  .affiliations a { font-size: 18px; }
  .affiliations .eth { font-size: 21px; }
  .affiliations .eth span { font-size: 18px; }
  .affiliations img { width: 106px; height: 25px; }
  .hero-actions { gap: 7px; margin-top: 20px; }
  .button { font-size: 12px; padding: 9px 14px; gap: 8px; }
  .section { padding-block: 32px; }
  .section-heading { display: block; margin-bottom: 20px; }
  .section-heading h2 { font-size: 29px; }
  .section-heading>p { margin-top: 12px; max-width: 340px; font-size: 13px; }
  .section-kicker { font-size: 8px; }
  .benchmark-intro { font-size: 13px; line-height: 1.75; margin-top: -4px; margin-bottom: 19px; }
  #leaderboard .section-heading>p { display: none; }
  .leaderboard-toolbar { width: 100%; justify-content: space-between; gap: 8px; }
  .download-link { width: 36px; height: 36px; padding: 0; justify-content: center; flex-shrink: 0; }
  .download-label { display: none; }
  .table-controls { align-items: center; gap: 10px; }
  .table-controls p { font-size: 9px; line-height: 1.7; width: 100%; }
  .search-field { padding: 4px 7px; gap: 5px; min-width: 0; }
  .search-field input { width: 110px; min-width: 0; font-size: 11px; }
  .search-field svg { width: 12px; height: 12px; }
  .results-table { min-width: 0; table-layout: fixed; font-size: 12px; }
  .results-table th, .results-table td { padding-inline: 5px; }
  .results-table th { font-size: 11px; }
  .results-table th button { gap: 3px; }
  .results-table td { padding-block: 11px; }
  .results-table .rank-cell { width: 24px; font-size: 10px; }
  .results-table th[data-column="f1"] { width: 43px; }
  .results-table th[data-column="findings"] { width: 60px; }
  .results-table th[data-column="cost"] { width: 58px; }
  .results-table thead th:not(:nth-child(2)), .results-table .result-row > td:not(:nth-child(2)) { padding-right: 12px; }
  .results-table td.model-cell { min-width: 0; font-size: 12px; white-space: normal; }
  .model-content { display: flex; align-items: center; gap: 5px; }
  .model-content .provider-icon { width: 17px; height: 17px; margin: 0; flex-shrink: 0; }
  .model-name { min-width: 0; }
  .model-cell .effort-tag { margin: 0; padding: 0; border: 0; background: none; flex-shrink: 0; }
  .effort-label { position: absolute; width: 1px; height: 1px; padding: 0; margin: -1px; overflow: hidden; clip: rect(0,0,0,0); white-space: nowrap; border: 0; }
  .effort-blocks { display: flex; flex-direction: column-reverse; gap: 1px; }
  .effort-blocks i { display: block; box-sizing: border-box; width: 6px; height: 3px; flex: 0 0 3px; border: 1px solid #9299a4; border-radius: 1px; background: #eef0f3; }
  .interactive-results .results-table :is(th, td):nth-child(4),
  .interactive-results .results-table :is(th, td):nth-child(5) { display: none; }
  #leaderboard:not(.interactive-results) .results-table { min-width: 580px; table-layout: auto; }
  .interactive-results .result-row { cursor: pointer; }
  .interactive-results .rank-label { display: none; }
  .interactive-results .row-toggle { display: inline-flex; flex-direction: column; align-items: center; justify-content: center; min-height: 32px; padding: 0; border: 0; background: none; color: inherit; font: inherit; }
  .row-toggle::after { content: ''; width: 4px; height: 4px; margin-top: 3px; border-right: 1px solid currentColor; border-bottom: 1px solid currentColor; transform: rotate(45deg); }
  .row-toggle[aria-expanded="true"]::after { transform: rotate(225deg); }
  .result-details:not([hidden]) { display: table-row; }
  .results-table .result-details td { padding: 12px 16px; background: var(--bg-subtle); text-align: left; white-space: normal; }
  .result-details dl { display: grid; grid-template-columns: repeat(3, 1fr); gap: 12px; margin: 0; }
  .result-details dt { font-size: 11px; color: var(--fg-3); }
  .result-details dd { margin: 3px 0 0; font-size: 13px; font-weight: 600; color: var(--ls-navy); }
  .interactive-results .row-details-hint { display: block; margin: 8px 0 0; font-size: 10px; color: var(--fg-4); }
  .empty-cell { white-space: normal; }
  .results-table th:nth-child(2), .results-table td:nth-child(2) { position: sticky; left: 0; z-index: 1; background: var(--ls-white); border-right: 1px solid var(--ls-line); }
  .results-table th:nth-child(2) { background: var(--bg-subtle); z-index: 2; }
  .results-table tr.top-result td:nth-child(2) { background: var(--ls-blue-tint-2); }
  .table-footer { font-size: 9px; align-items: start; }
  .table-footer>span:last-child { text-align: right; max-width: 210px; }
  .metric-notes { grid-template-columns: 1fr; gap: 14px; }
  .metric-notes>div { display: grid; grid-template-columns: 90px 1fr; gap: 15px; align-items: start; }
  .metric-notes h3 { font-size: 15px; white-space: nowrap; }
  .metric-notes p { font-size: 11px; margin: 0; }
  .replicate-note { font-size: 10px; margin-top: 20px; }
  .benchmark-figure { padding: 15px; margin-top: 23px; }
  .overview-toolbar { align-items: start; gap: 12px; margin-bottom: 18px; }
  .overview-toolbar>span { max-width: 125px; font-size: 8px; line-height: 1.7; }
  .overview-toolbar a { font-size: 10px; white-space: nowrap; }
  .benchmark-figure figcaption { font-size: 12px; margin-top: 16px; padding-top: 14px; }
  .overview-example { font-size: 10px; }
  .research-note { margin-top: 24px; gap: 11px; padding: 16px; }
  .research-note p { font-size: 11px; }
  .research-note>span { font-size: 21px; }
  .corpus-header { gap: 16px; margin-top: 28px; }
  .corpus-header h3 { font-size: 21px; }
  .language-filters { gap: 0; width: 100%; justify-content: space-between; }
  .language-filters button { font-size: 10px; padding: 6px 7px; }
  .language-filters button span { font-size: 8px; margin-left: 3px; }
  .repository-grid { grid-template-columns: repeat(2,1fr); gap: 8px; }
  .repository-card { padding: 15px 12px; min-height: 103px; }
  .repository-card>strong { font-size: 11px; }
  .findings-layout { gap: 26px; margin-top: 25px; }
  .finding-title { font-size: 15px; }
  .finding-description { font-size: 12px; }
  .finding-tab { gap: 13px; padding: 14px 12px; }
  .finding-plot { padding: 18px; }
  .finding-plot figcaption { font-size: 11px; }
  .finding-plot h3 { font-size: 18px; margin-bottom: 16px; }
  .plot-toolbar>span { font-size: 7px; }
  .paper-layout { grid-template-columns: 1fr; gap: 25px; padding-block: 32px; }
  .paper-layout h2 { font-size: 42px; margin-top: 12px; }
  .paper-expansion { font-size: 13px; }
  .paper-year { font-size: 8px; margin-top: 16px; }
  .paper-layout h3 { font-size: 27px; }
  .paper-layout article { border-top: 1px solid var(--ls-navy-600); padding-top: 22px; }
  .paper-layout article>p { font-size: 12px; }
  .resource-grid { grid-template-columns: 1fr; gap: 12px; }
  .resource-card { padding: 22px; }
  .resource-card h3 { font-size: 20px; }
  .resource-card p { max-width: 300px; font-size: 13px; margin-bottom: 20px; }
  .resource-card h3 span { display: none; }
  .resource-action { font-size: 12px; }
  .citation { grid-template-columns: 1fr; gap: 21px; margin-top: 30px; padding-top: 25px; }
  .citation h3 { font-size: 26px; margin-bottom: 9px; }
  .citation>div>p { font-size: 12px; }
  .citation>div>p br { display: none; }
  .citation pre { font-size: 8px; padding: 15px 12px; }
  .citation-code-header { padding-inline: 12px; }
  .footer-top { flex-wrap: wrap; gap: 18px; position: relative; margin-bottom: 22px; }
  .footer-top .wordmark { width: 100%; font-size: 22px; }
  .footer-top .wordmark-caption { display: inline; font-size: 7px; margin-left: 7px; }
  .footer-top p { font-size: 11px; }
  .back-top { position: absolute; right: 0; top: 0; font-size: 11px; }
  .footer-bottom { flex-direction: column; gap: 12px; font-size: 10px; }
  .site-footer { padding-block: 25px 20px; }
}
@media (max-width: 360px) {
  .hero-subtitle { font-size: 21px; }
  .affiliations { gap: 18px; }
  .affiliations img { width: 95px; }
  .header-link { font-size: 10px; padding-inline: 11px; }
  .language-filters button { font-size: 9px; padding-inline: 5px; }
  .citation pre { font-size: 7px; }
}
@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  *, *:before, *:after { animation: none !important; transition: none !important; }
}