// tamanho inicial da fonte (coincide com o que for definido no css para esse 'id'
var originalSize = 13;
// don't touch this line
var actualSize = originalSize;
// tamanho mínimo da fonte
var minSize = 10;
// tamanho máximo da fonte
var maxSize = 20;

// 'id' elemento a ser redimensionado, 'step' número de passos (pontos da fonte) a cada resize
function fontResizeUp(id, step) {
	var obj = document.getElementById(id);
	
	actualSize = actualSize + step;
	if(actualSize > maxSize) {
        actualSize = maxSize;
	}
	obj.style.fontSize = actualSize + "px";
}

// 'id' elemento a ser redimensionado, 'step' número de passos (pontos da fonte) a cada resize
function fontResizeDown(id, step) {
	var obj = document.getElementById(id);
	
	actualSize = actualSize - step;
    if(actualSize < minSize) {
	    actualSize = minSize;
	}
	obj.style.fontSize = actualSize + "px";
}

// 'id' elemento a ser redimensionado
function fontResetSize(id) {
	var obj = document.getElementById(id);
	actualSize = originalSize;
    obj.style.fontSize = originalSize + "px";
}