@font-face{font-family:B612 Mono;src:url(/fonts/b612-mono-latin-400.woff2)format("woff2");font-style:normal;font-weight:400;font-display:swap;unicode-range:U+20-7E,U+A0-FF,U+2013-2014,U+2018-2019,U+201C-201D,U+2022,U+2026,U+2190-2193,U+2212,U+2264-2265,U+FFFD}