.source-contract-card {
  display: grid;
  gap: 1.05rem;
}

.source-contract-header {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 1rem;
  border-bottom: 1px solid var(--border, #d9d9d9);
  padding-bottom: .55rem;
}

.source-contract-meta,
.source-contract-provenance {
  color: var(--muted, #6b6b6b);
  font-size: .88rem;
}

.source-contract-chewi-statement h3,
.source-contract-chewi-proof h3,
.source-contract-hidden-assumptions h3 {
  margin-bottom: .55rem;
}

.source-contract-hidden-assumptions {
  border-left: 3px solid var(--border-strong, #b8b8b8);
  padding: .25rem 0 .25rem 1rem;
}

.source-contract-hidden-assumptions h4,
.source-contract-astis-latex h4,
.source-contract-lean h4 {
  margin: .65rem 0 .35rem;
  font-size: .95rem;
}

.source-contract-proof-step {
  display: grid;
  grid-template-columns: 2rem minmax(0, 1fr);
  gap: .65rem;
  align-items: start;
  margin: .55rem 0;
}

.source-contract-proof-index {
  font-variant-numeric: tabular-nums;
  color: var(--muted, #6b6b6b);
  padding-top: .35rem;
}

.source-contract-astis-latex,
.source-contract-lean,
.source-contract-implicit-proof {
  margin-top: .5rem;
}

.source-contract-link {
  width: fit-content;
}

.source-contract-implicit > .formula {
  margin: .8rem 0;
}

.source-contract-implicit .source-contract-lean ul,
.source-contract-card .source-contract-lean ul {
  overflow-wrap: anywhere;
}