@font-face {
  font-family: "JetBrains Mono";
  src: local("JetBrains Mono"),
       local("JetBrainsMono"),
       url("JetBrainsMono-Medium.woff2") format("woff2"),
       url("JetBrainsMono-Medium.ttf") format("truetype");
  font-style: normal;
  font-weight: 500;
  font-display: swap;
}