/* Fuentes alojadas en el propio sitio (sin depender de Google Fonts).
   Nombres propios ("DMG …") para que el navegador nunca use una fuente
   con el mismo nombre instalada en la computadora del alumno.
   Rutas relativas: funciona en el servidor y también abriendo el archivo local. */
@font-face{font-family:"DMG Display";font-style:normal;font-display:swap;font-weight:100 900;font-stretch:62% 125%;src:url(archivo.woff2) format("woff2-variations"),url(archivo.woff2) format("woff2")}
@font-face{font-family:"DMG Sans";font-style:normal;font-display:swap;font-weight:300;src:url(noto-sans-300.woff2) format("woff2")}
@font-face{font-family:"DMG Sans";font-style:normal;font-display:swap;font-weight:400;src:url(noto-sans-400.woff2) format("woff2")}
@font-face{font-family:"DMG Sans";font-style:normal;font-display:swap;font-weight:500;src:url(noto-sans-500.woff2) format("woff2")}
@font-face{font-family:"DMG Sans";font-style:normal;font-display:swap;font-weight:600;src:url(noto-sans-600.woff2) format("woff2")}
@font-face{font-family:"DMG Sans";font-style:normal;font-display:swap;font-weight:700;src:url(noto-sans-700.woff2) format("woff2")}
@font-face{font-family:"DMG Mono";font-style:normal;font-display:swap;font-weight:400;src:url(jetbrains-mono-400.woff2) format("woff2")}
@font-face{font-family:"DMG Mono";font-style:normal;font-display:swap;font-weight:600;src:url(jetbrains-mono-600.woff2) format("woff2")}