//
// Funciones de menú vertical 1
//

function vMenuOver(div)
{	
	div.style.background = "#CCCCCC";
	div.style.borderColor = "#999999";
}
		
function vMenuOut(div)
{
	div.style.background = "#F1F1F1";
	div.style.borderColor = "#F1F1F1";
}
	
function vMenuDown()
{
	var div = window.event.srcElement;
	if (div.tagName != "DIV") div = div.parentElement;
	div.style.background = "#999999";
}
		
function vMenuUp()
{
	var div = window.event.srcElement;
	if (div.tagName != "DIV") div = div.parentElement;
	div.style.background = div.getAttribute("save-background");
}