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

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

  if( size != 'normal' && size != 'bigger' && size != 'biggest' )
    size = 'normal';

  if( document.getElementById('linkFontSize') )
    document.getElementById('linkFontSize').href = 'layout/default/' + size + '.css';

	var today = new Date();
	var expire = new Date();
	nDays=365;
	expire.setTime(today.getTime() + 3600000*24*nDays);
	document.cookie = "fontSize="+escape(size) + ";expires="+expire.toGMTString();
}