function highlightMenuItem(divID) {

    // Don't do anything if DIV Isn't loaded
    if (self.document.getElementById(divID) == null) {return}
    
    self.document.getElementById(divID).style.backgroundImage = 'url(images/menu-items-background-mouse-over.gif)';
    self.document.getElementById(divID).style.color = '#ffffff';
    
}

function noHighlightMenuItem(divID) {   

    // Don't do anything if DIV Isn't loaded    
    if (self.document.getElementById(divID) == null) {return}

    self.document.getElementById(divID).style.backgroundImage = "none";
}

function setDropShadowWidth(divIDTarget, divIDShadow) {

    // Don't do anything if DIVs aren't loaded    
    if (self.document.getElementById(divIDTarget) == null) {return}
    if (self.document.getElementById(divIDShadow) == null) {return}
    
    self.document.getElementById(divIDShadow).style.width = self.document.getElementById(divIDTarget).offsetWidth + 25;
    self.document.getElementById(divIDShadow).style.height = 25;
}

function hideDiv(divToHide) {
    // Don't do anything if DIV isn't loaded    
    if (self.document.getElementById(divToHide) == null) {return}
    
    self.document.getElementById(divToHide).style.visibility = 'hidden';
    self.document.getElementById(divToHide).style.display = 'none';
}

function showDiv(divToShow, scrollBarBoolean, height, width) {

    // Don't do anything if DIV isn't loaded    
    if (self.document.getElementById(divToShow) == null) {return}
    
    if (scrollBarBoolean == 'scroll') {
        self.document.getElementById(divToShow).style.height = height;
        self.document.getElementById(divToShow).style.widgth = width;
        self.document.getElementById(divToShow).style.overflowX = 'hidden';
        self.document.getElementById(divToShow).style.overflowY = 'scroll';
    } 
    else 
    {
        self.document.getElementById(divToShow).style.overflowX = 'visible';
        self.document.getElementById(divToShow).style.overflowY = 'visible';
    }

    self.document.getElementById(divToShow).style.visibility = 'visible';
    self.document.getElementById(divToShow).style.display = 'inline';
}

function sizeDiv(divToSize) {
    // Don't do anything if DIV isn't loaded    
    if (self.document.getElementById(divToSize) == null) {return}
    
    self.document.getElementById(divToSize).style.height = document.body.clientHeight;
    
    if (self.document.getElementById(divToSize).style.height == null) {
        self.document.getElementById(divToSize).style.height = document.documentElement.clientHeight;
    }
}