.search-wrap { position: relative; }
.search-label { position: absolute; inline-size: 1px; block-size: 1px; overflow: hidden; clip-path: inset(50%); }
.search-input {
  width: 100%;
  min-height: 2.75rem;
  border: 1px solid var(--border-strong);
  border-radius: var(--radius-control);
  padding: var(--space-2) 5rem var(--space-2) var(--space-3);
  background: var(--surface-primary);
  color: var(--text-primary);
  box-shadow: inset 0 0 0 1px var(--grid-line);
}
.search-hint { position: absolute; inset: 50% var(--space-3) auto auto; color: var(--text-muted); font-size: 0.75rem; transform: translateY(-50%); }

.field { display: grid; gap: var(--space-1); margin-block-end: var(--space-4); }
.field-label { font-size: 0.75rem; font-weight: 600; }
.select {
  width: 100%;
  min-height: 2.75rem;
  border: 1px solid var(--border-strong);
  border-radius: var(--radius-control);
  padding-inline: var(--space-3);
  background: var(--surface-primary);
  color: var(--text-primary);
}

.check-row {
  display: flex;
  gap: var(--space-3);
  align-items: center;
  min-height: 2.75rem;
  color: var(--text-secondary);
  cursor: pointer;
}
.check-row input { inline-size: 1.125rem; block-size: 1.125rem; accent-color: var(--accent-primary); }

.progress-box {
  margin-block-start: var(--space-6);
  border: 1px solid var(--border-default);
  border-radius: var(--radius-card);
  padding: var(--space-4);
  background: var(--surface-secondary);
}
.progress-box::before { display: block; margin-block-end: var(--space-2); color: var(--accent-primary); content: "PROOF PROGRESS"; font-family: "Cascadia Mono", Consolas, monospace; font-size: 0.6875rem; letter-spacing: 0.08em; }
.progress-box p { margin: 0; color: var(--text-secondary); font-size: 0.875rem; }
.progress-box strong { display: block; color: var(--text-primary); font-size: 1.375rem; font-variant-numeric: tabular-nums; }

.result-list { display: grid; gap: var(--space-2); }
.family-row {
  display: grid;
  grid-template-columns: 3.5rem 1fr;
  gap: var(--space-4);
  width: 100%;
  border: 1px solid transparent;
  border-inline-start: 0.1875rem solid transparent;
  border-radius: 0;
  padding: var(--space-4);
  background: transparent;
  color: var(--text-primary);
  text-align: start;
  cursor: pointer;
  transition: background var(--motion-micro), border-color var(--motion-micro);
}
.family-row:hover { border-color: var(--border-default); background: var(--surface-primary); }
.family-row[aria-current="true"] { border-color: var(--border-default); border-inline-start-color: var(--accent-primary); background: var(--surface-selected); }
.family-id { color: var(--accent-primary); font-family: "Cascadia Mono", Consolas, monospace; font-variant-numeric: tabular-nums; font-weight: 650; }
.family-title { margin: 0; font-family: "Cambria Math", Cambria, Georgia, serif; font-size: 1.125rem; line-height: 1.35; }
.family-description { display: -webkit-box; margin: var(--space-1) 0 var(--space-2); overflow: hidden; color: var(--text-secondary); font-size: 0.875rem; -webkit-box-orient: vertical; -webkit-line-clamp: 2; }
.family-meta { display: flex; flex-wrap: wrap; gap: var(--space-2); align-items: center; color: var(--text-muted); font-size: 0.75rem; }

.badge { display: inline-flex; align-items: center; min-height: 1.5rem; border: 1px solid var(--border-default); border-radius: 0.1875rem; padding-inline: var(--space-2); background: var(--surface-secondary); color: var(--text-secondary); font-family: "Cascadia Mono", Consolas, monospace; font-size: 0.6875rem; font-weight: 600; }
.badge-lean { background: var(--status-success-soft); color: var(--status-success); }
.badge-reasoning { background: var(--accent-soft); color: var(--accent-hover); }

.button {
  display: inline-flex;
  gap: var(--space-2);
  align-items: center;
  justify-content: center;
  min-height: 2.75rem;
  border: 1px solid var(--border-strong);
  border-radius: var(--radius-control);
  padding: var(--space-2) var(--space-4);
  background: var(--surface-primary);
  color: var(--text-primary);
  font-weight: 650;
  text-decoration: none;
  cursor: pointer;
  transition: background var(--motion-micro), color var(--motion-micro), transform var(--motion-micro);
}
.button:hover { background: var(--surface-secondary); color: var(--text-primary); }
.button:active { transform: scale(0.98); }
.button-primary { border-color: var(--accent-primary); background: var(--accent-primary); color: var(--surface-canvas); }
.button-primary:hover { background: var(--accent-hover); color: var(--surface-canvas); }
.button-row { display: flex; flex-wrap: wrap; gap: var(--space-2); margin-block: var(--space-5); }
.load-more { width: 100%; margin-block-start: var(--space-4); }

.detail-kicker { margin: 0; color: var(--accent-primary); font-family: "Cascadia Mono", Consolas, monospace; font-size: 0.6875rem; font-weight: 700; letter-spacing: 0.06em; text-transform: uppercase; }
.detail-title { margin: var(--space-2) 0 var(--space-3); border-block-start: 0.1875rem solid var(--accent-primary); padding-block-start: var(--space-3); font-family: "Cambria Math", Cambria, Georgia, serif; font-size: 2rem; line-height: 1.15; letter-spacing: -0.02em; text-wrap: balance; }
.detail-description { color: var(--text-secondary); }
.detail-status { display: flex; flex-wrap: wrap; gap: var(--space-2); }

.video-section, .paper-section { margin-block-start: var(--space-8); }
.video-section h3, .paper-section h3 { margin-block-end: var(--space-1); font-size: 1.125rem; }
.video-note { margin: 0 0 var(--space-4); color: var(--text-muted); font-size: 0.75rem; }
.video-list, .paper-list { display: grid; gap: var(--space-2); margin: 0; padding: 0; list-style: none; }
.video-item, .paper-item { display: grid; grid-template-columns: 2rem 1fr; gap: var(--space-3); border-block-start: 1px solid var(--border-default); padding-block: var(--space-3); }
.video-item:last-child, .paper-item:last-child { border-block-end: 1px solid var(--border-default); }
.video-rank { color: var(--accent-primary); font-family: "Cascadia Mono", Consolas, monospace; font-size: 0.75rem; font-variant-numeric: tabular-nums; }
.video-item > div, .paper-item > div { min-width: 0; }
.video-link, .paper-link { color: var(--text-primary); font-family: "Cambria Math", Cambria, Georgia, serif; font-weight: 650; overflow-wrap: anywhere; }
.video-link:hover, .paper-link:hover { color: var(--accent-hover); }
.video-meta, .paper-meta { display: block; margin-block-start: var(--space-1); color: var(--text-muted); font-size: 0.75rem; overflow-wrap: anywhere; }
.video-empty { border: 1px dashed var(--border-strong); padding: var(--space-4); color: var(--text-secondary); font-size: 0.875rem; }

.manuscript-list { margin-block-start: var(--space-8); }
.manuscript-list h3 { margin-block-end: var(--space-3); font-size: 1.125rem; }
.manuscript {
  border-block-start: 1px solid var(--border-default);
  padding-block: var(--space-3);
}
.manuscript:last-child { border-block-end: 1px solid var(--border-default); }
.manuscript summary { min-height: 2.75rem; cursor: pointer; font-family: "Cambria Math", Cambria, Georgia, serif; font-weight: 650; }
.manuscript p { color: var(--text-secondary); font-size: 0.875rem; }

.empty-state, .error-state {
  border: 1px dashed var(--border-strong);
  border-radius: var(--radius-card);
  padding: var(--space-8);
  color: var(--text-secondary);
  text-align: center;
}
.error-state { border-style: solid; background: var(--status-warning-soft); color: var(--status-warning); }
.skeleton.skeleton-line { min-height: 3rem; margin-block-start: var(--space-2); }
.skeleton { min-height: 7rem; border-radius: var(--radius-control); background: var(--surface-secondary); opacity: 0.7; animation: proof-pulse 1.2s ease-in-out infinite alternate; }
.visually-hidden { position: absolute; inline-size: 1px; block-size: 1px; overflow: hidden; clip-path: inset(50%); }

.showcase { width: min(100% - 2rem, 70rem); margin-inline: auto; padding-block: var(--space-12); }
.showcase section { margin-block: var(--space-12); }
.showcase-grid { display: grid; grid-template-columns: repeat(auto-fit, minmax(min(18rem, 100%), 1fr)); gap: var(--space-6); }
.showcase-card { border: 1px solid var(--border-default); border-radius: var(--radius-card); padding: var(--space-6); background: var(--surface-primary); }

@keyframes proof-pulse { to { opacity: 0.35; } }

@media (max-width: 39.99rem) {
  .family-row { grid-template-columns: 2.75rem 1fr; gap: var(--space-2); padding-inline: var(--space-2); }
  .detail-title, .detail-description { overflow-wrap: anywhere; }
  .detail-title { font-size: 1.5rem; text-wrap: wrap; }
  .button-row .button { width: 100%; }
}