@font-face{font-family:"DejaVu Sans";src:url("/assets/fonts/DejaVuSans.ttf");font-weight:400;font-display:swap}
@font-face{font-family:"DejaVu Sans";src:url("/assets/fonts/DejaVuSans-Bold.ttf");font-weight:700;font-display:swap}
@font-face{font-family:"DejaVu Serif";src:url("/assets/fonts/DejaVuSerif.ttf");font-weight:400;font-display:swap}
@font-face{font-family:"DejaVu Serif";src:url("/assets/fonts/DejaVuSerif-Bold.ttf");font-weight:700;font-display:swap}
@font-face{font-family:"DejaVu Sans Mono";src:url("/assets/fonts/DejaVuSansMono.ttf");font-weight:400;font-display:swap}
@font-face{font-family:"DejaVu Sans Mono";src:url("/assets/fonts/DejaVuSansMono-Bold.ttf");font-weight:700;font-display:swap}