tiny bit of javascript enabling CSS-defined animations with fallback for older browsers