// This script makes the possibility to change stylesheets available
// to browsers other than Mozilla.

function selectAlternateStylesheet(title)
{
//	alert("selectAlternateStylesheet(" + title + ")");
	var availablestyles = document.getElementsByTagName("link");
	var found = false;
	
	for (i = 0; i < availablestyles.length; ++i)
	{
		var styletitle = availablestyles[i].getAttribute('title');
		if (styletitle)
		{
			if (styletitle == title)
			{
				availablestyles[i].disabled = false;
				found = true;
			}
			else
				availablestyles[i].disabled = true;
		}
	}
	
	if (!found)
		availablestyles[0].disabled = false;

	var inayear = new Date((new Date()).getTime() + (1000*60*60*24*365));
	var cookie = "selected_style=" + escape(title) + ";expires=" + inayear.toGMTString() + ";path=/";
	document.cookie = cookie;
}

function getStyleFromCookie()
{
//	alert("getStyleFromCookie()");
	var name = "selected_style";
	var cookie = document.cookie;
	var firstchar = cookie.indexOf(name);
	var stylesheet;
	if (firstchar != -1)
	{
		firstchar += name.length + 1 // This will skip the name and the '='
		var lastchar = cookie.indexOf(";", firstchar); // Find the position of the next ';'
		if (lastchar == -1) // Maybe we look at the end?
			lastchar = cookie.length;
		stylesheet = unescape(cookie.substring(firstchar, lastchar));
	}
	selectAlternateStylesheet("original green");
	selectAlternateStylesheet(stylesheet);
}


document.onload = getStyleFromCookie();