/* The data is the main view. Use rules, type, and spacing rather than panels. */
.results-page { background: #fff; font-size: 15px; }
.results-page .topbar .in { max-width: 1200px; }
.database { max-width: 1200px; margin: auto; padding: 34px 24px 56px; }
.database-hero { display: flex; align-items: baseline; justify-content: space-between; gap: 24px; }
.database h1 { font-size: 32px; font-weight: 650; letter-spacing: -.025em; line-height: 1.25; margin: 0 0 10px; }
.database-intro { color: var(--text-2); font-size: 15px; margin: 0; }
.download-link { flex: none; font-size: 13px; }
.snapshot-line { display: flex; flex-wrap: wrap; align-items: center; gap: 6px 18px; margin: 14px 0 24px; color: var(--muted); font-size: 12px; }
.snapshot-line > a { margin-left: auto; }
.result-groups { display: flex; flex-wrap: wrap; gap: 0 24px; border-bottom: 1px solid var(--rule); }
.result-group { border: 0; border-bottom: 2px solid transparent; padding: 9px 0; background: transparent; color: var(--muted); font: inherit; font-size: 14px; cursor: pointer; }
.result-group:hover { color: var(--text); }
.result-group[aria-pressed="true"] { border-bottom-color: var(--hb); color: var(--text); }
.group-count { margin-left: 5px; font-variant-numeric: tabular-nums; color: var(--muted); font-size: 12px; }
.explorer { margin-top: 20px; }
.filters { display: grid; grid-template-columns: minmax(210px, 1.6fr) repeat(3, minmax(145px, 1fr)); gap: 12px; }
.filters > div { min-width: 0; }
.filters label { display: block; font-size: 12px; color: var(--text-2); margin-bottom: 5px; }
.filters input, .filters select { border: 1px solid #cbd2da; background: #fff; color: var(--text); border-radius: 3px; width: 100%; height: 36px; padding: 0 9px; font: inherit; font-size: 13px; }
.filters input::placeholder { color: var(--muted); }
.results-page :where(input, select, button, [tabindex]):focus-visible { outline: 2px solid var(--hb); outline-offset: 3px; }
.study-panel { border-bottom: 1px solid var(--rule); margin-top: 20px; padding-bottom: 16px; }
.study-heading { display: flex; align-items: baseline; justify-content: space-between; gap: 12px; }
.study-heading h3 { margin: 0; font-size: 14px; font-weight: 600; }
.study-heading h3 span { color: var(--muted); font-weight: 400; font-size: 12px; margin-left: 8px; }
.study-switch { display: flex; gap: 16px; flex-wrap: wrap; }
.study-switch button { border: 0; border-bottom: 1px solid transparent; padding: 3px 0; font: inherit; font-size: 12px; color: var(--muted); background: transparent; cursor: pointer; }
.study-switch button[aria-pressed="true"] { border-bottom-color: var(--hb); color: var(--hb); }
.study-summary { display: flex; flex-wrap: wrap; gap: 3px 24px; margin: 10px 0; }
.study-summary p { font-size: 12px; color: var(--muted); margin: 0; }
.study-summary strong { color: var(--text-2); font-weight: 500; }
.study-options { display: flex; justify-content: space-between; align-items: center; gap: 12px; font-size: 12px; }
.study-options label { display: flex; align-items: center; gap: 6px; cursor: pointer; color: var(--text-2); }
.study-options input { accent-color: var(--hb); }
.study-scope { font-size: 12px; margin: 8px 0 0; color: var(--muted); }
.table-toolbar { display: flex; justify-content: space-between; gap: 15px; align-items: center; min-height: 48px; font-size: 12px; }
.table-toolbar p { margin: 0; color: var(--muted); }
.text-button { border: 0; padding: 6px 0; background: transparent; color: var(--hb); cursor: pointer; font: inherit; white-space: nowrap; }
.text-button:hover { text-decoration: underline; }
.table-scroll { overflow-x: auto; border-top: 1px solid #cbd2da; border-bottom: 1px solid var(--rule); }
.kernel-table { width: 100%; border-collapse: collapse; min-width: 820px; text-align: left; table-layout: fixed; font-size: 13px; }
.kernel-table th { color: var(--text-2); font-size: 12px; padding: 10px 12px; font-weight: 500; border-bottom: 1px solid var(--rule); }
.kernel-table th:first-child { width: 39%; }
.kernel-table th:nth-child(2) { width: 17%; }
.kernel-table th:nth-child(3) { width: 14%; }
.kernel-table th:nth-child(4) { width: 19%; }
.kernel-table th:last-child { width: 11%; }
.kernel-table td { padding: 12px; border-bottom: 1px solid var(--rule); vertical-align: top; }
.kernel-table th:first-child, .kernel-table td:first-child { padding-left: 0; }
.kernel-table th:last-child, .kernel-table td:last-child { padding-right: 0; }
.kernel-table tr:last-child td { border-bottom: 0; }
.kernel-table tbody tr:hover { background: #fafbfc; }
.kernel-name { display: block; color: var(--hb); font-size: 13px; line-height: 1.5; font-weight: 500; overflow-wrap: anywhere; }
.kernel-meta { display: flex; align-items: center; flex-wrap: wrap; gap: 4px 10px; color: var(--muted); font-size: 11px; margin-top: 3px; }
.library-tag { color: var(--muted); font-size: 11px; }
.scope-tag { color: #7b6135; font-size: 11px; }
.verdict-badge { color: #596576; font-size: 12px; }
.tone-verified, .tone-race_free { color: #286653; }
.tone-potential_race, .tone-invalid_lifecycle, .tone-not_wellsynced { color: #905c27; }
.check { color: var(--muted); font-size: 12px; white-space: nowrap; }
.check-passed { color: #286653; }
.check-failed { color: #905c27; }
.check-incomplete { color: #7b6135; }
.numeric { text-align: right; font-variant-numeric: tabular-nums; white-space: nowrap; color: var(--muted); }
.study-cell { font-size: 12px; }
.study-cell small { display: block; margin-top: 3px; font-size: 11px; color: var(--muted); }
.study-cell .scope-tag { color: #7b6135; }
.removal-count { color: var(--text-2); font-variant-numeric: tabular-nums; }
.perf-lower { color: #286653; }
.perf-higher { color: #905c27; }
.perf-unchanged, .metric-missing { color: var(--muted); font-size: 12px; }
.pagination { display: flex; justify-content: space-between; align-items: center; gap: 15px; margin-top: 14px; color: var(--muted); font-size: 12px; }
.pagination > div { display: flex; gap: 16px; }
.pagination button { background: transparent; border: 0; padding: 6px 0; font: inherit; color: var(--hb); cursor: pointer; }
.pagination button:disabled { color: #8a919b; cursor: default; }
.empty-state { text-align: center; padding: 36px 16px; color: var(--muted); border-top: 1px solid var(--rule); }
.empty-state h3 { margin: 0 0 10px; color: var(--text-2); font-size: 18px; }
.empty-state .button { background: #fff; font: inherit; font-size: 13px; cursor: pointer; }
.data-notes { border-top: 1px solid var(--rule); padding-top: 28px; margin-top: 40px; font-size: 13px; color: var(--muted); }
.data-notes > div:first-child { max-width: 760px; }
.data-notes h2 { font-size: 20px; font-weight: 600; margin: 0 0 12px; color: var(--text); }
.data-notes p { margin: 10px 0; }
.notes-list { margin-top: 20px; max-width: 880px; }
.notes-list details { border-top: 1px solid var(--rule); padding: 12px 0; }
.notes-list summary { color: var(--text-2); font-weight: 500; cursor: pointer; }
.notes-list p { margin: 12px 0 0; }
.notes-list code { overflow-wrap: anywhere; }
.data-notice { border-left: 2px solid #b08b46; padding: 10px 14px; color: #755e30; font-size: 13px; }
.sr-only { position: absolute; width: 1px; height: 1px; padding: 0; margin: -1px; overflow: hidden; clip: rect(0,0,0,0); white-space: nowrap; border: 0; }
.results-page .footer-in { max-width: 1152px; }
.results-page button { font-family: inherit; }
[hidden] { display: none !important; }
#kernel-detail { width: min(780px, calc(100% - 32px)); max-height: calc(100dvh - 48px); border: 1px solid #cbd2da; border-radius: 3px; padding: 0; color: var(--text); }
#kernel-detail::backdrop { background: #17202b66; }
body:has(#kernel-detail[open]) { overflow: hidden; }
.detail-topbar { position: sticky; top: 0; z-index: 1; background: #fff; border-bottom: 1px solid var(--rule); display: flex; justify-content: space-between; align-items: center; padding: 10px 24px; color: var(--muted); font-size: 12px; }
.detail-topbar button { border: 0; width: 32px; height: 32px; background: #fff; cursor: pointer; color: var(--text-2); }
.detail-body { padding: 20px 28px 28px; font-size: 13px; }
.detail-body h2 { margin: 10px 0; font-size: 22px; font-weight: 600; line-height: 1.4; overflow-wrap: anywhere; }
.detail-body h3 { font-size: 15px; margin: 26px 0 12px; }
.detail-identifier { overflow-wrap: anywhere; font-size: 12px; color: var(--muted); margin-bottom: 15px; }
.detail-actions { display: flex; align-items: center; flex-wrap: wrap; gap: 16px; margin-bottom: 20px; }
.check-grid { display: grid; grid-template-columns: repeat(3,minmax(0,1fr)); gap: 12px; padding: 14px 0; border-block: 1px solid var(--rule); margin: 20px 0; }
.check-card strong { display: block; font-weight: 500; font-size: 12px; color: var(--muted); margin-bottom: 6px; }
.record-facts { display: grid; grid-template-columns: 1fr 1fr; gap: 12px 24px; margin: 16px 0; }
.record-facts > div { min-width: 0; }
.record-facts dt { color: var(--muted); font-size: 12px; }
.record-facts dd { margin: 3px 0 0; color: var(--text-2); font-variant-numeric: tabular-nums; overflow-wrap: anywhere; }
.detail-body pre { font-size: 12px; max-height: 340px; border: 1px solid var(--rule); border-radius: 3px; margin-top: 12px; white-space: pre-wrap; overflow-wrap: anywhere; }
.detail-body details { border-top: 1px solid var(--rule); margin-top: 18px; padding-top: 14px; }
.detail-body summary { font-weight: 500; cursor: pointer; color: var(--text-2); }
.detail-body .followup { white-space: pre-wrap; overflow-wrap: anywhere; border-left: 2px solid var(--rule); padding-left: 14px; color: var(--text-2); }
.diagnostic-list, .evidence-list { padding: 0; list-style: none; }
.diagnostic-list li { border-bottom: 1px solid var(--rule); margin: 8px 0; padding: 8px 0; overflow-wrap: anywhere; }
.diagnostic-list span { display: block; color: var(--muted); font-size: 11px; margin-top: 4px; }
.evidence-list li { margin: 13px 0; }
.evidence-list a { overflow-wrap: anywhere; }
.evidence-list small { display: block; color: var(--muted); font: 11px/1.6 Inconsolata, monospace; overflow-wrap: anywhere; margin-top: 3px; }
.detail-note { color: var(--muted); font-size: 12px; }
.study-detail-scenario { border-top: 1px solid var(--rule); padding-top: 14px; margin: 16px 0; }
.study-detail-scenario h4 { font-size: 13px; margin: 0; color: var(--text-2); }
.study-source-note { color: var(--muted); font-size: 12px; overflow-wrap: anywhere; margin: 10px 0 0; }
.study-references { display: flex; gap: 15px; flex-wrap: wrap; font-size: 12px; }
@media (max-width: 800px) {
  .filters { grid-template-columns: repeat(3,minmax(0,1fr)); }
  .search-field { grid-column: 1 / -1; }
  .study-heading { align-items: flex-start; flex-direction: column; gap: 8px; }
  .table-hint { display: none; }
}
@media (max-width: 540px) {
  .database { padding: 28px 18px 40px; }
  .database-hero { display: block; }
  .database h1 { font-size: 28px; }
  .database-intro { font-size: 14px; }
  .download-link { display: inline-block; margin-top: 10px; }
  .snapshot-line > a { margin-left: 0; }
  .result-groups { gap: 0 18px; }
  .result-group { font-size: 13px; }
  .filters { grid-template-columns: 1fr 1fr; }
  .filters > div:last-child { grid-column: 1 / -1; }
  .study-options { align-items: flex-start; flex-direction: column; gap: 8px; }
  #kernel-detail { width: calc(100% - 16px); max-height: calc(100dvh - 24px); }
  .detail-body { padding: 18px; }
  .detail-body h2 { font-size: 20px; }
  .check-grid { gap: 8px; }
  .check-card strong { font-size: 11px; }
  .record-facts { column-gap: 14px; }
}

.input-table-section h4 { font-size: 13px; font-weight: 500; margin: 18px 0 8px; }
.input-table { width: 100%; table-layout: fixed; border-collapse: collapse; margin: 12px 0; font-size: 12px; }
.input-table th, .input-table td { text-align: left; vertical-align: top; border-bottom: 1px solid var(--rule); padding: 7px 10px 7px 0; overflow-wrap: anywhere; }
.input-table th { color: var(--muted); font-weight: 500; }
.input-table td { font-family: Inconsolata, monospace; font-size: 13px; }