Playing CSS-defined animations with JavaScript