// Navigation bar functions
var clicked=''
function mousemove(t)
{
	if (event.button==1)
	{
		if (clicked!=t) t.className ="LeftNavDown"
		else t.className ="LeftNavChosenDown"
	}
	else 
	{
		if (clicked!=t) t.className ="LeftNavOn"
		else t.className ="LeftNavChosenOn"
	}
}

function mousedown(t)
{
	if (clicked!=t) t.className ="LeftNavDown"
	else t.className ="LeftNavChosenDown"
}

function mouseout(t)
{
	if (clicked!=t) t.className ="LeftNavOff"
	else t.className ="LeftNavChosen"
}

function mouseclick(t)
{
	clicked.className="LeftNavOff"
	clicked=t
	t.className ="LeftNavChosen"

}
// End of Navigation bar functions