var min=8;
var max=18;
function writeplusminus(){
return "<a href=\"JAVASCRIPT\" onclick=\"javascript:increaseFontSize(); return false;\" title=\"Schrift vergr&ouml;&szlig;ern\"><img src=\"/wb_styles/10/img/zoom.png\" /><\/a> &nbsp; <a href=\"javascript:decreaseFontSize();\" onclick=\"javascript:decFontSize (); return false;\" title=\"Schrift verkleinern\"><img src=\"/wb_styles/10/img/zoom_min.png\" /><\/a>";
}
function increaseFontSize() {
   var p = document.getElementsByTagName('p');
   for(i=0;i<p.length;i++) {
      if(p[i].style.fontSize) {
         var s = parseInt(p[i].style.fontSize.replace("px",""));
      } else {
         var s = 12;
      }
      if(s!=max) {
         s += 1;
      }
      p[i].style.fontSize = s+"px"
   }
}
function decreaseFontSize() {
   var p = document.getElementsByTagName('p');
   for(i=0;i<p.length;i++) {
      if(p[i].style.fontSize) {
         var s = parseInt(p[i].style.fontSize.replace("px",""));
      } else {
         var s = 12;
      }
      if(s!=min) {
         s -= 1;
      }
      p[i].style.fontSize = s+"px"
   }   
}