//
// add minor hover effects
// to the input.buttons
// (workaround only)

function update_skylights_btnhovers(){
	$A(document.getElementsByTagName('INPUT')).each( function(button) { 
		if (Element.classNames(button).toArray().indexOf('button') != -1) 
			{
					if (!button.onmouseover) button.savedOnmouseover = button.onmouseover;  
					if (!button.onmouseout)  button.savedOnmouseout  = button.onmouseout;
					button.onmouseover = function() { button.savedOnmouseover; Element.classNames(this).add('buttonHover'); }
					button.onmouseout  = function() { button.savedOnmouseout;  Element.classNames(this).remove('buttonHover'); }
			}
	});
}

update_skylights_btnhovers();