/* Publisher bytes, revisions and licenses pinned in font-integrity.json.
 * Installed machine fonts must not override the pinned face. */
@font-face {
  font-family: "Sora";
  font-style: normal;
  font-weight: 600 700;
  font-display: swap;
  src: url("./fonts/sora-84ff7096ae3ec6c8.ttf") format("truetype");
}
@font-face {
  font-family: "Inter";
  font-style: normal;
  font-weight: 400 700;
  font-display: swap;
  src: url("./fonts/inter-29160a80ff49ddca.ttf") format("truetype");
}
@font-face {
  font-family: "JetBrains Mono";
  font-style: normal;
  font-weight: 400 500;
  font-display: swap;
  src: url("./fonts/jetbrains-mono-48715a42ec242c21.ttf") format("truetype");
}
html { font-synthesis: none; }