/***********************************************************************************/
/* Globals */

var doResize=true;

/***********************************************************************************/

function getFileNameByHref(href)
{
    var hrefSegments;
    var filename;
    
    hrefSegments = href.split("/");
    filename = hrefSegments[hrefSegments.length-1];
    return filename;
}

/***********************************************************************************/

function setMenu(href)
{
 	var i=0;
    var anchors;
    var showBallpointLine=false;
    var elBallpoint;
    var filename;
    
    href = href.toLowerCase();
    filename = getFileNameByHref(href);
    
    anchors = document.getElementsByTagName("a");
    for(var k=0; k<anchors.length; k++)
    {
        if(anchors[k].className=="menuitem")
        {                        
            while(anchors[k].parentNode.parentNode.childNodes[i++].nodeName != "TD" && i<1000);
            elBallpoint = anchors[k].parentNode.parentNode.childNodes[--i];
            if(showBallpointLine) elBallpoint.className="lineballpoint";
            else elBallpoint.className="emptyballpoint";
            if(anchors[k].href.toLowerCase().indexOf(filename)>-1)
            {
                elBallpoint.className="selectedballpoint";
                showBallpointLine=true;
            }
        }
    }       
}

/***********************************************************************************/

function getWindowWidth()
{
 if (window.innerWidth) return window.innerWidth;
 else if (document.body && document.body.offsetWidth) return document.body.offsetWidth;
 else return 0;
}

/***********************************************************************************/

function getWindowHeight()
{
 if (window.innerHeight) return window.innerHeight;
 else if (document.body && document.body.offsetHeight) return document.body.offsetHeight;
 else return 0;
}

/***********************************************************************************/

function ResizeElementToScreen(idElem)
{			
	if(doResize)
	{
	    alert(document.body.offsetHeight);
	    el=document.getElementById(idElem);
    	el.style.height=getWindowHeight()+"px";
    	el.style.width=getWindowWidth()+"px";
	    doResize=false;
	}
	else
	{
	    doResize=true;
	}
	
}	

/***********************************************************************************/