/* COR-001 approved final micro-fix: equal-height proof cells only.
   Intrinsic grid sizing follows the longest label; no fixed height, text
   truncation, extra padding or dependency on the neighbouring relationships. */
.proof-relations-grid .proof-row {
  align-items: stretch;
  grid-auto-rows: 1fr;
}
.proof-relations-grid .proof-row > div {
  align-self: stretch;
  justify-content: flex-start;
}