var fontSize = 9 ;
  var lineHeight = 13 ;
  
  function zoomIn(c) {
    if (fontSize < 17) {
      fontSize = fontSize + 1 ;
      setFaceSize(c) ;
    }
  }

  function zoomOut(c) {
    if (fontSize >= 7) {
      fontSize = fontSize - 1 ;
      setFaceSize(c) ;
    }
  }

  function setFaceSize(c)
  {
    lineHeight = fontSize + Math.round(1.1 * (fontSize - 1)) ;

    obj = document.getElementById("zoom") ;
    if(obj != null)
    {
        obj.style.fontSize = fontSize + "pt" ;
        obj.style.lineHeight = lineHeight + "px" ;
    }

    for (var i = 1 ; i <= c ; i ++) {
      obj = document.getElementById("zoom" + i) ;
      if(obj != null)
      {
        obj.style.fontSize = fontSize + "pt" ;
        obj.style.lineHeight = lineHeight + "px" ;
      }
    }

  }