// JavaScript Document

function highlight_current_nav()
{
	navs=document.getElementById("nav-left").getElementsByTagName("a");
	for (i=0; i<navs.length; i++)
	{
		if(document.URL.indexOf(navs[i].href)!=-1)
			navs[i].className="selected";
	}
}