/* Menu behavior */
var _activeLinkId = '';

function MenuHover(div) {
    var imgPath = 'images/rollover.png';
    div.style.background = 'url(' + imgPath + ') repeat-x';
}

function MenuOut(div) {
    if (_activeLinkId == div.id) return;
    div.style.background = '';
}

function FormLoaded() {
    if (page == null) return;

    var imgPath = 'images/rollover.png';
    var element = document.getElementById(page);
    if (element == null) return;
    _activeLinkId = element.id;

    element.style.background = 'url(' + imgPath + ') repeat-x';
}