// JavaScript Document


//this function highlights the link that the user is at!
function checklocation(url){

	var currURL = "" + url;

	
	//when a user arrives in a page, it either ends in html or in a "/" if its a default or index page
	//i only use index pages in this section of the site SO
	// look for ending in "/" and if present, append at the end "index.html"
	if (currURL.charAt(currURL.length-1)=="/") 
		{
		var str = "index.html"
			currURL = currURL.concat(str);}



	 
	for (var i=0; i<document.links.length;i++)
		{	var link = document.links[i];
			
		
			if(link == currURL){
			
				link.style.textDecoration = "none";			  
			   link.style.backgroundColor = "#FF9600";
			  link.style.fontWeight="normal";
			} 
		}
	}