function getStyleSheets(){
if(!document.getElementsByTagName("link")){return;}
var links=document.getElementsByTagName("link")
var count=0
var stylesheetArray=new Array()
for(var i=0;i<links.length;i++){
type=links[i].getAttribute("type")
if(type=="text/css"){
stylesheetArray[count]=links[i]
count++}}
return stylesheetArray}
function setStyleSheet(title){
var stylesheets=getStyleSheets()
for(var i=0;i<stylesheets.length;i++){
stylesheets[i].disabled=true
if(stylesheets[i].getAttribute("title")==title){
stylesheets[i].disabled=false
createCookie('style',title,23)}}}
function getDefaultStyleSheet(){
var title
var stylesheets=getStyleSheets()
for(var i=0;i<stylesheets.length;i++){
if(stylesheets[i].getAttribute("rel").indexOf('alt')==-1){title=stylesheets[i].getAttribute("title");}}
return title}
function getPreferredStyleSheet(){
var title
if(readCookie('style')){title=readCookie('style');}
else{title=getDefaultStyleSheet();}
return title}
window.onload=function(){
var title=getPreferredStyleSheet()
setStyleSheet(title)}
function linkBox(elementID){
var form=document.createElement("form")
form.setAttribute("id","linkBox")
form.setAttribute("title","Change the stylesheet")
var drop=document.createElement("select")
drop.setAttribute("id","styleSelect")
drop.onchange=function(){setStyleSheet(this.options[this.selectedIndex].value)}
var label=document.createElement("label")
label.setAttribute("for","styleSelect")
var text=document.createTextNode("Change the stylesheet: ")
label.appendChild(text)
form.appendChild(label)
form.appendChild(drop)
document.getElementById(elementID).appendChild(form)
var stylesheets=getStyleSheets()
var preferred=getPreferredStyleSheet()
for(var i=0;i<stylesheets.length;i++){
var title=stylesheets[i].getAttribute("title")
drop.options[i]=new Option(title,title,false)
if(title==preferred){drop.options[i].selected=true;}}}
function createCookie(name,value,days){
if(days){
var date=new Date()
date.setTime(date.getTime()+(days*24*60*60*1000))
var expires="; expires="+date.toGMTString()}
else var expires=""
document.cookie=name+"="+value+expires+"; path=/"}
function readCookie(name){
var nameEQ=name+"="
var ca=document.cookie.split(';')
for(var i=0;i<ca.length;i++){
var c=ca[i]
while(c.charAt(0)==' ')c=c.substring(1,c.length)
if(c.indexOf(nameEQ)==0)return c.substring(nameEQ.length,c.length)}
return null}
function eraseCookie(name){
createCookie(name,"",-1)}
var title=getPreferredStyleSheet()
setStyleSheet(title)