@font-face { font-family: "IBM Plex Mono"; src: url("/_topcoat/assets/latin-400-normal-08949f728dc52d52.woff2") format(woff2); font-weight: 400; font-display: swap } @font-face { font-family: "IBM Plex Mono"; src: url("/_topcoat/assets/latin-700-normal-4f84d86cfd060f4d.woff2") format(woff2); font-weight: 700; font-display: swap }