@font-face {
  font-family: 'JetBrainsMono';
  font-style: normal;
  font-weight: 100;
  src: url(JetBrainsMono/JetBrainsMono-Thin.woff2) format('woff');
}
@font-face {
  font-family: 'JetBrainsMono';
  font-style: normal;
  font-weight: 300;
  src: url(JetBrainsMono/JetBrainsMono-Light.woff2) format('woff');
}
@font-face {
  font-family: 'JetBrainsMono';
  font-style: normal;
  font-weight: 400;
  src: url(JetBrainsMono/JetBrainsMono-Regular.woff2) format('woff');
}
@font-face {
  font-family: 'JetBrainsMono';
  font-style: normal;
  font-weight: 500;
  src: url(JetBrainsMono/JetBrainsMono-Medium.woff2) format('woff');
}
@font-face {
  font-family: 'JetBrainsMono';
  font-style: normal;
  font-weight: 600;
  src: url(JetBrainsMono/JetBrainsMono-Bold.woff2) format('woff');
}