/* Embedded leaderboard adapted from SophontAI/medmarks-website. */
.model-catalog { --catalog-muted:#7f87b0; --catalog-rule:#d5d4df; --catalog-blue:#2b2dc6; margin:1.5rem 0 2rem; color:#08082a; }
.model-catalog .catalog-heading { color:var(--catalog-blue); font:500 1rem var(--font-mono,monospace); letter-spacing:.06em; text-transform:uppercase; border-bottom:2px solid var(--catalog-blue); padding:1rem 1.5rem; width:fit-content; margin-bottom:1.5rem; }
.model-catalog .catalog-filters, .model-catalog .catalog-view-row { display:flex; gap:1.25rem; align-items:center; flex-wrap:wrap; margin-bottom:1.5rem; }
.model-catalog .filter-group { display:flex; align-items:center; gap:.6rem; }
.model-catalog .filter-label, .model-catalog #model-table-status { font:400 .875rem var(--font-mono,monospace); text-transform:uppercase; letter-spacing:.025em; color:#465079; }
.model-catalog .size-filters, .model-catalog .view-toggle { display:flex; padding:.25rem; border:1px solid var(--catalog-rule); border-radius:999px; background:#f7f6fb; max-width:100%; }
.model-catalog button { cursor:pointer; }
.model-catalog .size-filters button, .model-catalog .view-toggle button { border:0; border-radius:999px; background:transparent; color:var(--catalog-muted); font:400 .875rem var(--font-mono,monospace); text-transform:uppercase; letter-spacing:.03em; padding:.6rem .85rem; white-space:nowrap; }
.model-catalog button[aria-pressed="true"] { background:white; color:var(--catalog-blue); box-shadow:0 1px 4px #08082a29; }
.model-catalog .catalog-switch { position:relative; width:44px; height:24px; display:inline-block; flex-shrink:0; }
.model-catalog .catalog-switch input { position:absolute; opacity:0; width:100%; height:100%; margin:0; cursor:pointer; z-index:1; }
.model-catalog .catalog-switch span { position:absolute; inset:0; border-radius:24px; background:var(--catalog-rule); pointer-events:none; }
.model-catalog .catalog-switch span:before { content:''; position:absolute; width:18px; height:18px; background:white; border-radius:50%; top:3px; left:3px; transition:transform .15s; }
.model-catalog .catalog-switch input:checked + span { background:var(--catalog-blue); }
.model-catalog .catalog-switch input:checked + span:before { transform:translateX(20px); }
.model-catalog .catalog-search { flex:1; min-width:190px; border:1px solid var(--catalog-rule); border-radius:999px; background:white; color:#08082a; font:1rem var(--font-body,sans-serif); padding:.65rem 1.1rem; }
.model-catalog .catalog-search::placeholder { color:var(--catalog-muted); }
.model-catalog button:focus-visible, .model-catalog input:focus-visible, .model-catalog .catalog-table-scroll:focus-visible { outline:2px solid var(--catalog-blue); outline-offset:3px; }
.model-catalog .catalog-switch input:focus-visible + span { outline:2px solid var(--catalog-blue); outline-offset:3px; }
.model-catalog #model-table-status { margin-left:auto; }
.model-catalog .catalog-table-scroll { overflow:auto; border:1px solid var(--catalog-rule); border-radius:12px; background:white; }
.distill-page d-article .model-catalog table { margin:0; width:100%; border-collapse:collapse; background:white!important; font-variant-numeric:tabular-nums; }
.distill-page d-article .model-catalog th { background:#f6f5fa; font:400 .875rem var(--font-mono,monospace); text-transform:uppercase; color:#465079; letter-spacing:.06em; padding:1rem; white-space:nowrap; border-bottom:1px solid var(--catalog-rule); text-align:left; }
.model-catalog th button { font:inherit; color:inherit; padding:0; background:none; border:0; text-transform:inherit; letter-spacing:inherit; }
.model-catalog th button span { color:var(--catalog-blue); opacity:.5; }
.model-catalog th[aria-sort="descending"] button span, .model-catalog th[aria-sort="ascending"] button span { opacity:1; }
.distill-page d-article .model-catalog td { padding:.8rem 1rem; font-size:1rem; color:#465079; border-bottom:1px solid #eeedf3; vertical-align:middle; }
.distill-page d-article .model-catalog th:first-child, .distill-page d-article .model-catalog td:first-child { min-width:0; width:65px; }
.model-catalog tr:last-child td { border-bottom:0; }
.model-catalog tbody tr:hover { background:#f8f7ff; }
.model-catalog .model-name { min-width:270px; color:#08082a!important; }
.model-catalog .model-meta { display:block; font-size:.8rem; margin-top:.3rem; color:var(--catalog-muted); }
.model-catalog .new-model { display:inline-block; padding:.1rem .35rem; border:1px solid var(--catalog-rule); color:var(--catalog-blue); font: .75rem var(--font-mono,monospace); vertical-align:middle; }
.model-catalog .rank-badge { font:500 1rem var(--font-mono,monospace); color:var(--catalog-muted); display:inline-flex; justify-content:center; min-width:24px; }
.model-catalog .rank-top { background:var(--catalog-blue); color:white; border-radius:6px; padding:.2rem .3rem; }
.model-catalog .size-pill { display:inline-block; background:#ebebf5; border:1px solid #c7c7df; border-radius:5px; padding:.25rem .5rem; font:.8rem var(--font-mono,monospace); text-transform:uppercase; }
.model-catalog .wr-cell { min-width:145px; text-align:right; }
.model-catalog .wr-num { display:block; font:500 1rem var(--font-mono,monospace); color:#08082a; }
.model-catalog .wr-bar { display:block; height:5px; background:#eeedf3; border-radius:5px; margin-top:.55rem; }
.model-catalog .wr-bar span { display:block; height:100%; background:var(--catalog-blue); border-radius:5px; }
.model-catalog [hidden] { display:none!important; }
.model-catalog .detail-cell { text-align:right; white-space:nowrap; }
.model-catalog .catalog-note { font-size:.85rem; line-height:1.5; margin-top:1rem; }
.model-catalog #catalog-empty { padding:2rem; text-align:center; }
@media(max-width:600px) { .model-catalog .size-filters { flex-wrap:wrap; border-radius:18px; } .model-catalog .size-filters button { padding:.5rem .65rem; } .model-catalog #model-table-status { margin-left:0; line-height:1.5; } }

/* Introductory explanation of the verifiable benchmark. */
.distill-page d-article .medmarks-explainer {
  grid-column: text;
  float: none;
  width: auto;
  max-width: 100%;
  box-sizing: border-box;
  margin: 1.75rem 0 2rem;
  padding: 1.4rem 1.6rem;
  background: var(--bg, #f8f5fa);
  border: 1px solid var(--rule, #d8d8e3);
  border-left: 3px solid var(--electric, #2233bb);
}
.distill-page d-article .medmarks-explainer h2 {
  margin: 0 0 .7rem;
  padding: 0;
  border: 0;
  font-size: 1.25rem;
  font-weight: 400;
  line-height: 1.3;
}
.distill-page d-article .medmarks-explainer p {
  margin: 0;
  font-size: 1rem;
  line-height: 1.65;
}
@media (max-width: 600px) {
  .distill-page d-article .medmarks-explainer { padding: 1.1rem 1.2rem; }
}


/* The collapsed contents must not reserve six rows ahead of wide figures/tables. */
@media (min-width: 1200px) {
  .distill-page d-article:has(#model-catalog) > d-contents {
    grid-row: auto;
    height: auto;
    max-height: calc(100vh - 40px);
  }
}

/* Let the article background show through every table surface. */
.distill-page d-article:has(#model-catalog) :is(
  .scrollable-table, .catalog-table-scroll, table, thead, tbody, tfoot, tr, th, td
) {
  background: transparent !important;
}

/* Native disclosures keep both reading guides collapsed until requested. */
.distill-page d-article details.medmarks-explainer { margin: .65rem 0; min-width: 0; }
.distill-page d-article .medmarks-explainer summary { cursor: pointer; font-size: 1.1rem; line-height: 1.4; color: var(--fg); }
.distill-page d-article .medmarks-explainer summary::marker { color: var(--electric); }
.distill-page d-article .medmarks-explainer summary:focus-visible { outline: 2px solid var(--electric); outline-offset: 5px; }
.distill-page d-article .medmarks-explainer .explainer-content { margin-top: 1rem; }
.distill-page d-article .medmarks-explainer .explainer-content > p + p { margin-top: 1rem; }
.distill-page d-article .medmarks-explainer .scrollable-table { margin: 1rem 0; }
.distill-page d-article .medmarks-explainer th, .distill-page d-article .medmarks-explainer td { text-align: left; vertical-align: top; }