// JavaScript Document

	function evalNav(){
		var n = document.getElementById("sectionnav");
		var a = n.getElementsByTagName("a");
		var l = useLoc?useLoc:location.href;
		l = l.toLowerCase();
		if(l.indexOf(".html") == -1){l+="index.html"}
		var lalt = l.replace(".html","s.html");
		var obj = false;

		for (var i=0;i<a.length;i++){
			var h = a[i].href.toLowerCase();
			if(l.indexOf(h) != -1 || lalt.indexOf(h) != -1 ){
				obj = a[i];
				break;
			} 
		}
		if(obj){
			obj.parentNode.className = obj.parentNode.className == "twistable"?"currenttwist":"currentnav";
			while(obj.id != "sectionnav"){
				obj = obj.parentNode;
				obj.style.display = "block";
				if(obj.className == "twistable"){
					obj.className = "twistdown";
				}
			}
		}
		
		var navHeight = n.offsetHeight;
		var containerHeight = document.getElementById("leftNav").offsetHeight;
		
		if(containerHeight < navHeight){
			document.getElementById("leftNav").style.height = (navHeight + 20) + "px";	
		}
		
	}
	
	useLoc = false;
	
	function aboutInit(){
		evalNav();
		setMenuHandlers();
		copyright();
	}
	
	window.onload = aboutInit;