function allocateNavBoxHeight() {
    var containerDom = document.getElementById("container");
    var navBoxDom    = document.getElementById("navbox");

    if(containerDom.offsetHeight > navBoxDom.offsetHeight) {
        navBoxDom.style.height = (containerDom.offsetHeight-40)+"px"; 
		}
}

window.onload=allocateNavBoxHeight;

    function pageOnLoad(pageName) {
        lightBar(document.getElementById(pageName))
    }
    
    // Sets nav-bar anchor light
    function lightBar(element){
        if( element != null ) {   
        element.style.background = '#C7E2FF'; 
        element.style.color      = '#014f86';
        }
    }