@font-face{font-family:Instrument Sans;font-style:normal;font-weight:400 700;font-stretch:75% 100%;font-display:swap;src:url(instrument-sans-var.woff2) format("woff2")}@font-face{font-family:DM Mono;font-style:normal;font-weight:400;font-display:swap;src:url(dm-mono-400.woff2) format("woff2")}@font-face{font-family:DM Mono;font-style:normal;font-weight:500;font-display:swap;src:url(dm-mono-500.woff2) format("woff2")}