// JavaScript Document

//esta funcion cambia las clases necesarias para marcar la opcion activa actualmente en el menu de navegacion principal 
//toma dos parametros: el ID de la seccion en la que estamos y el ID del "a" que esta siendo visto.
function marcarCurrentPage(ID_li_currentSection, ID_a_current){
	/* para IE el atributo "class" no se puede cambiar, sino que hay que cambiar el atributo "className", 
	para los navegadores w3c compatibles, el atributo a cambiar es "class". Por tanto, tengo que hacer una comprobacion
	previa para saber si el navegador entendera el atributo "class" o por el contrario "className". Para ello, tengo
	y utilizar "class" o "className" segun proceda;*/
	var atributo = (allDom) ? "className" : "class";
	
	cambiarAtributo(ID_li_currentSection, atributo, "currentMainSection");
	if(ID_a_current) cambiarAtributo(ID_a_current, atributo, "current");	
}