//Style Sheet Switcher version 1.1 Oct 10th, 2006
//Author: Dynamic Drive: http://www.dynamicdrive.com
//Usage terms: http://www.dynamicdrive.com/notice.htm

//////No need to edit beyond here//////////////

function getCookie(Name) { 
  var re=new RegExp(Name+"=[^;]+", "i"); //construct RE to search for target name/value pair
  if (document.cookie.match(re)) //if cookie found
    return document.cookie.match(re)[0].split("=")[1]; //return its value
  return null;
}

function setCookie(name, value, days) {
  var expireDate = new Date(); //set "expstring" to either future or past date, to set or delete cookie, respectively
  var expstring=(typeof days!="undefined")? expireDate.setDate(expireDate.getDate()+parseInt(days)) : expireDate.setDate(expireDate.getDate()-5)
  document.cookie = name+"="+value+"; expires="+expireDate.toGMTString()+"; path=/";
}

function deleteCookie(name){
  setCookie(name, "moot");
}

function setStylesheet(title, randomize){
  var i, cacheobj, altsheets=[""];
  for(i=0; (cacheobj=document.getElementsByTagName("link")[i]); i++) {
    if(cacheobj.getAttribute("rel").toLowerCase()=="alternate stylesheet" && cacheobj.getAttribute("title")) {
      //if this is an alternate stylesheet with title
      cacheobj.disabled = true;
      altsheets.push(cacheobj);
      if(cacheobj.getAttribute("title") == title){
        cacheobj.disabled = false;
      }
    }
  }
}

function chooseStyle(styletitle, days){ //Interface function to switch style sheets plus save "title" attr of selected stylesheet to cookie
  if (document.getElementById){
    setStylesheet(styletitle);
    setCookie("mysheet", styletitle, days);
  }
}