Also, use WebM, not GIF, for better compression. GIF is obsolete trash from the 1990's internet.

You can have a GIF fallback but 99% of browsers don't need it.