@font-face {
  font-family: JetBrainsMono;
  src: url(/static/fonts/JetBrainsMono-Regular.woff2) format('woff2'),
  url(/static/fonts/JetBrainsMono-Regular.woff) format('woff'),
  url(/static/fonts/JetBrainsMono-Regular.ttf) format('truetype');
  font-weight: 400;
  font-style: normal;
  font-display: swap;
}
@font-face {
  font-family: JetBrainsMonoItalic;
  src: url(/static/fonts/JetBrainsMono-Italic.woff2) format('woff2'),
  url(/static/fonts/JetBrainsMono-Italic.woff) format('woff'),
  url(/static/fonts/JetBrainsMono-Italic.ttf) format('truetype');
  font-weight: 400;
  font-style: italic;
  font-display: swap;
}
@font-face {
  font-family: JetBrainsMono;
  src: url(/static/fonts/JetBrainsMono-Medium.woff2) format('woff2'),
  url(/static/fonts/JetBrainsMono-Medium.woff) format('woff'),
  url(/static/fonts/JetBrainsMono-Medium.ttf) format('truetype');
  font-weight: 500;
  font-style: normal;
  font-display: swap;
}
@font-face {
  font-family: JetBrainsMono;
  src: url(/static/fonts/JetBrainsMono-Medium-Italic.woff2) format('woff2'),
  url(/static/fonts/JetBrainsMono-Medium-Italic.woff) format('woff'),
  url(/static/fonts/JetBrainsMono-Medium-Italic.ttf) format('truetype');
  font-weight: 500;
  font-style: italic;
  font-display: swap;
}
@font-face {
  font-family: JetBrainsMono;
  src: url(/static/fonts/JetBrainsMono-Bold.woff2) format('woff2'),
  url(/static/fonts/JetBrainsMono-Bold.woff) format('woff'),
  url(/static/fonts/JetBrainsMono-Bold.ttf) format('truetype');
  font-weight: 700;
  font-style: normal;
  font-display: swap;
}
@font-face {
  font-family: JetBrainsMono;
  src: url(/static/fonts/JetBrainsMono-Bold-Italic.woff2) format('woff2'),
  url(/static/fonts/JetBrainsMono-Bold-Italic.woff) format('woff'),
  url(/static/fonts/JetBrainsMono-Bold-Italic.ttf) format('truetype');
  font-weight: 700;
  font-style: italic;
  font-display: swap;
}
@font-face {
  font-family: JetBrainsMono;
  src: url(/static/fonts/JetBrainsMono-ExtraBold.woff2) format('woff2'),
  url(/static/fonts/JetBrainsMono-ExtraBold.woff) format('woff'),
  url(/static/fonts/JetBrainsMono-ExtraBold.ttf) format('truetype');
  font-weight: 900;
  font-style: normal;
  font-display: swap;
}
@font-face {
  font-family: JetBrainsMono;
  src: url(/static/fonts/JetBrainsMono-ExtraBold-Italic.woff2) format('woff2'),
  url(/static/fonts/JetBrainsMono-ExtraBold-Italic.woff) format('woff'),
  url(/static/fonts/JetBrainsMono-ExtraBold-Italic.ttf) format('truetype');
  font-weight: 900;
  font-style: italic;
  font-display: swap;
}