/* Match the article's text scale; KaTeX supplies its own internal metrics. */
.math > .katex, .math-display .katex { font-size: 1.05em; }
.math { white-space: normal; }
.katex { overflow-wrap: normal; text-indent: 0; text-transform: none; letter-spacing: normal; }
.math-display {
  margin: 8px 0 28px;
  padding: 20px 0;
  border-block: 1px solid var(--hairline);
  overflow-x: auto;
  overscroll-behavior-x: contain;
}
.math-display > .katex-display { margin: 0; }
.math-display .katex-display > .katex { text-align: left; }
/* Long bounds stay within their own cells, never across neighbouring results. */
#proof-table td:nth-child(3) .math {
  display: inline-block;
  max-width: 100%;
  overflow-x: auto;
  vertical-align: middle;
  padding-block: .35em;
}
@media (max-width: 600px) {
  .math-display { padding-block: 16px; }
  .math-display .katex { font-size: 1em; }
}
@media print {
  .math-display { break-inside: avoid; }
}