<!--

	//Esta función se usa para establecer el menú en la parte izquierda de la página principal
	//El menú se establece después de reservar el hueco que ocupará, por eso se rellena el contenido de
	//ese huecon con JavaScript
	function mostrarMenu(nombre_capa_menu, valor_html_menu)
	{
		//Se obtiene la capa donde se asienta el menú, se establecen
		//las propiedades y se genera el código correspondiente.
		obj_capa_menu = document.getElementById(nombre_capa_menu);
		obj_capa_menu.style.visibility = 'hidden';
		obj_capa_menu.innerHTML = valor_html_menu;
		obj_capa_menu.style.display = 'block';
		obj_capa_menu.style.visibility = 'visible';
	}

	//Esta función se usa para cambiar el color de los paneles del menú al pasar el ratón
	function cambiarFondo(id, color)
	{
		elemento = document.getElementById(id);
		//elemento.style.borderStyle = 'solid';
		//elemento.style.borderWidth = '1px';
		elemento.style.borderColor = color;
		elemento.style.backgroundColor = color;
	}

	//Esta función se usa para cambiar el color del texto de cada opcion al pasar el ratón
	function cambiarTexto(id, color)
	{
		elemento = document.getElementById(id);
		//elemento.style.borderStyle = 'solid';
		//elemento.style.borderWidth = '1px';
		elemento.style.color = color;
		//elemento.style.backgroundColor = color;
	}

//-->