@import url('https://cdn.jsdelivr.net/gh/dreampulse/computer-modern-web-font@master/fonts.css');

/* Typography */
body {
  font-family: "Computer Modern Serif", "Latin Modern Roman", Georgia, serif;
  font-size: 1.15rem;
  line-height: 1.65;
  color: #111111;
}

/* Headings */
h1, h2, h3, h4, h5, h6, .navbar-brand {
  font-family: "Computer Modern Serif", Georgia, serif !important;
  font-weight: bold;
}

/* Center reading column like a standard paper */
#quarto-content {
  max-width: 800px;
  margin: 0 auto;
  padding: 0 1.5rem;
}

main.content {
  text-align: justify;
  text-justify: inter-word;
  hyphens: auto;
}

/* Code and monospace */
code, pre {
  font-family: "Computer Modern Typewriter", monospace !important;
}

/* Theorem and Proof environments */
.theorem, .lemma, .proposition {
  margin: 1.5em 0;
  font-style: italic;
}

.theorem-title, .lemma-title, .proposition-title {
  font-weight: bold;
  font-style: normal;
}

.proof {
  margin: 1.2em 0;
  position: relative;
}

.proof-title {
  font-style: italic;
}

.proof::after {
  content: "□";
  float: right;
}