@font-face{font-family:Noto Sans Mono;font-style:normal;font-weight:400;src:url(/assets/noto-sans-mono.2895d8ac.woff2) format("woff2"),url(/assets/noto-sans-mono.8be12722.woff) format("woff")}@font-face{font-family:Noto Sans;font-style:normal;font-weight:400;src:url(/assets/noto-sans.7157ccea.woff2) format("woff2"),url(/assets/noto-sans.700e0d41.woff) format("woff")}