animo.js is useful for controlling CSS-based animations