/**
 * Les trois familles de la marque, auto-hébergées.
 *
 * AUCUNE POLICE NE VIENT D'UN TIERS. Une police servie par Google Fonts
 * transmet l'adresse IP du visiteur à un tiers : il faudrait un consentement,
 * donc un bandeau, pour une typographie. Les fichiers vivent ici, avec leur
 * licence dans le même dossier.
 *
 * Instrument Serif, Instrument Sans et IBM Plex Mono — toutes trois sous
 * SIL Open Font License 1.1, licences dans le même dossier.
 *
 * POURQUOI UNE TROISIÈME FAMILLE. La charte a un parti pris : le serif parle,
 * le mono mesure. Toute donnée — coordonnées, codes, numéros de titre, libellés
 * de fiche — passe en chasse fixe, et rien d'autre n'y passe. C'est cette
 * séparation stricte qui tient le mélange ; sans elle, le mono deviendrait un
 * effet de style et la page un collage.
 *
 * Instrument Serif n'existe qu'en 400, romain et italique : deux fichiers.
 * Instrument Sans est variable, donc UN fichier couvre 400 à 700. IBM Plex
 * Mono n'est chargée qu'en 400 : elle ne sert qu'à des libellés courts, un
 * gras y serait du bruit. Quatre requêtes, 88 Kio — la charte précédente en
 * pesait 176 pour cinq familles.
 *
 * `font-display: swap` : le texte s'affiche tout de suite dans la police de
 * repli, puis bascule. Un titre invisible pendant le chargement est pire
 * qu'un titre mal dessiné pendant deux dixièmes de seconde.
 */

@font-face {
	font-family: "Instrument Serif";
	src: url("fonts/instrumentserif-400.woff2") format("woff2");
	font-weight: 400;
	font-style: normal;
	font-display: swap;
}

@font-face {
	font-family: "Instrument Serif";
	src: url("fonts/instrumentserif-400-italic.woff2") format("woff2");
	font-weight: 400;
	font-style: italic;
	font-display: swap;
}

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

@font-face {
	font-family: "IBM Plex Mono";
	src: url("fonts/ibmplexmono-400.woff2") format("woff2");
	font-weight: 400;
	font-style: normal;
	font-display: swap;
}
