/*
 * inter.css — La tipografía base del diseño nuevo del portal.
 *
 * Va en su propio archivo y no dentro de `theme.css` porque el portal todavía
 * usa el tema anterior: cuando se porte el diseño de `web5/`, esta hoja pasa a
 * cargarse desde el layout y `theme.css` se reemplaza. Mientras tanto, aquí no
 * estorba a nada.
 *
 * Los archivos los descarga Vite al compilar y los copia `php artisan
 * fuentes:publicar` con nombres estables. No se pide nada a Google ni a ningún
 * otro CDN.
 *
 * `font-display: swap` hace que el texto se lea desde el primer momento con la
 * tipografía del sistema mientras llega la definitiva.
 *
 * Son siete pesos, unos 165 KB en total. El diseño usa el 300 una sola vez y el
 * 900 dos: si se sustituyen por el 400 y el 800 se ahorran dos descargas sin
 * que se note a simple vista.
 */

@font-face {
    font-family: "Inter";
    src: url("../fonts/inter-300.woff2") format("woff2");
    font-weight: 300;
    font-style: normal;
    font-display: swap;
}

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

@font-face {
    font-family: "Inter";
    src: url("../fonts/inter-500.woff2") format("woff2");
    font-weight: 500;
    font-style: normal;
    font-display: swap;
}

@font-face {
    font-family: "Inter";
    src: url("../fonts/inter-600.woff2") format("woff2");
    font-weight: 600;
    font-style: normal;
    font-display: swap;
}

@font-face {
    font-family: "Inter";
    src: url("../fonts/inter-700.woff2") format("woff2");
    font-weight: 700;
    font-style: normal;
    font-display: swap;
}

@font-face {
    font-family: "Inter";
    src: url("../fonts/inter-800.woff2") format("woff2");
    font-weight: 800;
    font-style: normal;
    font-display: swap;
}

@font-face {
    font-family: "Inter";
    src: url("../fonts/inter-900.woff2") format("woff2");
    font-weight: 900;
    font-style: normal;
    font-display: swap;
}