Javascript+CSS+JPEGs = portable 10x smaller animated GIFs