@font-face{font-family:DejaVu Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/_next/static/media/dejavu-mono-latin-400-normal.413e4646.woff2) format("woff2"),url(/_next/static/media/dejavu-mono-latin-400-normal.65c12551.woff) format("woff")}@font-face{font-family:DejaVu Mono;font-style:normal;font-display:swap;font-weight:700;src:url(/_next/static/media/dejavu-mono-latin-700-normal.e4786ca2.woff2) format("woff2"),url(/_next/static/media/dejavu-mono-latin-700-normal.e13caef6.woff) format("woff")}