HTML animated banners are made in Google Web Designer tool. You can edit and tune them using source files from downloadable ZIP archive.