@font-face {
  font-family: 'IBM Plex Mono';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url(https://fonts.gstatic.com/l/font?kit=-F63fjptAgt5VM-kVkqdyU8n5ig4_HdLt9snJ-1V-KPL7PV9-4XQKfcqCOkCcA5DCDsvnxhFoKkFY9II0S0Zea0flyQ&skey=b40c83751ce1954d&v=v20) format('truetype');
}