<!--

   // Set the default stylesheet here:
   var flag = "fontSizes1";

   function setActiveStyleSheet( title ) {
      var i, a, main;

      for( i = 0; ( a = document.getElementsByTagName( "link" )[ i ] ); i++ ) {
         if( a.getAttribute( "rel" ).indexOf( "style" ) != -1 && a.getAttribute( "title" ) ) {
            a.disabled = true;

            if( a.getAttribute( "title" ) == title ) {
               a.disabled    = false;
               selectedStyle = title; } } }

      flag = title; }

//-->