@font-face{font-family:DejaVu Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/dejavu-mono-latin-400-normal-CC484euo.woff2)format("woff2"),url(/assets/dejavu-mono-latin-400-normal-R91RS3ZJ.woff)format("woff")}