/*
HOVER FUNCTIONS
    
(c) 2008, Helder Internet.
www.helderinternet.nl
*/
function hover(el, hoverClass) {
    var nonHoverClass = el.className;
    if (nonHoverClass) {
        hoverClass = nonHoverClass + " " + hoverClass;
    }
    DOM.attachEvent(el, 'onmouseout', function() { mouseout(el, nonHoverClass); });
    DOM.setAttribute(el, 'class', hoverClass);
}

function mouseout(el, nonHoverClass) {
    DOM.setAttribute(el, 'class', nonHoverClass);
}