// JavaScript Document
var themeName;
function callPage(target)
{	
	document.form1.t.value=themeName;
	document.form1.action=target;
	document.form1.submit();
}
function chooseStyle(styletitle, days)
{
if (document.getElementById)
	{
	themeName=styletitle;
	setStylesheet(styletitle)
	setCookie("mysheet", styletitle, days)
	}
}

var manual_or_random="manual" //"manual" or "random"

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

function setStylesheet(title, randomize)
{ //Main stylesheet switcher function. Second parameter if defined causes a random alternate stylesheet (including none) to be enabled
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) //store reference to alt stylesheets inside array
if(cacheobj.getAttribute("title") == title) //enable alternate stylesheet with title that matches parameter
cacheobj.disabled = false //enable chosen style sheet
}
}
if (typeof randomize!="undefined"){ //if second paramter is defined, randomly enable an alt style sheet (includes non)
var randomnumber=Math.floor(Math.random()*altsheets.length)
altsheets[randomnumber].disabled=false
}
return (typeof randomize!="undefined" && altsheets[randomnumber]!="")? altsheets[randomnumber].getAttribute("title") : "" //if in "random" mode, return "title" of randomly enabled alt stylesheet
}