// JavaScript Document
var min=12;
var max=16;
var f = 12;
var h = 16;
function increaseFontSize() {

   var textarticol = document.getElementById("sinistra");
 
      if(textarticol.style.fontSize == "") {
	  	textarticol.style.fontSize = "12px";
		textarticol.style.lineHeight = "16px";
	  }
      if(f!=max) {
	     f += 1;
		 h += 1;
      }
      textarticol.style.fontSize = f+"px"
	  textarticol.style.lineHeight = h+"px"
}

function decreaseFontSize() {

   var textarticol = document.getElementById("sinistra");
 
      if(textarticol.style.fontSize == "") {
	  	textarticol.style.fontSize = "12px";
		textarticol.style.lineHeight = "16px";
	  }
      if(f!=min) {
         f -= 1;
		 h -= 1;
      }
      textarticol.style.fontSize = f+"px"
	  textarticol.style.lineHeight = h+"px"
}