/* SampleWiki reader: compact academic source/frontier layout. */

.sw-hero {
  border-bottom: 1px solid var(--border);
  padding-bottom: 1.35rem;
}

.sw-hero .lede {
  max-width: 68ch;
}

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

.sw-metrics > div {
  min-width: 0;
  padding: 0.85rem 1rem;
  border-right: 1px solid var(--border);
}

.sw-metrics > div:last-child {
  border-right: 0;
}

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

.sw-metrics strong {
  font-family: var(--font-ui, Inter, system-ui, sans-serif);
  font-size: 1.35rem;
  font-weight: 650;
  line-height: 1.2;
}

.sw-metrics span,
.sw-kicker,
.sw-setting-index,
.sw-expression > span,
.sw-proof-label,
.sw-source-links,
.sw-case-footer,
.sw-open-label,
.sw-badge {
  font-family: var(--font-ui, Inter, system-ui, sans-serif);
  font-size: 0.74rem;
  letter-spacing: 0.03em;
}

.sw-metrics span,
.sw-kicker,
.sw-setting-index,
.sw-expression > span,
.sw-case-footer {
  color: var(--muted);
}

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

.sw-setting-card {
  display: grid;
  grid-template-columns: 2.1rem minmax(0, 1fr);
  gap: 0.55rem 0.85rem;
  min-width: 0;
  padding: 1.1rem 1rem 1.15rem 0;
  border-bottom: 1px solid var(--border);
  color: inherit;
  text-decoration: none;
}

.sw-setting-card:nth-child(odd) {
  padding-right: 1.3rem;
  border-right: 1px solid var(--border);
}

.sw-setting-card:nth-child(even) {
  padding-left: 1.3rem;
}

.sw-setting-card:hover h2 {
  text-decoration: underline;
  text-decoration-thickness: 1px;
  text-underline-offset: 0.14em;
}

.sw-setting-card h2 {
  margin: 0;
  font-size: 1.1rem;
  line-height: 1.3;
}

.sw-setting-index {
  padding-top: 0.18rem;
}

.sw-setting-counts {
  grid-column: 2;
  display: flex;
  flex-wrap: wrap;
  gap: 0.3rem 0.75rem;
  color: var(--muted);
  font-family: var(--font-ui, Inter, system-ui, sans-serif);
  font-size: 0.76rem;
}

.sw-focus-card {
  border-top: 3px solid var(--accent);
  border-bottom: 1px solid var(--border);
  padding: 1.2rem 0 1.25rem;
}

.sw-focus-card h2 {
  margin: 0.18rem 0 0.5rem;
  font-size: 1.42rem;
}

.sw-focus-row {
  display: flex;
  flex-wrap: wrap;
  gap: 0.5rem 1.3rem;
  margin: 0.75rem 0;
  color: var(--muted);
  font-family: var(--font-ui, Inter, system-ui, sans-serif);
  font-size: 0.8rem;
}

.sw-badges {
  display: flex;
  flex-wrap: wrap;
  gap: 0.35rem;
  margin: 0.45rem 0 0.75rem;
}

.sw-badge {
  border: 1px solid var(--border);
  border-radius: 2px;
  padding: 0.2rem 0.42rem;
  color: var(--text);
  background: transparent;
}

.sw-badge-muted {
  color: var(--muted);
}

.sw-badge-stage {
  border-color: color-mix(in srgb, var(--accent) 50%, var(--border));
}

.sw-two-column {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 2rem;
  margin-top: 2rem;
}

.sw-facts {
  margin: 0;
  border-top: 1px solid var(--border);
}

.sw-facts > div {
  display: grid;
  grid-template-columns: 8rem minmax(0, 1fr);
  gap: 1rem;
  padding: 0.55rem 0;
  border-bottom: 1px solid var(--border);
}

.sw-facts dt {
  color: var(--muted);
  font-family: var(--font-ui, Inter, system-ui, sans-serif);
  font-size: 0.76rem;
}

.sw-facts dd {
  min-width: 0;
  margin: 0;
  overflow-wrap: anywhere;
}

.sw-lifecycle {
  display: flex;
  flex-wrap: wrap;
  gap: 0.35rem;
  margin-top: 0.8rem;
}

.sw-lifecycle span {
  padding: 0.2rem 0.35rem;
  border-bottom: 1px solid var(--border);
}

.sw-case-list {
  border-top: 1px solid var(--border);
}

.sw-case-card {
  padding: 1.25rem 0 1.35rem;
  border-bottom: 1px solid var(--border);
}

.sw-case-head {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto;
  gap: 1rem;
  align-items: start;
}

.sw-case-head h2 {
  margin: 0.15rem 0 0;
  font-size: 1.25rem;
}

.sw-case-head .sw-badges {
  justify-content: flex-end;
  margin-top: 0;
}

.sw-claim {
  max-width: 72ch;
  margin: 0.65rem 0;
}

.sw-expression-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 0.75rem;
  margin: 0.75rem 0;
}

.sw-expression {
  min-width: 0;
  border-left: 2px solid var(--border);
  padding: 0.35rem 0 0.35rem 0.7rem;
}

.sw-expression > span {
  display: block;
  margin-bottom: 0.18rem;
  text-transform: uppercase;
}

.sw-expression > div,
.sw-expression > strong {
  display: block;
  font-family: Charter, Georgia, serif;
  font-size: 0.96rem;
  line-height: 1.5;
  overflow-wrap: anywhere;
}

.sw-expression-open {
  border-left-color: var(--accent-warn, #b56a00);
}

.sw-case-footer {
  display: flex;
  justify-content: space-between;
  gap: 1rem;
  align-items: baseline;
  margin-top: 0.8rem;
}

.sw-case-footer a {
  text-align: right;
}

.sw-display {
  margin: 0.75rem auto;
  overflow-x: auto;
  overflow-y: hidden;
  text-align: center;
}

.sw-display mjx-container[display="true"] {
  margin: 0.55rem auto !important;
  text-align: center !important;
}

.sw-conclusion {
  border-top: 1px solid var(--border);
  border-bottom: 1px solid var(--border);
  padding: 0.55rem 0;
}

.sw-proof-route {
  max-width: 76ch;
  padding-left: 1.35rem;
}

.sw-proof-route li {
  margin: 0.38rem 0;
}

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

.sw-proof-step {
  display: grid;
  grid-template-columns: 2.2rem minmax(0, 1fr) minmax(10rem, 18rem);
  gap: 0.75rem;
  align-items: center;
  min-width: 0;
  padding: 0.75rem 0;
  border-bottom: 1px solid var(--border);
}

.sw-proof-step > span {
  color: var(--muted);
  font-family: var(--font-ui, Inter, system-ui, sans-serif);
  font-size: 0.72rem;
}

.sw-proof-step code,
.sw-lean-assembly code {
  overflow-wrap: anywhere;
  white-space: normal;
}

.sw-open-interfaces {
  max-width: 78ch;
  margin: 0.8rem 0;
}

.sw-open-interfaces li {
  margin: 0.35rem 0;
}

.sw-source-links {
  display: flex;
  flex-direction: column;
  gap: 0.3rem;
  margin-top: 0.75rem;
}

.sw-open-label {
  display: inline-block;
  border-bottom: 2px solid var(--accent-warn, #b56a00);
  padding-bottom: 0.15rem;
  margin-bottom: 0.6rem;
  color: var(--text);
}

.sw-truth-note {
  max-width: 72ch;
  color: var(--muted);
  font-size: 0.87rem;
}

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

.sw-frontier-card {
  min-width: 0;
  padding: 1.1rem 0 1.25rem;
  border-bottom: 1px solid var(--border);
}

.sw-frontier-card h2 {
  margin: 0.15rem 0 0.65rem;
  font-size: 1.15rem;
}

.sw-progress-table table {
  font-size: 0.84rem;
}

.sw-progress-table th,
.sw-progress-table td {
  vertical-align: top;
}

@media (max-width: 900px) {
  .sw-metrics,
  .sw-setting-grid,
  .sw-two-column,
  .sw-expression-grid,
  .sw-frontier-grid {
    grid-template-columns: 1fr;
  }

  .sw-metrics > div,
  .sw-setting-card:nth-child(odd),
  .sw-setting-card:nth-child(even) {
    border-right: 0;
    padding-left: 0;
    padding-right: 0;
  }

  .sw-metrics > div {
    border-bottom: 1px solid var(--border);
  }

  .sw-metrics > div:last-child {
    border-bottom: 0;
  }

  .sw-proof-step {
    grid-template-columns: 2rem minmax(0, 1fr);
  }

  .sw-proof-step code {
    grid-column: 2;
  }
}

@media (max-width: 650px) {
  .sw-case-head {
    grid-template-columns: 1fr;
  }

  .sw-case-head .sw-badges {
    justify-content: flex-start;
  }

  .sw-case-footer {
    align-items: flex-start;
    flex-direction: column;
  }

  .sw-case-footer a {
    text-align: left;
  }

  .sw-facts > div {
    grid-template-columns: 1fr;
    gap: 0.15rem;
  }
}