var maxtextsize = 16;
var mintextsize = 12;

function incfontsize(){
    var fontsize = parseInt(document.getElementById('container').style.fontSize);
    if((fontsize + 1) <= maxtextsize){ fontsize++; }
    else{ fontsize = mintextsize; }
    document.getElementById('container').style.fontSize = (fontsize) + "px";
  	return;
}   
function decfontsize(){
    var fontsize = parseInt(document.getElementById('container').style.fontSize);
    if((fontsize - 1) >= mintextsize){ fontsize--; }
    document.getElementById('container').style.fontSize = (fontsize) + "px";
 	return;
}   

function defaultfontsize() {
  document.getElementById('container').style.fontSize = "12px";
  return;
}