var i_font = 11;

function ChangeFont(int) {
	var obj = document.getElementById('show_texto_textarea');
 
    if(obj) {
		if(int) {
			if(i_font < 21) {
				i_font = i_font+2;				
			}
		}
		else {
			if(i_font > 9) {
				i_font = i_font-2;
			}
		}
		obj.style.fontSize = i_font+"px";
	}
}