body {
    font-family: Garamond, 'EB Garamond';
}
@media screen {
    body {
        font-size: 130% !important;
    }
}
@media print {
    body {
        font-size: 90% !important;
    }
}

/* Sticky footer (https://stackoverflow.com/questions/43727032/hero-footer-not-at-bottom-of-page) */
html,
body {
    min-height: 100vh;
    display: flex;
    flex-direction: column;
}
body > footer {
    margin-top: auto;
}

.katex {
    font-size: 100% !important;
}