@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/DMJ8VG8y.woff2)format("woff2"),url(/assets/CvHOgSBP.woff)format("woff")}