@font-face {
  font-family: 'IBM Plex Mono';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src:
      local('IBM Plex Mono'),
      local('IBMPlexMono'),
      url('/fonts/woff2/IBMPlexMono-Regular.woff2') format('woff2'),
      url('/fonts/woff/IBMPlexMono-Regular.woff') format('woff'),
      url('/fonts/ttf/IBMPlexMono-Regular.ttf') format('truetype')
}

@font-face {
  font-family: 'IBM Plex Mono';
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src:
      local('IBM Plex Mono Bold'),
      local('IBMPlexMono-Bold'),
      url('/fonts/woff2/IBMPlexMono-Bold.woff2') format('woff2'),
      url('/fonts/woff/IBMPlexMono-Bold.woff') format('woff'),
      url('/fonts/ttf/IBMPlexMono-Bold.ttf') format('truetype')
}