GIFs animados podem ter de 5 a 20 vezes maiores do que um vídeo MP4 equivalente. No entanto, os vídeos MP4
podem ser configurados para parecerem GIFs com a inclusão dos atributos autoplay loop
muted playsinline na tag <video>. Além disso, para evitar
mudanças de layout, defina os atributos width e height. Para
instruções sobre como converter GIFs para MP4, consulte Criar vídeos
MPEG.
HTML
<video autoplay loop muted playsinline width="320" height="240">
<source src="dog.mp4" type="video/mp4">
</video>