// JavaScript Document

//##############
//Lupenfunktion:
//##############

var fontsize=12     //document.getElementById('rcont').style.fontSize;
    var ofs=12      //document.getElementById('rcont').style.fontSize;


    function zoomFontSize(dec)
    {
      //alert ('Function wird aufgerufen');
      switch (dec) {
                    case 1:
                      if (fontsize < 15) {fontsize+=1};
                      break;
                    case 2:
                      if (fontsize > 9) {fontsize-=1};
                      break;
                    default:
                      fontsize=ofs;
                      break;
                  }
    document.getElementById("cont").style.fontSize=""+fontsize+"px";
    document.getElementById("rcont").style.fontSize=""+fontsize+"px";
    //alert ('Function wird beendet');
    }