// function to change style sheets.
// from http://www.codelifter.com/main/javascript/changestyles.html
function changeSheets(whichSheet){
  whichSheet=whichSheet-1;
  changelogo(whichSheet);
  
  if(document.styleSheets){
    var c = document.styleSheets.length;
    for(var i=0;i<c;i++){
      if(i!=whichSheet){
        document.styleSheets[i].disabled=true;
      }else{
        document.styleSheets[i].disabled=false;
      }
    }    
  }
  // whichsheet returns a int value that we can use
  // in the JS function to change the logo.
  // alert(whichSheet);
  // add a switch case statement
  // to change the logo
}

// Change the logo
 function changelogo(color) {
 // alert(color);
 
 switch(color) {
 case 0:
   document.getElementById("logo").src = '/images/logo_def.gif';
   break;
 
 case 1:
  document.getElementById("logo").src = '/images/logo_gre.gif';
  break;
  }
 }

// remove the javascript warning
 function jsreqd() {
  document.getElementById("jsreq").innerHTML = "";
 }