Los GIF animados pueden ser de 5 a 20 veces más grandes que el video MP4 equivalente. Sin embargo, puedes configurar los videos MP4 para que se vean y se sientan como si fueran GIF incluyendo los atributos autoplay loop
muted playsinline en la etiqueta <video>. Además, para evitar cambios de diseño, asegúrate de configurar los atributos width y height. Si necesitas instrucciones para convertir GIFs a MP4, consulta Cómo crear videos en formato MPEG.
HTML
<video autoplay loop muted playsinline width="320" height="240">
<source src="dog.mp4" type="video/mp4">
</video>