/* Unmodified official font builds; see LICENSES.md and PROVENANCE.json. */
@font-face{font-family:"IBM Plex Sans";src:url(plexsans-var.woff2) format("woff2");font-weight:100 700;font-stretch:85% 100%;font-display:swap}
@font-face{font-family:"IBM Plex Mono";src:url(plexmono-400.woff2) format("woff2");font-weight:400;font-display:swap}
@font-face{font-family:"IBM Plex Mono";src:url(plexmono-500.woff2) format("woff2");font-weight:500 600;font-display:swap}
@font-face{font-family:"Inter";src:url(inter-var.woff2) format("woff2");font-weight:100 900;font-display:swap}