Fixes to web-animations.js for Firefox/Chrome differences.