:root {
  --ink: #171717;
  --muted: #666;
  --line: #e5e5e5;
  --hover: #f7f7f7;
  --result-success: #216e43;
  --result-success-bg: #f0f8f3;
  --result-success-hover: #e3f1e8;
  --sans: -apple-system, BlinkMacSystemFont, 'Segoe UI', sans-serif;
  --mono: ui-monospace, SFMono-Regular, Menlo, monospace;
}
* { box-sizing: border-box; }
[hidden] { display: none !important; }
body { margin: 0; background: #fff; color: var(--ink); font: 14px/1.5 var(--sans); }
button, input, select { font: inherit; color: inherit; }
button { border: 0; background: none; }
button, select, input[type=checkbox], summary { cursor: pointer; }
button, a { touch-action: manipulation; }
button:disabled { opacity: .4; cursor: not-allowed; }
a { color: inherit; text-underline-offset: 3px; }
:focus-visible { outline: 2px solid var(--ink); outline-offset: 3px; }
h1, h2, h3 { font-weight: 600; line-height: 1.4; }
.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; }
.skip-link { position: fixed; top: -100px; left: 16px; background: #fff; padding: 12px; z-index: 20; }
.skip-link:focus { top: 12px; }

/* Navigation and search */
.masthead { height: 56px; display: flex; align-items: center; gap: 36px; padding: 0 32px; border-bottom: 1px solid var(--line); }
.brand { font-size: 15px; font-weight: 600; text-decoration: none; }
.masthead nav { display: flex; align-self: stretch; gap: 24px; }
.nav-button { display: flex; align-items: center; gap: 6px; padding: 0; border-bottom: 2px solid transparent; color: var(--muted); font-size: 13px; }
.nav-button.active { color: var(--ink); border-bottom-color: var(--ink); }
.count { color: var(--muted); font-size: 12px; font-variant-numeric: tabular-nums; }
.nav-with-summary { gap: 8px; }
.nav-summary { display: flex; color: var(--muted); font-size: 11px; line-height: 1.5; font-variant-numeric: tabular-nums; }
.nav-summary > span { white-space: nowrap; }
.nav-summary > span + span::before { content: '·'; margin: 0 5px; color: var(--muted); }
.nav-summary .has-results { color: var(--result-success); }
.usage-button { margin-left: auto; padding: 6px 0; color: var(--muted); font-size: 12px; }
.usage-button:hover { text-decoration: underline; }
main { max-width: 1560px; margin: auto; padding: 0 32px 96px; }
.intro { display: flex; align-items: baseline; justify-content: space-between; gap: 16px; padding: 28px 0 20px; }
h1 { font-size: 22px; margin: 0; }
.corpus-summary { display: flex; flex-wrap: wrap; gap: 8px; color: var(--muted); font-size: 12px; }
.corpus-summary strong { font-weight: 400; }
.search-box { display: flex; align-items: stretch; gap: 8px; }
.search-box input { width: 100%; min-width: 0; border: 1px solid #ccc; border-radius: 3px; padding: 10px 12px; background: #fff; font-size: 14px; }
.search-box input::placeholder { color: #777; }
.button { display: inline-flex; align-items: center; justify-content: center; min-height: 34px; padding: 7px 12px; border: 1px solid #d4d4d4; border-radius: 3px; background: #fff; font-size: 12px; white-space: nowrap; }
.primary { border-color: #999; font-weight: 600; }
.button:hover:not(:disabled) { background: var(--hover); border-color: #999; }
.search-box .button { padding: 8px 20px; }
.search-options { display: flex; gap: 24px; padding: 12px 0 20px; }
.filter-group { display: flex; align-items: center; gap: 8px; font-size: 12px; }
.filter-group label { color: var(--muted); }
.filter-group select { border: 0; background: #fff; padding: 4px 0; }
.text-button { padding: 6px 0; font-size: 12px; text-align: left; text-decoration: underline; text-underline-offset: 3px; }
.icon-button { display: inline-grid; place-items: center; flex-shrink: 0; width: 32px; height: 32px; border-radius: 3px; color: var(--muted); font: 22px/1 var(--sans); }
.icon-button:hover { background: var(--hover); color: var(--ink); }

/* Results and selection */
.workspace { display: grid; grid-template-columns: minmax(0, 1fr); align-items: start; }
.workspace.with-inspector { grid-template-columns: minmax(0, 1fr) 380px; gap: 24px; }
.results-pane { min-width: 0; }
.results-toolbar { display: flex; align-items: center; justify-content: space-between; gap: 16px; padding: 12px 0 16px; }
.results-toolbar h2 { margin: 0; font-size: 13px; }
.results-toolbar p { margin: 4px 0 0; color: var(--muted); font-size: 12px; overflow-wrap: anywhere; }
.empty-state, .loading-state { padding: 40px 0; color: var(--muted); font-size: 14px; }
.empty-state h3 { margin: 0 0 16px; font-size: 14px; font-weight: 400; }
.table-wrap { overflow-x: auto; border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); }
table { width: 100%; border-collapse: collapse; table-layout: fixed; text-align: left; }
th { padding: 10px 6px; border-bottom: 1px solid var(--line); color: var(--muted); font-weight: 400; font-size: 11px; }
th button { display: inline-flex; align-items: center; gap: 4px; padding: 3px 0; font-size: inherit; white-space: nowrap; }
th[aria-sort=ascending], th[aria-sort=descending] { color: var(--ink); }
.sort-arrow { min-width: 8px; }
.check-column { width: 34px; text-align: center; }
.rank-column { width: 40px; }
.score-column { width: 100px; text-align: right; }
.score-column:last-child { padding-right: 12px; }
input[type=checkbox] { accent-color: var(--ink); width: 14px; height: 14px; vertical-align: middle; margin: 0; }
tbody tr + tr { border-top: 1px solid var(--line); }
#result-rows tr:hover, #result-rows tr.selected { background: var(--hover); }
#result-rows tr.inspected .row-title { text-decoration: underline; text-underline-offset: 3px; }
td { padding: 13px 6px; vertical-align: top; }
td.check-column, td.rank-cell, .score-cell { padding-top: 15px; }
td.rank-cell { color: var(--muted); font-size: 12px; font-variant-numeric: tabular-nums; }
.row-title { padding: 0; font-size: 14px; font-weight: 600; text-align: left; line-height: 1.5; overflow-wrap: anywhere; }
.row-title:hover { text-decoration: underline; text-underline-offset: 3px; }
.row-preview { display: -webkit-box; -webkit-box-orient: vertical; -webkit-line-clamp: 2; line-clamp: 2; overflow: hidden; overflow-wrap: anywhere; margin-top: 3px; font-size: 13px; line-height: 1.6; }
.row-preview .katex { font-size: 1em; }
.row-preview .katex-display { display: inline; margin: 0; }
.row-paper { margin-top: 4px; color: var(--muted); font-size: 11px; white-space: nowrap; text-overflow: ellipsis; overflow: hidden; }
.row-status { margin-left: 7px; color: var(--muted); font-size: 11px; }
.score-cell { text-align: right; font-size: 12px; font-variant-numeric: tabular-nums; }
.score-cell:last-child { padding-right: 12px; }
.pagination { display: flex; align-items: center; justify-content: space-between; gap: 12px; margin: 16px 0; color: var(--muted); font-size: 12px; }
.pagination > div { display: flex; align-items: center; gap: 12px; }
.pagination .button { min-height: 30px; padding: 5px 9px; }
.page-footer { margin-top: 24px; font-size: 11px; color: var(--muted); }
.page-footer a { text-decoration: none; }
.page-footer a:hover { text-decoration: underline; }
.selection-tray { position: fixed; z-index: 4; bottom: 20px; left: 50%; transform: translateX(-50%); display: flex; align-items: center; justify-content: space-between; gap: 32px; padding: 10px 12px 10px 16px; background: #fff; border: 1px solid #ccc; border-radius: 3px; }
.selection-tray strong { font-size: 12px; font-weight: 400; white-space: nowrap; }
.selection-actions { display: flex; align-items: center; gap: 12px; flex-wrap: wrap; }
.notice, .error-box { margin: 0 0 16px; padding: 12px; border: 1px solid #ccc; border-radius: 3px; background: #fff; font-size: 12px; overflow-wrap: anywhere; }
.notice { display: flex; align-items: center; justify-content: space-between; gap: 16px; }
.error-box { color: #9a2727; border-color: #d7bcbc; }
.notice .icon-button { width: 24px; height: 24px; }

/* Conjecture details */
.inspector { min-width: 0; position: sticky; top: 16px; max-height: calc(100vh - 32px); overflow-y: auto; overscroll-behavior: contain; scrollbar-width: thin; border-left: 1px solid var(--line); padding: 0 0 24px 24px; }
.inspector-top { display: flex; justify-content: flex-end; margin-bottom: 4px; }
.detail-status { display: flex; align-items: center; gap: 12px; color: var(--muted); font-size: 12px; }
.status-badge { color: var(--ink); }
.inspector h2 { margin: 10px 0 16px; font-size: 20px; overflow-wrap: anywhere; }
.select-button { margin-bottom: 20px; }
.select-button.is-selected { border-color: var(--ink); }
.detail-scores { display: flex; gap: 40px; margin-bottom: 20px; }
.detail-scores > div { display: flex; flex-direction: column; gap: 3px; }
.detail-scores span { color: var(--muted); font-size: 12px; }
.detail-scores strong { font-size: 18px; font-weight: 500; font-variant-numeric: tabular-nums; }
.detail-tabs { display: flex; gap: 24px; border-bottom: 1px solid var(--line); margin-bottom: 20px; }
.detail-tabs button { padding: 8px 0; border-bottom: 2px solid transparent; color: var(--muted); font-size: 13px; }
.detail-tabs [aria-selected=true] { color: var(--ink); border-bottom-color: var(--ink); }
.section-label { margin: 20px 0 10px; color: var(--muted); font-size: 12px; font-weight: 500; }
.statement { font-size: 15px; line-height: 1.75; white-space: pre-wrap; overflow-wrap: anywhere; }
.statement .katex { font-size: 1em; }
.katex-display { overflow-x: auto; overflow-y: hidden; padding-bottom: 4px; }
.source-reference { padding: 20px 0; border-bottom: 1px solid var(--line); }
.source-reference h3 { margin: 8px 0; font-size: 13px; overflow-wrap: anywhere; }
.source-reference p { margin: 5px 0; color: var(--muted); font-size: 12px; }
.source-reference .text-button { margin-top: 5px; }
.body-text { font-size: 13px; line-height: 1.7; overflow-wrap: anywhere; }
.annotation-note { color: var(--muted); font-size: 12px; line-height: 1.6; }
.reference-list { list-style: none; margin: 0; padding: 0; font-size: 12px; overflow-wrap: anywhere; }
.reference-list li + li { margin-top: 16px; }
.reference-list p { color: var(--muted); }
.detail-loading { padding: 20px 0; color: var(--muted); font-size: 13px; }

/* Paper and report content */
.paper-toolbar, .reader-controls { display: flex; align-items: center; justify-content: space-between; gap: 12px; }
.paper-toolbar { margin-bottom: 20px; }
.paper-toolbar select, .reader-controls select { padding: 7px 8px; border: 1px solid #d4d4d4; border-radius: 3px; background: #fff; font-size: 12px; }
.reader-controls { flex-shrink: 0; }
.paper-content { font-size: 15px; line-height: 1.8; overflow-wrap: anywhere; }
.paper-content > :first-child { margin-top: 0; }
.paper-content p { margin: 0 0 1em; }
.paper-content :is(h1, h2, h3, h4, h5, h6) { font-weight: 600; line-height: 1.4; margin: 1.5em 0 .75em; }
.paper-content h1 { font-size: 1.5em; }
.paper-content h2 { font-size: 1.3em; }
.paper-content h3 { font-size: 1.15em; }
.paper-content :is(h4, h5, h6) { font-size: 1em; }
.paper-content ul, .paper-content ol { padding-left: 1.5em; margin: 0 0 1em; }
.paper-content li { margin-bottom: .35em; }
.paper-content blockquote { margin: 1em 0; padding: 0 0 0 1em; border-left: 2px solid #ccc; color: var(--muted); }
.paper-content blockquote p:last-child { margin-bottom: 0; }
.paper-content .katex { font-size: 1em; }
.paper-content .katex-display { margin: 1em 0; max-width: 100%; }
.paper-content img { display: block; max-width: 100%; height: auto; margin: 1em auto; }
.paper-content pre { padding: 12px; border: 1px solid var(--line); font: 12px/1.7 var(--mono); white-space: pre-wrap; overflow-wrap: anywhere; }
.paper-content pre.paper-raw { padding: 0; border: 0; }
.paper-content code { font-size: .85em; }
.paper-content pre code { font: inherit; }
.paper-table { overflow-x: auto; margin: 1em 0; }
.paper-content table { table-layout: auto; min-width: 0; font: inherit; }
.paper-content :is(td, th) { border: 1px solid var(--line); padding: 7px 10px; text-align: left; font: inherit; color: inherit; }
.paper-content th { font-weight: 600; }
.paper-image-unavailable { display: flex; flex-direction: column; align-items: center; gap: 7px; border: 1px solid var(--line); padding: 20px; margin: 1em 0; color: var(--muted); font-size: 12px; }

/* Dialogs */
.modal { width: min(560px, calc(100vw - 32px)); max-height: 90vh; padding: 0; border: 1px solid #ccc; border-radius: 4px; background: #fff; color: var(--ink); }
.modal::backdrop { background: rgb(0 0 0 / 18%); }
.modal-header { display: flex; align-items: center; justify-content: space-between; gap: 20px; padding: 16px 24px; border-bottom: 1px solid var(--line); }
.modal-header h2 { margin: 0; font-size: 18px; overflow-wrap: anywhere; }
.modal-body { padding: 20px 24px 24px; }
.modal-body > :first-child { margin-top: 0; }
.usage-stats { margin: 16px 0 24px; }
.usage-stats > div { display: flex; justify-content: space-between; gap: 24px; padding: 9px 0; border-bottom: 1px solid var(--line); font-size: 12px; }
.usage-stats dt { color: var(--muted); }
.usage-stats dd { margin: 0; font-variant-numeric: tabular-nums; }
#index-status-line { color: var(--muted); font-size: 12px; }
.budget-label { display: block; font-size: 12px; margin-bottom: 8px; }
#search-budget { width: 100%; padding: 8px; border: 1px solid #ccc; border-radius: 3px; background: #fff; }
.reader-modal { width: min(960px, calc(100vw - 32px)); }
.reader-modal .modal-header { position: sticky; top: 0; z-index: 1; background: #fff; }
.reader-modal .paper-content { max-width: 800px; margin: 20px auto 0; }

/* Runs */
.runs-heading { display: flex; justify-content: flex-end; margin-bottom: 16px; }
.runs-layout { display: grid; grid-template-columns: 210px minmax(0, 1fr); gap: 24px; align-items: start; margin-bottom: 24px; }
.runs-list { display: flex; flex-direction: column; gap: 8px; position: sticky; top: 20px; max-height: 85vh; overflow-y: auto; }
.run-list-item { display: flex; flex-direction: column; gap: 5px; padding: 12px; border-left: 2px solid transparent; text-align: left; }
.run-list-item:hover { background: var(--hover); }
.run-list-item.current { border-left-color: var(--ink); }
.run-list-item.successful { background: var(--result-success-bg); border-left-color: #b5d6c1; }
.run-list-item.successful:hover, .run-list-item.successful.current { background: var(--result-success-hover); }
.run-list-item.successful.current { border-left-color: var(--result-success); }
.run-list-results { display: flex; flex-direction: column; gap: 3px; color: var(--result-success); font-size: 11px; font-weight: 500; }
.run-date, .run-list-cost { font-size: 11px; color: var(--muted); }
.run-list-item strong { font-size: 13px; font-weight: 500; }
.run-list-status { font-size: 12px; text-transform: capitalize; }
.run-detail { min-width: 0; border-left: 1px solid var(--line); padding-left: 24px; }
.run-detail-header, .target-heading { display: flex; justify-content: space-between; gap: 20px; align-items: start; }
.record-id { font-size: 11px; color: var(--muted); }
.run-detail-header h2 { margin: 6px 0; font-size: 20px; text-transform: capitalize; }
.run-buttons { display: flex; align-items: center; justify-content: flex-end; gap: 8px; flex-wrap: wrap; }
.run-buttons a { text-decoration: none; }
.run-metrics { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); margin: 20px 0 16px; }
.run-metrics > div { padding: 0 20px; border-left: 1px solid var(--line); }
.run-metrics > div:first-child { padding-left: 0; border-left: 0; }
.run-metrics dt { font-size: 12px; color: var(--muted); margin-bottom: 5px; }
.run-metrics dd { margin: 0; font-size: 22px; font-variant-numeric: tabular-nums; overflow-wrap: anywhere; }
.run-budget-bar { display: flex; height: 3px; background: #eee; overflow: hidden; }
.budget-spent { background: var(--ink); }
.budget-reserved { background: #aaa; }
.run-usage-line { margin: 12px 0 20px; color: var(--muted); font-size: 12px; line-height: 1.8; }
.attempt-target { padding: 24px 0; border-top: 1px solid var(--line); }
.target-heading h3 { margin: 6px 0; font-size: 17px; }
.target-paper { margin: 0; color: var(--muted); font-size: 12px; overflow-wrap: anywhere; }
.target-outcome { flex-shrink: 0; max-width: 40%; font-size: 12px; }
.attempt-target.successful .target-outcome { padding: 4px 8px; border-radius: 3px; background: var(--result-success-bg); color: var(--result-success); font-weight: 500; }
.attempt-statement { margin: 20px 0 12px; font-size: 15px; line-height: 1.75; overflow-wrap: anywhere; }
.attempt-statement .katex { font-size: 1em; }
.target-stages { display: flex; gap: 8px; flex-wrap: wrap; margin-top: 20px; }
.stage-button, .stage-pending { flex: 1; min-width: 110px; padding: 12px; border: 1px solid var(--line); border-radius: 3px; text-align: left; }
.stage-button { display: flex; flex-direction: column; gap: 4px; font-size: 12px; }
.stage-button:hover { border-color: #999; }
.stage-button small { color: var(--muted); font-size: 11px; }
.stage-open { margin-top: 6px; font-size: 11px; text-decoration: underline; text-underline-offset: 3px; }
.stage-pending { color: var(--muted); font-size: 12px; }
.stage-activity { margin: 20px 0 24px; padding: 20px 0; border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); }
.activity-heading { display: flex; align-items: center; justify-content: space-between; gap: 12px; }
.activity-heading h3 { margin: 0; }
#stage-connection { color: var(--muted); font-size: 12px; }
.activity-timeline { list-style: none; padding: 0; margin: 18px 0 0; }
.activity-item { border-left: 1px solid var(--line); padding: 0 0 18px 14px; overflow-wrap: anywhere; }
.activity-item:last-child { padding-bottom: 0; }
.activity-item-heading { display: flex; justify-content: space-between; gap: 10px; flex-wrap: wrap; font-size: 12px; }
.activity-item-status { color: var(--muted); font-size: 11px; }
.activity-item-body { font-size: 13px; line-height: 1.7; }
.activity-item-body p { margin: 8px 0; }
.activity-item-body summary { font-size: 12px; }
.activity-sources { display: flex; flex-direction: column; gap: 7px; margin-top: 8px; }
.activity-item-body .katex { font-size: 1em; }
.activity-empty { color: var(--muted); font-size: 12px; }
.attempt-setup { width: min(640px, calc(100vw - 32px)); }
.attempt-fields { display: grid; grid-template-columns: 1fr 1fr; gap: 16px; margin: 20px 0; }
.attempt-fields label { display: flex; flex-direction: column; gap: 8px; color: var(--muted); font-size: 12px; }
.attempt-fields :is(input, select) { width: 100%; min-width: 0; padding: 8px; border: 1px solid #ccc; border-radius: 3px; background: #fff; color: var(--ink); font-size: 13px; }
.attempt-field-range { font-size: 11px; line-height: 1.5; font-variant-numeric: tabular-nums; }
.attempt-field-range strong { color: var(--ink); font-weight: 500; }
.attempt-advanced summary, .request-details summary { padding: 8px 0; font-size: 12px; }
.attempt-preview { margin: 16px 0; padding: 12px 0; border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); font-size: 12px; }
.attempt-preview p { margin: 8px 0; color: var(--muted); }
.attempt-preview .preview-warning { color: #9a2727; }
#start-attempts { margin-top: 4px; }
.stage-links { display: flex; flex-direction: column; gap: 8px; }
.stage-links a { font-size: 12px; overflow-wrap: anywhere; }
.request-details { border-top: 1px solid var(--line); margin-top: 24px; padding-top: 12px; }
.request-details pre { font: 11px/1.7 var(--mono); white-space: pre-wrap; overflow-wrap: anywhere; max-height: 500px; overflow-y: auto; }

@media (max-width: 1150px) {
  .nav-with-summary { flex-direction: column; align-items: flex-start; justify-content: center; gap: 1px; }
  .workspace.with-inspector { grid-template-columns: minmax(0, 1fr) 340px; gap: 20px; }
  .inspector { padding-left: 20px; }
  .with-inspector #result-table { min-width: 650px; }
}
@media (max-width: 850px) {
  .masthead { height: auto; min-height: 56px; flex-wrap: wrap; gap: 0 24px; }
  .brand { padding: 14px 0; }
  .usage-button { order: 1; }
  .masthead nav { order: 2; width: 100%; }
  .nav-button { padding: 8px 0 10px; }
  .workspace.with-inspector { display: block; }
  .inspector { position: fixed; z-index: 7; inset: 0; width: 100%; max-height: 100dvh; padding: 16px 24px 40px; background: #fff; border: 0; }
  body.mobile-inspector { overflow: hidden; }
  #result-table { min-width: 650px; }
  .runs-layout { grid-template-columns: 1fr; gap: 20px; }
  .runs-list { flex-direction: row; position: static; overflow-x: auto; padding-bottom: 8px; }
  .run-list-item { min-width: 195px; }
  .run-detail { border: 0; padding: 0; }
}
@media (max-width: 580px) {
  .masthead { padding: 0 16px; gap: 0 22px; }
  .masthead nav { display: grid; grid-template-columns: max-content max-content minmax(0, 1.3fr) minmax(0, 1fr); gap: 16px; }
  .nav-button { font-size: 12px; gap: 4px; }
  .nav-button:not(.nav-with-summary) { align-items: baseline; }
  .nav-with-summary { justify-content: flex-start; }
  .nav-summary { flex-direction: column; align-items: flex-start; font-size: 10px; }
  .nav-summary > span + span::before { content: none; }
  .usage-button { font-size: 11px; text-align: right; }
  main { padding: 0 16px 100px; }
  .intro { flex-direction: column; gap: 6px; padding: 24px 0 16px; }
  h1 { font-size: 20px; }
  .corpus-summary { font-size: 11px; gap: 6px; }
  .search-box .button { padding: 8px 12px; }
  .search-options { gap: 20px; }
  .results-toolbar { align-items: flex-start; flex-direction: column; }
  .selection-actions { gap: 10px; }
  .pagination { flex-direction: column; align-items: flex-start; }
  .pagination > div { width: 100%; justify-content: space-between; }
  .selection-tray { left: 12px; right: 12px; bottom: 12px; transform: none; gap: 12px; padding: 10px 12px; }
  .selection-tray strong { white-space: normal; }
  .inspector { padding-left: 16px; padding-right: 16px; }
  .modal-header { padding: 12px 16px; gap: 12px; }
  .modal-body { padding: 16px; }
  .modal-header h2 { font-size: 16px; }
  #reader-dialog .modal-header { flex-wrap: wrap; }
  #reader-dialog .reader-controls { width: 100%; }
  .run-detail-header, .target-heading { flex-direction: column; gap: 12px; }
  .run-buttons { justify-content: flex-start; }
  .run-metrics dd { font-size: 18px; }
  .run-metrics dt { font-size: 11px; }
  .run-metrics > div { padding: 0 10px; }
  .target-outcome { max-width: 100%; }
  .attempt-fields { gap: 12px; }
}
.source-note { margin: 12px 0; }
.source-note summary { cursor: pointer; line-height: 1.5; overflow-wrap: anywhere; }
.source-note .paper-content { padding-top: 12px; }

/* Standalone problem sources do not provide importance or difficulty scores. */
.standalone-library [data-sort-heading="importance"],
.standalone-library [data-sort-heading="difficulty"],
.standalone-library #result-rows td:nth-child(5),
.standalone-library #result-rows td:nth-child(6),
.standalone-library .detail-scores { display: none; }

/* Browse has no query-relative similarity score. */
body[data-view="browse"] [data-sort-heading="similarity"],
body[data-view="browse"] #result-rows td:nth-child(4) { display: none; }

/* ProbXiv hosting: preserve the FAR workflow, use neutral archive typography. */
:root { --ink:#111111; --line:#dddddd; --hover:#f7f7f5; --result-success:#111111; --result-success-bg:#f7f7f5; --result-success-hover:#f0f0ed; }
body { background:#fdfdfc; font-size:16px; }
.masthead { height:auto; min-height:64px; flex-wrap:wrap; gap:16px; padding:12px 24px; background:#5f1b26; color:#fff; }
.masthead .brand { font:600 20px Georgia,serif; }
.masthead nav { min-height:36px; flex-wrap:wrap; gap:18px; }
.masthead .nav-button,.masthead .count,.masthead .nav-summary { color:#fff; }
.masthead .nav-button.active { color:#fff; border-bottom-color:#fff; }
h1 { font:600 30px Georgia,serif; } h2 { font:600 20px Georgia,serif; }
.row-title { font-size:18px; } .annotation-note { overflow-wrap:anywhere; }
main { max-width:none; }
dialog { max-width:min(720px,calc(100vw - 24px)); border-radius:0; box-shadow:none; }
#key-form { padding:16px; } #key-form input { width:100%; min-width:0; padding:10px; border:1px solid #dddddd; }
#key-form button { margin-top:12px; }
@media(max-width:600px){ .masthead { padding:12px; gap:12px; } .masthead nav { order:3; width:100%; gap:14px; } .nav-summary { display:none; } .brand { overflow-wrap:anywhere; } main { padding-left:12px; padding-right:12px; } }
.masthead .usage-button, .masthead .has-results { color:#fff; }
html { overflow-x:clip; }
.button, .notice, .attempt-target, .writeup-abstract, .writeup-report-format select { border-radius:0; box-shadow:none; }
@media(max-width:600px){
  #result-table { min-width:0; width:100%; table-layout:fixed; }
  #result-table .check-column { width:30px; }
  #result-table .rank-cell, #result-table th:nth-child(2), #result-table .score-cell, #result-table th:nth-child(n+4) { display:none; }
  #result-table .conjecture-cell, #result-table .conjecture-column { width:auto; min-width:0; overflow-wrap:anywhere; }
  #result-table .row-title, #result-table .row-preview, #result-table .row-paper { max-width:100%; overflow-wrap:anywhere; }
}