if(document.cookie.indexOf('style=1')>=0) document.write('<link rel="stylesheet" type="text/css" href="templates/fontbig.css" />\n');
//else if (document.cookie.indexOf('style=2')>=0) document.write('<link rel="stylesheet" type="text/css" href="templates/fontsmall.css" />\n');//
else document.write('<link rel="stylesheet" type="text/css" href="templates/fontnormal.css" />\n');

function auswahl (wahl) {
   var expdate = new Date();
   expdate.setTime(expdate.getTime() + (1000*3600*24*365));
   document.cookie = 'style=' + wahl + '; expires=' + expdate.toGMTString() + '; path=/';
   self.location = self.location;
}