a micro-animation framework for JavaScript