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

var manual_or_random="manual",randomsetting="3 days";function setStylesheet(a,b){var e,c,d=[""];for(e=0;c=document.getElementsByTagName("link")[e];e++)if(c.getAttribute("rel").toLowerCase()=="alternate stylesheet"&&c.getAttribute("title")){c.disabled=true;d.push(c);if(c.getAttribute("title")==a)c.disabled=false}if(typeof b!="undefined"){var f=Math.floor(Math.random()*d.length);d[f].disabled=false}return typeof b!="undefined"&&d[f]!=""?d[f].getAttribute("title"):""}
function chooseStyle(a){document.getElementById&&setStylesheet(a)}function indicateSelected(a){if(selectedtitle!=null&&(a.type==undefined||a.type=="select-one")){a=a.type=="select-one"?a.options:a;for(var b=0;b<a.length;b++)if(a[b].value==selectedtitle){if(a[b].tagName=="OPTION")a[b].selected=true;else a[b].checked=true;break}}};