var fuente =12

function original(){
	var tamano_original=10 /*aqui tienes q definir el tamaņo original.*/
	document.getElementById("texto_modulo").style.fontSize = tamano_original
}


function aumentar(){
	fuente = fuente + 1
	if (fuente > 20){
		fuente=20
	}
	aumento_fuente = fuente+"px"
	document.getElementById("texto_modulo").style.fontSize=aumento_fuente;

}

function disminuir(){
	fuente = fuente - 1
	if (fuente < 8){
		fuente=8
	}
	disminuir_fuente = fuente+"px"
	document.getElementById("texto_modulo").style.fontSize=disminuir_fuente;

}