/* functions.js
   externe Funktionen
*/   
	function plus(){
		document.getElementById('content').style.fontSize ="14px";
        document.getElementById('content').style.fontFamily ="Verdana, Tahome, Trebuchet, Sans-Serif;";
	}
	function minus(){
		document.getElementById('content').style.fontSize ="10px";
        document.getElementById('content').style.fontFamily ="Verdana, Tahome, Trebuchet, Sans-Serif;";
	}