/* IBM Plex Sans (variable) + IBM Plex Mono — shipped from the product repo (design/fonts). */
@font-face{font-family:'Plex Sans';src:url("../assets/fonts/plexsans-var.woff2") format('woff2');font-weight:100 700;font-style:normal;font-display:swap}
@font-face{font-family:'Plex Mono';src:url("../assets/fonts/plexmono-400.woff2") format('woff2');font-weight:400;font-style:normal;font-display:swap}
@font-face{font-family:'Plex Mono';src:url("../assets/fonts/plexmono-600.woff2") format('woff2');font-weight:600;font-style:normal;font-display:swap}