// JavaScript Document

//script para asignacion de estilos a item seleccionado
pos=String(window.location).lastIndexOf("/")
if(pos==-1)
	pos=String(window.location).lastIndexOf("\\");
	
fileName=String(window.location).substring(pos+1);
items=$$(" .menu a[href='"+fileName+"']");

if(items!=null&&items.length==1)
try{
	elementos = $("middle").select(".linkmenu");
	items[0].parentNode.className="selected";
	items[0].parentNode.parentNode.className="selectedParent";
	for( i = 0 ; i < elementos.length ; i++)
	{
		pos=String(elementos[i].href).lastIndexOf("/")
		if(pos==-1)
			pos=String(elementos[i].href).lastIndexOf("\\");
		comp = String(elementos[i].href).substring(pos+1);
		if(comp == fileName)
		{
			elementos[i+1].parentNode.style.borderStyle="hidden";
			
		}
	}
}catch(e){}