@font-face{font-family:Inter;font-style:normal;font-weight:100 900;font-display:optional;src:url(fonts/Inter-var.woff2) format("woff2")}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:400;font-display:optional;src:url(fonts/IBMPlexMono-400.woff2) format("woff2")}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:500;font-display:optional;src:url(fonts/IBMPlexMono-500.woff2) format("woff2")}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:600;font-display:optional;src:url(fonts/IBMPlexMono-600.woff2) format("woff2")}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:700;font-display:optional;src:url(fonts/IBMPlexMono-700.woff2) format("woff2")}