body {
  background: #000;
  color: #fff;
  max-width: 38em;
  margin: 2em auto;
  padding: 0 1em;
  font-family: Georgia, serif;
  font-size: 1.1em;
  line-height: 1.6;
  counter-reset: thm;
}
a { color: #8cf; text-underline-offset: 0.15em; }
a:visited { color: #c9f; }
body > p:first-child, #preamble { border-bottom: 1px solid #333; padding-bottom: 0.6em; }
#preamble p { margin-bottom: 0; }
h1 { font-size: 1.8em; line-height: 1.2; margin: 1.2em 0 0.4em; }
h2 { font-size: 1.3em; margin-top: 2em; }
ul.bib { list-style: none; padding: 0; }
ul.bib li { padding-left: 2em; text-indent: -2em; margin-bottom: 0.6em; }
mjx-container[display] { overflow-x: auto; overflow-y: hidden; }

.theorem, .lemma, .proposition, .corollary, .definition { counter-increment: thm; margin: 1.2em 0; }
.theorem, .lemma, .proposition, .corollary { font-style: italic; }
.theorem > p:first-child::before { content: "Theorem " counter(thm) ". "; }
.lemma > p:first-child::before { content: "Lemma " counter(thm) ". "; }
.proposition > p:first-child::before { content: "Proposition " counter(thm) ". "; }
.corollary > p:first-child::before { content: "Corollary " counter(thm) ". "; }
.definition > p:first-child::before { content: "Definition " counter(thm) ". "; }
.theorem > p:first-child::before, .lemma > p:first-child::before, .proposition > p:first-child::before, .corollary > p:first-child::before, .definition > p:first-child::before { font-style: normal; font-weight: bold; }
.proof > p:first-child::before { content: "Proof. "; font-style: italic; }
.proof > p:last-child::after { content: " ∎"; }
.remark > p:first-child::before { content: "Remark. "; font-style: italic; }
.csl-entry { margin-bottom: 0.6em; }