@font-face {
  font-family: 'JetBrainsMono';
  src: local('JetBrainsMono'),
    url('/fonts/JetBrainsMono-Regular.woff2') format("woff2");
  font-weight: normal;
  font-style: normal;
}
@font-face {
  font-family: 'JetBrainsMono';
  src: local('JetBrainsMono'),
    url('/fonts/JetBrainsMono-Bold.woff2') format("woff2");
  font-weight: bold;
  font-style: bold;
}
@font-face {
  font-family: 'JetBrainsMono';
  src: local('JetbRainsMono'),
    url('/fonts/JetbrainsMono-Italic.woff2') format("woff2");
  font-weight: italic;
  font-style: italic;
}