Implemented banner.js panning animation, but then discovered that css animations could be used with mozilla.