@font-face {
  font-family: 'JBMono';
  font-style: italic;
  font-weight: 400;
  src: local('JBMono Italic'), local('JBMono-Italic'), url(/resources/fonts/JBMono/JetBrainsMono-Italic.woff) format('woff');
  font-display: swap;
}

@font-face {
  font-family: 'JBMono';
  font-style: normal;
  font-weight: 400;
  src: local('JBMono'), local('JBMono-Regular'), url(/resources/fonts/JBMono/JetBrainsMono-Regular.woff) format('woff');
  font-display: swap;
}

@font-face {
  font-family: 'JBMono';
  font-style: normal;
  font-weight: 500;
  src: local('JBMono Medium'), local('JBMono-Medium'), url(/resources/fonts/JBMono/JetBrainsMono-Medium.woff) format('woff');
  font-display: swap;
}

@font-face {
  font-family: 'JBMono';
  font-style: normal;
  font-weight: 700;
  src: local('JBMono Bold'), local('JBMono-Bold'), url(/resources/fonts/JBMono/JetBrainsMono-Bold.woff) format('woff');
  font-display: swap;
}