/* Tipos de letra servidos pelo próprio site (11 out 2026).
   Antes vinham do Google Fonts, que recebia o endereço IP de cada visita.
   Os ficheiros são as fontes variáveis originais (OFL), reduzidas aos
   caracteres latinos e com os mesmos pesos que se pediam ao Google. */
@font-face{font-family:'Sora';font-style:normal;font-weight:500 800;font-display:swap;
  src:url(/fonts/sora-500-800.woff) format('woff')}
@font-face{font-family:'Inter';font-style:normal;font-weight:400 600;font-display:swap;
  src:url(/fonts/inter-400-700.woff) format('woff')}
@font-face{font-family:'JetBrains Mono';font-style:normal;font-weight:400 700;font-display:swap;
  src:url(/fonts/jetbrainsmono-400-700.woff) format('woff')}