@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 {
    color: #232333;
    font-family: 'EB Garamond', serif;
    font-size: large;
    line-height: 1.5em;
}

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

.toc {
    font-size: small;
}