size = document.styleSheets[0].cssRules[1].style.fontSize;
name = "Font-Size";

function bigger() {
  var newSize = "1.2em"
  document.cookie=newSize;
  document.getElementsByTagName("body")[0].style.fontSize = newSize;
}

function smaller() {
  var newSize = "0.8em"
  document.cookie=newSize;
  document.getElementsByTagName("body")[0].style.fontSize = newSize;
}

function font_reset() {
  document.cookie=size;
  document.getElementsByTagName("body")[0].style.fontSize = size;
}

function makeLinks() {
	document.write('<div id="settings" class="sidebox">');
	document.write('<h3>Einstellungen</h3>');
  document.write('<ul><li><a href="#content" onclick="bigger()">Gro&szlig;e Schrift</a></li>');
  document.write('<li><a href="#content" onclick="smaller()">Kleine Schrift</a></li>');
  document.write('<li><a href="#content" onclick="font_reset()">Schrift zur&uuml;cksetzen</a></li></ul></div>');
}

function getCookie() {
    if(document.cookie!="") {
        document.getElementsByTagName("body")[0].style.fontSize = document.cookie;
    }
}