// JavaScript Document

function fs(para){
    var ele = document.getElementsByTagName("body");
    switch (para){
      case "kleiner":
        var fontsize = "100%";
        break;
      case "normal":
        var fontsize = "120%";
        break;
      case "groesser":
        var fontsize = "130%";
        break;
    }
    ele[0].style.fontSize = fontsize;
  }