/* Final SampleWiki math-reader contract: theorem casebook, not crawler database UI. */

.sw-casebook-reader,
.sw-setting-reader,
.sw-casebook-home,
.sw-casebook-progress,
.sw-casebook-frontier {
  max-width: 980px;
  margin: 0 auto;
}

.sw-casebook-header {
  max-width: 820px;
  padding: 1.2rem 0 2rem;
  border-bottom: 1px solid var(--border);
}

.sw-casebook-home-header {
  max-width: 900px;
}

.sw-casebook-header h1 {
  max-width: 18ch;
  margin: 0.3rem 0 0.85rem;
  font-size: clamp(2rem, 5vw, 3.5rem);
  line-height: 1.05;
  letter-spacing: -0.035em;
}

.sw-casebook-kicker,
.sw-reader-step,
.sw-statement-line > span,
.sw-rigorous-line > span,
.sw-preview-formula > span,
.sw-phase-card > span,
.sw-preview-label,
.sw-statement-status {
  font-family: var(--font-ui, Inter, system-ui, sans-serif);
  font-size: 0.76rem;
  letter-spacing: 0.015em;
  color: var(--muted);
}

.sw-casebook-lede {
  max-width: 68ch;
  margin: 0;
  font-size: 1.08rem;
  line-height: 1.75;
}

.sw-casebook-section {
  max-width: 820px;
  padding: 2.2rem 0;
  border-bottom: 1px solid var(--border);
}

.sw-casebook-section h2 {
  max-width: 28ch;
  margin: 0.28rem 0 0.85rem;
  font-size: 1.55rem;
  line-height: 1.25;
}

.sw-casebook-section > p,
.sw-casebook-assumptions li,
.sw-proof-equation p {
  max-width: 72ch;
  line-height: 1.72;
}

.sw-reader-step {
  display: inline-block;
  margin-bottom: 0.25rem;
  font-weight: 650;
  color: var(--text);
}

.sw-statement-status {
  margin: 0 0 0.2rem;
}

.sw-primary-source,
.sw-inline-references,
.sw-preview-footer {
  display: flex;
  flex-wrap: wrap;
  gap: 0.4rem 1rem;
  align-items: baseline;
  font-family: var(--font-ui, Inter, system-ui, sans-serif);
  font-size: 0.82rem;
}

.sw-primary-source span {
  color: var(--muted);
}

.sw-statement-line,
.sw-rigorous-line,
.sw-preview-formula {
  margin: 1rem 0;
}

.sw-casebook-formula {
  margin: 0.45rem 0 0;
  padding: 0.8rem 0;
  overflow-x: auto;
  overflow-y: hidden;
  text-align: left;
}

.sw-casebook-formula mjx-container[display="true"] {
  margin: 0 !important;
  text-align: left !important;
}

.sw-main-statement {
  padding: 1rem 0;
  font-size: 1.08rem;
}

.sw-proof-equations {
  margin-top: 1.1rem;
  border-top: 1px solid var(--border);
}

.sw-proof-equation {
  display: grid;
  grid-template-columns: 2rem minmax(0, 1fr);
  gap: 0.65rem 1rem;
  align-items: start;
  padding: 1rem 0;
  border-bottom: 1px solid var(--border);
}

.sw-proof-index {
  padding-top: 0.9rem;
  color: var(--muted);
  font-family: var(--font-ui, Inter, system-ui, sans-serif);
  font-size: 0.72rem;
}

.sw-proof-equation p {
  margin: 0.2rem 0 0;
  color: var(--muted);
  font-size: 0.9rem;
}

.sw-source-omission,
.sw-open-statement {
  padding-left: 1rem;
  border-left: 2px solid var(--border);
}

.sw-casebook-assumptions ul {
  max-width: 76ch;
  margin: 0.8rem 0 0;
  padding-left: 1.2rem;
}

.sw-casebook-assumptions li {
  margin: 0.5rem 0;
}

.sw-casebook-disclosure {
  max-width: 820px;
  margin: 0;
  border-bottom: 1px solid var(--border);
}

.sw-casebook-disclosure > summary {
  cursor: pointer;
  list-style: none;
  padding: 1.15rem 0;
  font-family: var(--font-ui, Inter, system-ui, sans-serif);
  font-size: 0.9rem;
  font-weight: 620;
}

.sw-casebook-disclosure > summary::-webkit-details-marker {
  display: none;
}

.sw-casebook-disclosure > summary::after {
  content: "+";
  float: right;
  color: var(--muted);
}

.sw-casebook-disclosure[open] > summary::after {
  content: "−";
}

.sw-casebook-disclosure-body {
  padding: 0 0 1.5rem;
}

.sw-casebook-disclosure-body code {
  display: block;
  width: fit-content;
  max-width: 100%;
  margin: 0.45rem 0;
  padding: 0.35rem 0.55rem;
  overflow-wrap: anywhere;
  white-space: normal;
}

.sw-lean-result {
  margin-bottom: 0.7rem;
}

.sw-casebook-references {
  max-width: 820px;
  padding: 2rem 0 0.5rem;
}

.sw-casebook-references h2 {
  font-size: 1.15rem;
}

.sw-casebook-references ul {
  padding-left: 1.1rem;
}

.sw-casebook-references li {
  margin: 0.35rem 0;
}

.sw-provenance-code {
  margin-top: 1.2rem;
  color: var(--muted);
  font-size: 0.76rem;
}

.sw-setting-book-list {
  margin-top: 0.7rem;
  border-top: 1px solid var(--border);
}

.sw-setting-book-card {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto;
  gap: 0.6rem 1.2rem;
  padding: 1rem 0;
  border-bottom: 1px solid var(--border);
  color: inherit;
  text-decoration: none;
}

.sw-setting-book-card > span {
  font-size: 1.04rem;
  font-weight: 620;
}

.sw-setting-book-card small {
  color: var(--muted);
  text-align: right;
}

.sw-overview-focus {
  max-width: 820px;
  margin-top: 2.8rem;
  padding-top: 1.5rem;
  border-top: 2px solid var(--text);
}

.sw-setting-theorems {
  padding-top: 2rem;
}

.sw-theorem-preview-list {
  margin-top: 0.65rem;
  border-top: 1px solid var(--border);
}

.sw-theorem-preview {
  padding: 1.25rem 0 1.4rem;
  border-bottom: 1px solid var(--border);
}

.sw-theorem-preview h2 {
  margin: 0.2rem 0 0.25rem;
  font-size: 1.28rem;
}

.sw-theorem-preview h2 a {
  color: inherit;
  text-decoration: none;
}

.sw-theorem-preview h2 a:hover {
  text-decoration: underline;
  text-underline-offset: 0.14em;
}

.sw-preview-label {
  margin: 0 0 0.65rem;
}

.sw-preview-formula {
  display: grid;
  grid-template-columns: 8.5rem minmax(0, 1fr);
  gap: 0.4rem 1rem;
  align-items: baseline;
  margin: 0.2rem 0;
}

.sw-preview-formula .sw-casebook-formula {
  margin: 0;
  padding: 0.2rem 0;
  font-size: 0.93rem;
}

.sw-preview-footer {
  justify-content: space-between;
  margin-top: 0.85rem;
}

.sw-preview-open,
.sw-reference-pending {
  color: var(--muted);
}

.sw-progress-metrics {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  margin: 1.8rem 0 2.8rem;
  border-top: 1px solid var(--border);
  border-bottom: 1px solid var(--border);
}

.sw-progress-metrics > div {
  padding: 0.9rem 1rem 0.9rem 0;
}

.sw-progress-metrics strong,
.sw-progress-metrics span {
  display: block;
}

.sw-progress-metrics strong {
  font-size: 1.45rem;
}

.sw-progress-metrics span {
  margin-top: 0.2rem;
  color: var(--muted);
  font-size: 0.76rem;
}

.sw-phase-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 0 1.8rem;
  margin-top: 0.8rem;
  border-top: 1px solid var(--border);
}

.sw-phase-card {
  padding: 1rem 0 1.2rem;
  border-bottom: 1px solid var(--border);
}

.sw-phase-card h2 {
  margin: 0.18rem 0 0.6rem;
  font-size: 1.08rem;
}

.sw-phase-card ol {
  margin: 0;
  padding-left: 1.2rem;
}

.sw-phase-card li {
  margin: 0.35rem 0;
  line-height: 1.55;
}

.sw-progress-groups {
  margin-top: 0.8rem;
}

.sw-progress-group {
  border-top: 1px solid var(--border);
}

.sw-progress-group > summary {
  cursor: pointer;
  padding: 0.8rem 0;
  font-weight: 620;
}

.sw-progress-group ul {
  margin-top: 0;
  padding-left: 1rem;
  list-style: none;
}

.sw-progress-group li {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto;
  gap: 1rem;
  padding: 0.45rem 0;
}

.sw-progress-group li span {
  color: var(--muted);
  font-size: 0.78rem;
}

/* Historical database UI is deliberately not part of the final reader. */
.sw-raw-row,
.sw-expression-grid,
.sw-case-footer,
.sw-source-theorem-audit,
.sw-lifecycle {
  display: none !important;
}

@media (max-width: 760px) {
  .sw-setting-book-card,
  .sw-preview-formula,
  .sw-progress-group li {
    grid-template-columns: 1fr;
  }

  .sw-setting-book-card small,
  .sw-progress-group li span {
    text-align: left;
  }

  .sw-progress-metrics,
  .sw-phase-grid {
    grid-template-columns: 1fr 1fr;
  }

  .sw-casebook-formula {
    font-size: 0.92rem;
  }
}

@media (max-width: 480px) {
  .sw-progress-metrics,
  .sw-phase-grid {
    grid-template-columns: 1fr;
  }
}