/* Fuentes alojadas localmente. Generado por scripts/fetch_fonts.py.
   No enlazar a fonts.googleapis.com: manda la IP de cada visitante a
   un tercero antes de que haya aceptado nada (RGPD y Ley 29733). */

@font-face{
  font-family:'IBM Plex Mono';
  font-style:normal;
  font-weight:400;
  font-display:swap;
  src:url('ibm-plex-mono-400.woff2') format('woff2');
}

@font-face{
  font-family:'IBM Plex Mono';
  font-style:normal;
  font-weight:500;
  font-display:swap;
  src:url('ibm-plex-mono-500.woff2') format('woff2');
}

@font-face{
  font-family:'Instrument Sans';
  font-style:normal;
  font-weight:400;
  font-display:swap;
  src:url('instrument-sans-400.woff2') format('woff2');
}

@font-face{
  font-family:'Instrument Sans';
  font-style:normal;
  font-weight:500;
  font-display:swap;
  src:url('instrument-sans-500.woff2') format('woff2');
}

@font-face{
  font-family:'Instrument Sans';
  font-style:normal;
  font-weight:600;
  font-display:swap;
  src:url('instrument-sans-600.woff2') format('woff2');
}

@font-face{
  font-family:'Instrument Sans';
  font-style:normal;
  font-weight:700;
  font-display:swap;
  src:url('instrument-sans-700.woff2') format('woff2');
}

@font-face{
  font-family:'Instrument Serif';
  font-style:italic;
  font-weight:400;
  font-display:swap;
  src:url('instrument-serif-400-italic.woff2') format('woff2');
}