A tiny (701 bytes gzipped) library for authoring cross-browser animations