@font-face {
    font-family: "DejaVu Serif";
    src: url("/fonts/DejaVuSerif.ttf");
}

@font-face {
    font-family: "DejaVu Serif";
    src: url("/fonts/DejaVuSerif-Bold.ttf");
    font-weight: bold;
    font-style: normal;
}

@font-face {
    font-family: "DejaVu Serif";
    src: url("/fonts/DejaVuSerif-Italic.ttf");
    font-weight: normal;
    font-style: italic;
}

@font-face {
    font-family: "DejaVu Serif";
    src: url("/fonts/DejaVuSerif-BoldItalic.ttf");
    font-weight: bold;
    font-style: italic;
}

@font-face {
    font-family: "DejaVu Sans";
    src: url("/fonts/DejaVuSans.ttf");
    font-weight: normal;
}

@font-face {
    font-family: "DejaVu Sans";
    src: url("/fonts/DejaVuSans-Bold.ttf");
    font-weight: bold;
}


@font-face {
    font-family: "Syne Mono";
    src: url("./fonts/SyneMono-Regular.woff2") format("woff2");
}

@font-face {
    font-family: "Syne Tactile";
    src: url("./fonts/SyneTactile-Regular.woff2") format("woff2");
}