/* Paper-first SampleWiki detail polish.  This layer is intentionally quiet:
   mathematics dominates; provenance and formal infrastructure recede. */

.sw-casebook-reader {
  max-width: 1080px;
}

.sw-casebook-reader .sw-casebook-header {
  max-width: 900px;
  padding-top: 1.5rem;
  padding-bottom: 2.35rem;
}

.sw-casebook-reader .sw-casebook-header h1 {
  max-width: 22ch;
  font-size: clamp(2.25rem, 5vw, 4rem);
  line-height: 1.02;
}

.sw-casebook-jump {
  position: sticky;
  top: 0.65rem;
  z-index: 6;
  display: flex;
  flex-wrap: wrap;
  gap: 0.35rem 1.15rem;
  width: fit-content;
  max-width: 100%;
  margin: 1rem 0 0;
  padding: 0.55rem 0.8rem;
  border: 1px solid var(--border);
  border-radius: 999px;
  background: var(--bg, Canvas);
  box-shadow: 0 8px 28px color-mix(in srgb, var(--text) 7%, transparent);
  font-family: var(--font-ui, Inter, system-ui, sans-serif);
  font-size: 0.78rem;
}

.sw-casebook-jump a {
  color: var(--muted);
  text-decoration: none;
}

.sw-casebook-jump a:hover {
  color: var(--text);
}

.sw-casebook-reader .sw-casebook-section,
.sw-casebook-reader .sw-casebook-disclosure,
.sw-casebook-reader .sw-casebook-references {
  max-width: 900px;
}

.sw-casebook-reader .sw-casebook-section {
  padding: 3rem 0;
}

.sw-casebook-reader .sw-reader-step {
  margin-bottom: 0.55rem;
  font-size: 0.72rem;
  letter-spacing: 0.055em;
  text-transform: none;
}

.sw-statement-heading {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(220px, 0.7fr);
  gap: 1.2rem 2rem;
  align-items: end;
  margin-bottom: 1.35rem;
}

.sw-statement-heading h2 {
  margin-bottom: 0;
}

.sw-paper-line {
  display: flex;
  flex-direction: column;
  gap: 0.22rem;
  align-items: flex-start;
  padding: 0.8rem 0 0.15rem 1rem;
  border-left: 2px solid var(--border);
  font-family: var(--font-ui, Inter, system-ui, sans-serif);
  font-size: 0.8rem;
  line-height: 1.45;
}

.sw-paper-line span {
  color: var(--muted);
}

.sw-casebook-statement .sw-statement-line {
  margin: 0.95rem 0;
  padding: 1.05rem 1.2rem 1.15rem;
  border: 1px solid var(--border);
  border-radius: 14px;
  background: color-mix(in srgb, var(--text) 2.5%, transparent);
}

.sw-casebook-statement .sw-statement-line > span {
  display: block;
  margin-bottom: 0.2rem;
}

.sw-casebook-statement .sw-main-statement {
  padding: 0.65rem 0 0.15rem;
  font-size: 1.16rem;
}

.sw-reading-note {
  margin-top: 1.25rem;
  font-size: 0.95rem;
}

.sw-truth-note,
.sw-derivation-boundary {
  max-width: 76ch;
  margin-top: 0.9rem;
  color: var(--muted);
  font-family: var(--font-ui, Inter, system-ui, sans-serif);
  font-size: 0.79rem;
  line-height: 1.6;
}

.sw-casebook-proof > h2 {
  max-width: 36ch;
}

.sw-casebook-proof .sw-proof-equations {
  position: relative;
  margin-top: 1.6rem;
  border-top: 0;
}

.sw-casebook-proof .sw-proof-equations::before {
  content: "";
  position: absolute;
  top: 1.55rem;
  bottom: 1.55rem;
  left: 1.04rem;
  width: 1px;
  background: var(--border);
}

.sw-casebook-proof .sw-proof-equation {
  position: relative;
  grid-template-columns: 2.1rem minmax(0, 1fr);
  gap: 0.65rem 1.25rem;
  padding: 1.2rem 0;
  border-bottom: 0;
}

.sw-casebook-proof .sw-proof-index {
  position: relative;
  z-index: 1;
  display: grid;
  place-items: center;
  width: 2.05rem;
  height: 2.05rem;
  padding: 0;
  border: 1px solid var(--border);
  border-radius: 50%;
  background: var(--bg, Canvas);
  color: var(--muted);
}

.sw-derivation-step h3 {
  max-width: 72ch;
  margin: 0.28rem 0 0;
  font-family: inherit;
  font-size: 1rem;
  font-weight: 520;
  line-height: 1.65;
}

.sw-derivation-formula {
  margin-top: 0.45rem;
  padding: 0.55rem 0;
  font-size: 0.98rem;
}

.sw-assumption-grid {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 1rem;
  margin-top: 1.4rem;
}

.sw-assumption-panel {
  padding: 1rem 1.05rem 1.1rem;
  border: 1px solid var(--border);
  border-radius: 12px;
}

.sw-assumption-panel h3 {
  margin: 0 0 0.55rem;
  font-family: var(--font-ui, Inter, system-ui, sans-serif);
  font-size: 0.8rem;
  font-weight: 650;
}

.sw-assumption-panel ul {
  margin: 0;
  padding-left: 1.05rem;
}

.sw-assumption-panel li {
  margin: 0.45rem 0;
  font-size: 0.86rem;
  line-height: 1.58;
}

.sw-casebook-disclosure > summary {
  color: var(--muted);
  font-size: 0.82rem;
}

.sw-casebook-disclosure[open] > summary {
  color: var(--text);
}

.sw-lean-reserved {
  max-width: 72ch;
  color: var(--muted);
  font-size: 0.84rem;
  line-height: 1.65;
}

.sw-casebook-references {
  margin-top: 0.25rem;
  padding-top: 2.5rem;
  color: var(--muted);
}

.sw-casebook-references h2 {
  color: var(--text);
}

@media (max-width: 820px) {
  .sw-casebook-jump {
    position: static;
    border-radius: 12px;
  }

  .sw-statement-heading,
  .sw-assumption-grid {
    grid-template-columns: 1fr;
  }

  .sw-paper-line {
    padding-top: 0.25rem;
  }
}

@media (max-width: 520px) {
  .sw-casebook-reader .sw-casebook-section {
    padding: 2.35rem 0;
  }

  .sw-casebook-statement .sw-statement-line {
    padding: 0.8rem 0.85rem 0.9rem;
  }

  .sw-casebook-jump {
    gap: 0.45rem 0.85rem;
  }
}