/* JetBrains Mono, self-hosted (SIL Open Font License; files from @fontsource/jetbrains-mono 5.2.5,
   latin subset). Served from our own asset host so no visitor's address is sent to Google Fonts:
   a Munich court treated that as a GDPR violation in 2022, and the fonts load faster from here. */
@font-face {
  font-family: "JetBrains Mono";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url(/assets/jetbrains-mono-latin-400-normal-48b09c83cfad8dc864dbbf7e9124de35048b6666787e2683c26062957fb0d601.woff2) format("woff2");
}
@font-face {
  font-family: "JetBrains Mono";
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url(/assets/jetbrains-mono-latin-500-normal-8ed92ba15739704d74900eaf2f2b9fa0aa1720197e9f4ee0cd628251481a62e9.woff2) format("woff2");
}
@font-face {
  font-family: "JetBrains Mono";
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: url(/assets/jetbrains-mono-latin-600-normal-2b98f965f4259516567145bf76e87f682ae4db8ec574089d83e2413646477343.woff2) format("woff2");
}
@font-face {
  font-family: "JetBrains Mono";
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url(/assets/jetbrains-mono-latin-700-normal-985336ae9dc23db44f0efcd7f0442cddf4994e77eb45d10160d6924d46514dda.woff2) format("woff2");
}