window.addEvent('domready', function() {
    var inputs = document.getElementsByTagName('input');
    var hoverPattern = /\bhover\b/;
    var addHover = function() {
        if(!this.className.match(hoverPattern))
            this.className = this.className + " hover";
    }
    var removeHover = function() {
        this.className = this.className.replace(hoverPattern, "");
    }
    for (var i = 0; i < inputs.length; i++) {
        var input = inputs[i];
        if(input.type == 'submit' || input.type == 'button') {
            input.onmouseover = addHover;
            input.onmouseout = removeHover;    
        }
    }
});