var min=0.6;
var max=2.5;
function bigger_content_text() {
   var p = document.getElementById('resize_text_div');
  if(p.style.fontSize) {
     var s = parseFloat(p.style.fontSize.replace("em",""));
  } else {
     var s = 1;
  }
  if(s!=max) {
     s += 0.2;
  }
  p.style.fontSize = s+"em"
}
function smaller_content_text() {
    var p = document.getElementById('resize_text_div');
    if(p.style.fontSize) {
     var s = parseFloat(p.style.fontSize.replace("em",""));
    } else {
     var s = 1;
    }
    if(s!=min) {
     s -= 0.2;
    }
    p.style.fontSize = s+"em"
}