/* Fuentes AUTOALOJADAS (subconjunto latin bajado de Google una vez).
   No se enlaza a fonts.googleapis.com: cada visita mandaba la IP del
   usuario a Google ANTES de que nadie consintiera nada (RGPD). Si hace
   falta otro peso, se baja el .woff2 y se añade aqui. */
@font-face{font-family:'Hanken Grotesk';font-style:normal;font-weight:400 800;font-display:swap;src:url('/fonts/hanken-grotesk-normal-400-800.woff2') format('woff2');}
@font-face{font-family:'JetBrains Mono';font-style:normal;font-weight:400 600;font-display:swap;src:url('/fonts/jetbrains-mono-normal-400-600.woff2') format('woff2');}