<!-- // Hide this script from older browsers

// $Id: styleswitcher.js 4786 2006-11-08 15:39:17Z justins $

function setCookie(name, value) {
	document.cookie = name + "=" + escape(value) + ";" + "path=/";
}

function getCookie(name) {
  var cname = name + "=";
  var dc = document.cookie;
  if (dc.length > 0) {
    var start = dc.indexOf(cname);
    if (start != -1) {
      start += cname.length;
      var stop = dc.indexOf(";", start);
      if (stop == -1) stop = dc.length;
      return unescape(dc.substring(start,stop));
    }
  }
  return 'full'
}

function cssSetCookie(css) {
  setCookie("style", css);
  self.location = self.location;
  self.location.reload();
}

function cssGetCookie() {
  return getCookie("style");
}

// -->
