@font-face {
    font-family: "DejaVuSans";
    src: url("fonts/DejaVuSans.woff2") format("woff2"),
        url("fonts/DejaVuSans.woff") format("woff");
    font-weight: normal;
    font-style: normal;
    font-display: swap;
}