@font-face {
    font-family: "EB Garamond";
    font-display: swap;
    src:url('/fonts/EBGaramond-VariableFont_wght.ttf') format('truetype');
    font-style: normal;
}
@font-face {
    font-family: "EB Garamond";
    font-display: swap;
    src:url('/fonts/EBGaramond-Italic-VariableFont_wght.ttf') format('truetype');
    font-style: italic;
}

html, p, ul, ol, li {
    color: #232333;
    font-family: 'EB Garamond', serif;
    font-size: large;
    line-height: 1.5em;
}

@media print {
    html, p, ul, ol, li, code {
        font-size: small;
        line-height: 1.2em;
    }
}

.toc {
    font-size: small;
}

.katex {
  font-size: 1em;
  line-height: 1em;
}