A tiny library for authoring cross-browser animations