Javascript library to animate DOM elements.