var arr_sizes = new Array(11,13,15,20);
var actual = 0;

function agrandar() {
	actual ++;
	if (actual >= arr_sizes.length) actual = arr_sizes.length - 1;
	txt_refresh();
}

function achicar() {
	actual --;
	if (actual < 0) actual = 0;
	txt_refresh();
}

function txt_refresh() {
	var objs = document.getElementsByName("cuerpo");
	for (i=0; i<objs.length; i++) {
		objs[i].style.fontSize = arr_sizes[actual];
	}
}

function printFriendly() {
	window.print();
}