BANNERS – CÓMO CAMBIARLAS
-------------------------
• Las imágenes se leen desde: app/data/banners.json (o desde api/banner_get.php si está activo).
• Para usar tus imágenes:
  1) Sube tus archivos a app/assets/banners/ (JPG/PNG).
  2) Abre app/data/banners.json y reemplaza las rutas por ejemplo:
     [
       "assets/banners/mi_banner1.jpg",
       "assets/banners/mi_banner2.png"
     ]
  3) Guarda y listo. No hace falta tocar el HTML.

• Comportamiento:
  – Se desplaza automáticamente hacia la izquierda en bucle.
  – La velocidad se ajusta automáticamente al ancho total de los banners.
  – En móvil baja la altura para verse mejor.

• Si ya usas el panel admin (app/admin/banners.html), ese endpoint expone api/banner_get.php.
  El componente lo detecta y usa esos URLs primero.

• Ubicación:
  – Inyectado después del <header> de portal.html (si existe) y en index.html al inicio del <body>.