window.addEvent('domready', function() 
{
  var myfontsize = Cookie.read('myfontsize') || '0.75em';
  $('col2').setStyle('font-size', myfontsize);

  $('schriftgroesse').addEvent('click', function(){switchFontSize();});


  function switchFontSize()
  {
    if(myfontsize == '1em')
    {
      myfontsize = '0.75em';
    } else { myfontsize = '1em'; }  
    $('col2').setStyle('font-size', myfontsize);
    Cookie.write('myfontsize',myfontsize);
  }

     
});