/* Inter and JetBrains Mono (latin), self-hosted so the app page loads
   nothing from third parties. Both are variable fonts: one file per family
   covers every weight used. Licensed under the SIL Open Font License. */
@font-face {
  font-family: "Inter"; font-style: normal; font-weight: 100 900; font-display: swap;
  src: url(inter-latin.woff2) format("woff2");
}
@font-face {
  font-family: "JetBrains Mono"; font-style: normal; font-weight: 100 800; font-display: swap;
  src: url(jetbrains-mono-latin.woff2) format("woff2");
}