@font-face{font-family:dejavu sans mono;font-style:normal;font-weight:400;font-display:swap;src:url(/fonts/DejaVuSansMono.woff2)format('woff2')}@font-face{font-family:dejavu sans mono;font-style:normal;font-weight:700;font-display:swap;src:url(/fonts/DejaVuSansMono-Bold.woff2)format('woff2')}