@font-face {
  font-family: "IBM Plex Mono";
  font-style: normal;
  font-weight: 400;
  src:
    local("IBM Plex Mono"),
    local("IBMPlexMono"),
    url("/assets/IBMPlexMono-Regular.woff2") format("woff2");
}
@font-face {
  font-family: "IBM Plex Mono";
  font-style: italic;
  font-weight: 400;
  src:
    local("IBM Plex Mono Italic"),
    local("IBMPlexMono-Italic"),
    url("/assets/IBMPlexMono-Italic.woff2") format("woff2");
}
@font-face {
  font-family: "IBM Plex Mono";
  font-style: normal;
  font-weight: 700;
  src:
    local("IBM Plex Mono Bold"),
    local("IBMPlexMono-Bold"),
    url("/assets/IBMPlexMono-Bold.woff2") format("woff2");
}
@font-face {
  font-family: "IBM Plex Mono";
  font-style: italic;
  font-weight: 700;
  src:
    local("IBM Plex Mono Bold Italic"),
    local("IBMPlexMono-BoldItalic"),
    url("/assets/IBMPlexMono-BoldItalic.woff2") format("woff2");
}