/* Tipografías alojadas por nosotros.
 *
 * Antes venían de Google Fonts, lo que suponía una hoja de estilos externa que
 * bloqueaba el pintado y enviaba la IP del visitante a un servidor de EE. UU.
 * Aquí las servimos desde el propio dominio: se pinta antes y no sale ni un dato
 * fuera de la Unión Europea.
 *
 * Instrument Sans y Public Sans son variables: un solo fichero cubre del 400 al
 * 700. IBM Plex Mono no tiene versión variable, así que van sus dos pesos.
 *
 * font-display: swap muestra el texto de inmediato con la tipografía del sistema
 * y lo cambia al cargar la definitiva. Es preferible a dejar la pantalla en
 * blanco esperando.
 */

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

@font-face {
  font-family: 'Public Sans';
  font-style: normal;
  font-weight: 400 700;
  font-display: swap;
  src: url('../fonts/public-sans.woff2') format('woff2');
}

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

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