// 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)
for(i=0;i<items.length;i++)
	items[i].parentNode.className="selected";