function tabHighlight() {
	
	// this only works with relative urls with no slashes
	
	if(!document.getElementById || !document.getElementById("tabs")) return false;
	if(!document.getElementsByTagName) return false;

	var url = location.href;
	var page = url.split("/");
	page = page[page.length-1];
	if(!page)
		page = "index.html";
	
	var tabs = document.getElementById("tabs");
	var tabLinks = tabs.getElementsByTagName("A");
	
	for(var i = 0; i < tabLinks.length; i++)
	{
		var linkUrl = tabLinks[i].getAttribute("href");
		var linkPage = linkUrl.split("/");
		linkPage = linkPage[linkPage.length-1];
		if(!linkPage)
			linkPage = "index.html";
		
		if(linkPage == page)
		{
			var parent = tabLinks[i].parentNode;
			if(parent.className)
				parent.className += " selected";
			else
				parent.className = "selected";
		}
	}
}

tabHighlight();