@font-face{font-family:Noto Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/noto-mono-latin-400-normal-DiC8lJru.woff2) format("woff2"),url(/assets/noto-mono-latin-400-normal-DB13n_If.woff) format("woff")}