@font-face { font-family: "IBM Plex Mono"; src: url("/_topcoat/assets/ibm-plex-mono-latin-400-normal-08949f728dc52d52.woff2") format(woff2); font-weight: 400; font-display: swap } @font-face { font-family: "IBM Plex Mono"; src: url("/_topcoat/assets/ibm-plex-mono-latin-500-normal-01d285447409c8a5.woff2") format(woff2); font-weight: 500; font-display: swap } @font-face { font-family: "IBM Plex Mono"; src: url("/_topcoat/assets/ibm-plex-mono-latin-600-normal-c4d3deb734a27e6d.woff2") format(woff2); font-weight: 600 700; font-display: swap }