/* As três fontes da marca, servidas daqui em vez do Google.
 *
 * Os jogos são HTML solto em public/, então não passam pelo next/font como o resto
 * do site · precisavam de uma folha própria. Enquanto usavam o css2 do Google, toda
 * pessoa que abria um jogo mandava o IP dela pra lá, e era o único terceiro que
 * entrava no carregamento das páginas do curso. Agora não entra mais.
 *
 * São arquivos variáveis: um .woff2 por família cobre toda a faixa de peso, e é o
 * mesmo arquivo que o Google servia. Subconjunto latino, que é o que os jogos usam.
 */

@font-face {
  font-family: "Space Grotesk";
  font-style: normal;
  font-weight: 300 700;
  font-display: swap;
  src: url("/fontes/space-grotesk.woff2") format("woff2");
}

@font-face {
  font-family: "Inter";
  font-style: normal;
  font-weight: 100 900;
  font-display: swap;
  src: url("/fontes/inter.woff2") format("woff2");
}

@font-face {
  font-family: "JetBrains Mono";
  font-style: normal;
  font-weight: 100 800;
  font-display: swap;
  src: url("/fontes/jetbrains-mono.woff2") format("woff2");
}