For a cross browser solution that just needs one video file, supports mobile browsers and still has a much smaller file size than GIF try jsmpeg: http://phoboslab.org/log/2013/05/mpeg1-video-decoder-in-java...