/* static fonts */
@font-face { font-family: "DejaVu Sans Mono"; font-style: normal; font-weight: 400; font-display: swap; src: url("DejaVuSansMono.woff2") format("woff2"); }