/*
 	this file manages the tabs for the links at the top of the page
	For each of those links, there will be a corresponding entry in the pageID array below
	
	EX).  	You want to add a new link called funtimes.  You make a page called funtimes.html
			add a new line under "var pageID = new Array()"
			this line will be: "pageID['funtimes] = 'fun'; "
			Then when you add the html link inside pagebanner.html, surround it with a: <div id='fun'> </div>
 */
 var pageID = new Array();
 pageID['index3'] = "home";
  pageID['index3'] = "history";
 pageID['contactUs'] = "contactUs";
 pageID['laws'] = "laws";
 pageID['parking'] = "parking";
 pageID['trash'] = "laws";
 pageID['lawsAlcohol'] = "laws";
 pageID['lawsFurniture'] = "laws";
 pageID['lawsNoise'] = "laws";
 pageID['maps'] = "maps";
 pageID['movingIn'] = "movingIn";
 pageID['rentals'] = "rentals";
 pageID['roomates'] = "roomates";
 pageID['safety'] = "safety";
 pageID['safetyAssault'] = "safety";
 pageID['safetyParty'] = "safety";
  pageID['safetyBreaks'] = "safety";
 
 
function highlight (id) {
 	document.getElementById(id).id = "current";
}
 
 
function setCurrent(){
	var sPath = window.location.pathname; //current page in browser
	var sPage = sPath.substring(sPath.lastIndexOf('/') + 1); //last part of the url
	var sPage = sPage.substring(0, sPage.indexOf('.'));
 	highlight(pageID[sPage]);	
}