/* generous functions used by many extensions */

function HoverIcon(elem,Icon,invert)
{
    if (!Element.hasClassName(elem,'hovered'))
    {
        if (invert)
        {
            if (Element.hasClassName(elem,'active'))
                elem.src = Icon+'_on.gif';
            else
                elem.src = Icon+'_off.gif';
        }
        else
        {
            if (Element.hasClassName(elem,'active'))
                elem.src = Icon+'_off.gif';
            else
                elem.src = Icon+'_on.gif';
        }
        Element.addClassName(elem,'hovered');
    }
}

function UnHoverIcon(elem,Icon,invert)
{
    if (Element.hasClassName(elem,'hovered'))
    {
        if (invert)
        {
            if (Element.hasClassName(elem,'active'))
                elem.src = Icon+'_off.gif';
            else
                elem.src = Icon+'_on.gif';
        }
        else
        {
            if (Element.hasClassName(elem,'active'))
                elem.src = Icon+'_on.gif';
            else
                elem.src = Icon+'_off.gif';
        }
        Element.removeClassName(elem,'hovered');
    }
}