@font-face {
  font-family: "JetBrainsMono";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("/fonts/JetBrainsMono/JetBrainsMono-Regular/JetBrainsMono-Regular.woff2") format("woff2");
}

@font-face {
  font-family: "JetBrainsMono";
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url("/fonts/JetBrainsMono/JetBrainsMono-Medium/JetBrainsMono-Medium.woff2") format("woff2");
}

@font-face {
  font-family: "JetBrainsMono";
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url("/fonts/JetBrainsMono/JetBrainsMono-Bold/JetBrainsMono-Bold.woff2") format("woff2");
}