/**** función para cambiar el tamaño del texto ****/

function cambiarTamano(tam) {
	if (document.all)
		miRegla = document.styleSheets[0].rules;
	else
		miRegla = document.styleSheets[0].cssRules;
	// código extra para que funcione en la página editar tabla.html
	if (miRegla[1].selectorText.toLowerCase()=='#tabla')
		if (document.all)
			miRegla = document.styleSheets[1].rules;
		else
			miRegla = document.styleSheets[1].cssRules;
	//  
	for (i=0; reg=miRegla[i]; i++) {
		size = reg.style.fontSize;
		if (size!='') {
			size=parseFloat(size)+tam+'px';
			reg.style.fontSize=size;
		}
	}
}

/**** función para manejar el teclado ****/

function pulsar(e,obj) {
	tecla = (document.all) ? e.keyCode : e.which;
	if (tecla==13 || tecla==32) obj.onclick;
}