/*
 * Fuentes servidas desde el propio servidor (antes: Google Fonts). Son las
 * versiones "variables" de @fontsource-variable (un solo archivo por
 * familia cubre todos los pesos), subconjunto latino — incluye tildes, ñ,
 * ¿ y ¡. Versión 5 de @fontsource-variable, descargadas de jsDelivr.
 */
@font-face {
    font-family: 'Inter';
    font-style: normal;
    font-display: swap;
    font-weight: 100 900;
    src: url('inter-latin-wght-normal.woff2') format('woff2-variations'), url('inter-latin-wght-normal.woff2') format('woff2');
}

@font-face {
    font-family: 'Fraunces';
    font-style: normal;
    font-display: swap;
    font-weight: 100 900;
    src: url('fraunces-latin-full-normal.woff2') format('woff2-variations'), url('fraunces-latin-full-normal.woff2') format('woff2');
}

@font-face {
    font-family: 'JetBrains Mono';
    font-style: normal;
    font-display: swap;
    font-weight: 100 800;
    src: url('jetbrains-mono-latin-wght-normal.woff2') format('woff2-variations'), url('jetbrains-mono-latin-wght-normal.woff2') format('woff2');
}