/* ============================================================
   Fontes auto-hospedadas e fatiadas.

   Antes: 85-99 KB por página vindos de fonts.gstatic.com, com dois
   domínios externos para resolver antes de a página pintar.
   Agora: mesmo arquivo, cortado para latim + acentuação PT-BR +
   pontuação tipográfica + os símbolos da interface.

   Gerado por scratchpad/fontes.py — não editar à mão.
   ============================================================ */
@font-face{
  font-family:'Inter';
  font-style:normal;
  font-weight:400 700;
  font-display:swap;
  src:url('/fontes/Inter-400-700.woff2') format('woff2');
}
@font-face{
  font-family:'Playfair Display';
  font-style:normal;
  font-weight:700;
  font-display:swap;
  src:url('/fontes/PlayfairDisplay-700.woff2') format('woff2');
}
@font-face{
  font-family:'IBM Plex Mono';
  font-style:normal;
  font-weight:500;
  font-display:swap;
  src:url('/fontes/IBMPlexMono-500.woff2') format('woff2');
}