// JavaScript Document
//funcion para cambiar tamaño del texto:
// Aumentamos y disminuimos el texto
var txtSz = 1;
function textSize(signo)
{
	var cuerpo = document.getElementsByTagName("BODY");
	if(signo=="plus") 
		txtSz = txtSz+0.1;
	else if(signo == "same") 
		txtSz = txtSz;
	else 
		txtSz = txtSz-0.10;


	//txtSz = (signo=="plus") ? txtSz+0.10 : txtSz-0.10;
	if (txtSz>1.6) txtSz = 1.6;
	if (txtSz<0.5) txtSz = 0.5;
	ts = txtSz+"em";
	cuerpo[0].style.fontSize = ts;
	//createCookie("txtSz",txtSz);
}