/***   CSS inladen + cookie opzetten   ***/
function setfontSize( size )
{

  var sizes = new Array( 'normal', 'bigger', 'biggest' );

  if( !sizes.contains( size ) )
    size = sizes[0];

  if( $('linkFontSize') )
    $('linkFontSize').setProperty( 'href', 'layout/default/' + size + '.css' );
  else
    new Asset.css('/layout/default/' + size + '.css', {id: 'linkFontSize'});

  //cookie.set('fontSize', size, { path:'/', duration:999});
	//document.cookie = "fontSize="+size+"; expires=Monday, 04-Apr-2020 05:00:00 GMT";
	document.cookie = 'fontSize='+size+'; expires=Thu, 2 Aug 2021 20:47:11 UTC; path=/';

}