/* Tipografías servidas desde el propio sitio (sin Google Fonts). Variables: un archivo por familia. */
@font-face {
    font-family: 'Inter';
    font-style: normal;
    font-weight: 100 900;
    font-display: swap;
    src: url('inter-var.woff2') format('woff2-variations'), url('inter-var.woff2') format('woff2');
}
@font-face {
    font-family: 'JetBrains Mono';
    font-style: normal;
    font-weight: 100 800;
    font-display: swap;
    src: url('jetbrains-mono-var.woff2') format('woff2-variations'), url('jetbrains-mono-var.woff2') format('woff2');
}