/*
 * Tipografies del design system, servides des d'aquest domini.
 *
 * Substitueixen el <link> a fonts.googleapis.com que index.php emetia per a
 * aquestes tres famílies: una petició a Google Fonts envia l'adreça IP de qui
 * visita l'aula a un tercer, i la política de privacitat declara que no n'hi ha
 * cap. Si una aula tria una altra família, aquella sí que segueix venint de
 * Google (index.php només retira del <link> les que hi ha aquí).
 *
 * Són fitxers VARIABLES: un sol woff2 per família cobreix tot el rang de pesos,
 * i per això `font-weight` és un interval i no un número. Els rangs són els que
 * porta cada fitxer després del subset (vegeu fonts/OFL.txt); demanar un pes de
 * fora del rang no falla, el navegador l'acota al més proper.
 */

@font-face {
    font-family: 'Jura';
    src: url('../fonts/jura-variable.woff2') format('woff2');
    font-weight: 300 700;
    font-style: normal;
    font-display: swap;
}

@font-face {
    font-family: 'Nunito Sans';
    src: url('../fonts/nunito-sans-variable.woff2') format('woff2');
    font-weight: 300 800;
    font-style: normal;
    font-display: swap;
}

@font-face {
    font-family: 'JetBrains Mono';
    src: url('../fonts/jetbrains-mono-variable.woff2') format('woff2');
    font-weight: 400 700;
    font-style: normal;
    font-display: swap;
}