@font-face{font-family:DejaVu Mono;font-style:normal;font-display:swap;font-weight:700;src:url(../media/dejavu-mono-latin-700-normal.0q6dkibqtmnq-.woff2)format("woff2"),url(../media/dejavu-mono-latin-700-normal.1-u29he0agimp.woff)format("woff")}