/* Polices servies par le domaine. Google recevait l'adresse IP de
   chaque visiteur à chaque visite, ce n'est plus le cas. Chaque
   fonte est réduite aux signes que la page emploie réellement. */
@font-face{
  font-family:'Archivo';
  font-style:normal;
  font-weight:400 800;
  font-stretch:75% 125%;
  font-display:swap;
  src:url(fonts/archivo-variable.woff2) format('woff2');
}
@font-face{
  font-family:'Noto Sans SC';
  font-style:normal;
  font-weight:100 900;
  font-display:swap;
  src:url(fonts/noto-sans-sc-variable.woff2) format('woff2');
}