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.write('fontSize', size, { path:'/', duration:999});
}

/**

* WINDOW ONLOAD ---------------------------------

* keep at end of this file

*/
window.addEvent('load',function(){
  new NavDropDown('nav');
});