a JavaScript implementation of HTML5 <input type=range> for Firefox