/* ============================================================
   Fuentes autoalojadas · Proaliados — CERO llamadas a internet.
   Nota: en este entorno no se pudieron descargar los binarios de
   Inter y Plus Jakarta Sans, así que se sirven con dos fuentes
   ABIERTAS equivalentes ya incluidas:
     · "Inter"  -> Instrument Sans  (grotesca neutra, casi idéntica)
     · "Plus Jakarta Sans" -> Work Sans (geométrica, muy cercana)
   Los nombres de familia se conservan para no tocar el CSS de las
   páginas. Si quieres las originales exactas, reemplaza los .ttf de
   abajo por los de Inter/Jakarta (mismo nombre de archivo).
   ============================================================ */

/* IBM Plex Mono (original) */
@font-face{font-family:'IBM Plex Mono';font-style:normal;font-weight:400 500;font-display:swap;
  src:url('IBMPlexMono-Regular.ttf') format('truetype');}
@font-face{font-family:'IBM Plex Mono';font-style:normal;font-weight:600 700;font-display:swap;
  src:url('IBMPlexMono-Bold.ttf') format('truetype');}

/* "Inter" servido por Instrument Sans */
@font-face{font-family:'Inter';font-style:normal;font-weight:400 500;font-display:swap;
  src:url('InstrumentSans-Regular.ttf') format('truetype');}
@font-face{font-family:'Inter';font-style:normal;font-weight:600 700;font-display:swap;
  src:url('InstrumentSans-Bold.ttf') format('truetype');}

/* "Plus Jakarta Sans" servido por Work Sans */
@font-face{font-family:'Plus Jakarta Sans';font-style:normal;font-weight:400 600;font-display:swap;
  src:url('WorkSans-Regular.ttf') format('truetype');}
@font-face{font-family:'Plus Jakarta Sans';font-style:normal;font-weight:700 800;font-display:swap;
  src:url('WorkSans-Bold.ttf') format('truetype');}