function imprimirPagina() {
  if (window.print)
    window.print();
  else
    alert("Lo siento, pero a tu navegador no se le puede ordenar imprimir" +
      " desde la web. Actualizate o hazlo desde los menús");
}

function changeFont(myDir) {
	myObj = document.getElementById("mainContent");
	if(myObj != null && typeof(myObj) != "undefined") {
		tempFont = parseFloat(myObj.style.fontSize);
		switch(myDir) {
			case "normal":
				myObj.style.fontSize = "0.8em";
				break;
			case "increase":
				myObj.style.fontSize = "1.2em";
				break;
			case "decrease":
				myObj.style.fontSize = "0.6em";
				break;
			default:
				myObj.style.fontSize = "1em";
				break;
		}
	}
}