window.onload = highlightTopNav;

function highlightTopNav(){
    
    // Highlight the top nav section depending on folder //
        
    var whatFolder = window.location.href.split("/")[3];
    var whatNav = document.getElementById(whatFolder);
	if (whatNav) {
    whatNav.className = 'selected';
	}
}