Hotspots animés

Comment animer les hotspots du module « Image Hotspots » ? Plusieurs solutions sont possibles, du GIF animé à la modification de la feuille de style.