@font-face {
    font-family: "DejaVu Serif Bold";
    src: url('/site-fonts/01a0df6a-0b7d-736f-aae4-76c9e962b6e0/dejavu_serif_bold.ttf') format('truetype');
    font-weight: normal;
    font-style: normal;
    font-display: swap;
}