/* Regime-first research directory. Status comes from publication/Lean evidence. */
.sw-primary-regimes { margin: 1.4rem 0 1.8rem; }
.sw-primary-regimes h2 { font-size: 1.55rem; margin: 0 0 .5rem; }
.sw-primary-regimes > p { font-size: 1rem; max-width: 68ch; }
.sw-primary-regimes .sw-setting-book-list {
  display: grid; grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: .65rem; border: 0;
}
.sw-primary-regimes .sw-setting-book-card {
  grid-template-columns: minmax(0, 1fr); gap: .35rem;
  border: 1px solid var(--line); border-radius: .4rem;
  padding: .8rem 1rem; background: var(--surface); min-width: 0;
}
.sw-primary-regimes .sw-setting-book-card small { text-align: left; font-size: .8rem; }
.sw-primary-regimes .sw-setting-book-card:hover { border-color: var(--ink); }
.sw-project-directory { margin-top: .5rem; }
.sw-project-directory > summary { cursor: pointer; font-size: .9rem; }
.sw-extension-proofs li { margin-block: .8rem; overflow-wrap: anywhere; }
.sw-extension-proofs small { display: block; color: var(--muted); }
.sw-casebook-home .sw-casebook-header { padding: .6rem 0 1.1rem; }
.sw-casebook-home .sw-casebook-header h1,
.companion-reader .paper-reader-header h1 {
  font-size: clamp(1.9rem, 3vw, 2.65rem);
  line-height: 1.15; letter-spacing: -.025em; max-width: 30ch;
  margin: .4rem 0 .75rem;
}
.sw-casebook-home .sw-casebook-lede,
.companion-reader .paper-subtitle { font-size: 1.05rem; line-height: 1.65; max-width: 68ch; }
.sw-priority-papers { margin: 1.4rem 0 1.8rem; }
.sw-priority-papers > h2 { font-size: 1.55rem; margin: 0 0 .5rem; }
.sw-priority-papers > p { margin: .4rem 0 1rem; }
.sw-paper-grid { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: .85rem; }
.sw-paper-card {
  display: grid; align-content: start; gap: .45rem; padding: 1rem 1.1rem;
  border: 1px solid var(--line); border-radius: .4rem;
  color: var(--ink); background: var(--surface);
  text-decoration: none; min-width: 0;
}
.sw-paper-card:hover, .sw-paper-card:focus-visible {
  border-color: var(--ink); background: var(--surface-2);
}
.sw-paper-card h3 { font-size: 1.2rem; line-height: 1.35; margin: 0; }
.sw-paper-card h3 a { color: inherit; text-decoration: none; }
.sw-paper-card a:hover, .sw-paper-card a:focus-visible { text-decoration: underline; }
.sw-case-reading-links { border-top: 1px solid var(--line); padding-top: .55rem; font-size: .95rem; }
.sw-paper-directory nav a { font-size: .9rem; line-height: 1.45; padding-block: .35rem; }
.sw-paper-card p { font-size: 1rem; line-height: 1.55; margin: 0; }
.sw-paper-card small, .sw-paper-number { font-size: .8rem; color: var(--muted); }
.sw-paper-action { font-size: .95rem; font-weight: 600; margin-top: .3rem; }
.sw-reader-boundary { color: var(--muted); font-size: .9rem; line-height: 1.5; }
.sw-secondary-reading, .paper-advanced, .paper-source-setting,
.paper-supporting-statements, .paper-section-ledger,
.companion-proof-route, .paper-verified-index, .paper-verified-unit {
  margin: 1rem 0; padding: .85rem 1rem; border: 1px solid var(--line);
  border-radius: .55rem; min-width: 0;
}
.sw-secondary-reading > summary, .paper-advanced > summary,
.paper-source-setting > summary, .paper-supporting-statements > summary,
.paper-section-ledger > summary, .companion-proof-route > summary,
.paper-verified-index > summary, .paper-verified-unit > summary,
.reader-guide > summary { cursor: pointer; display: list-item; font-size: 1rem; line-height: 1.55; }
.sw-secondary-reading[open] > summary, .paper-advanced[open] > summary,
.paper-source-setting[open] > summary, .paper-supporting-statements[open] > summary,
.paper-section-ledger[open] > summary, .companion-proof-route[open] > summary,
.paper-verified-index[open] > summary, .paper-verified-unit[open] > summary { margin-bottom: 1rem; }
.companion-reader { font-size: 1rem; line-height: 1.7; }
.companion-reader .paper-reader-header { margin: 1rem 0; }
.companion-reader .paper-reader-header .companion-status { font-size: .9rem; font-weight: 400; }
.companion-reader section { margin-block: 1.6rem; }
.companion-reader h2 { font-size: 1.55rem; line-height: 1.35; }
.companion-reader h3 { font-size: 1.25rem; line-height: 1.4; }
.companion-reader h4 { font-size: 1.1rem; line-height: 1.45; }
.paper-reading-nav { display: flex; flex-wrap: wrap; gap: .6rem 1.25rem;
  margin: 1rem 0; padding: .7rem 0; border-block: 1px solid var(--border); }
.paper-reading-nav a { font-size: 1rem; }
.paper-entry-link { margin: .75rem 0; font-size: 1rem; }
.paper-checked-work { max-width: 980px; margin: 1.5rem auto; font-size: 1rem; line-height: 1.7; }
.paper-checked-work > h2 { font-size: 1.55rem; }
.paper-verified-unit h2 { font-size: 1.45rem; line-height: 1.4; }
.paper-verified-unit h3 { font-size: 1.2rem; line-height: 1.45; }
.paper-verified-unit > section { padding-top: .5rem; }
.sw-casebook-home .sw-casebook-home-header { padding-bottom: .5rem; }
.sw-casebook-home .sw-casebook-home-header .hero-actions { margin-block: 1rem; }
@media (max-width: 680px) {
  .sw-primary-regimes .sw-setting-book-list { grid-template-columns: minmax(0, 1fr); }
  .sw-paper-grid { grid-template-columns: minmax(0, 1fr); }
  .sw-paper-card { padding: .9rem; }
  .sw-secondary-reading, .paper-advanced, .paper-source-setting,
  .paper-supporting-statements, .paper-section-ledger,
  .companion-proof-route, .paper-verified-index, .paper-verified-unit { padding: .7rem; }
  .companion-reader .paper-reader-header h1 { font-size: 1.85rem; }
}