/* We switch the style sheet */
function swapStyle(n) {

	setCookie ( "style", n, 10);

	var css = document.getElementsByTagName('link');
	for ( var i = 0; i < css.length; i++){
		var title = css[i].getAttribute("title");
		if (title == "fancy" || "simple"){
			if ( i == n ){
				css[i].disabled = false;
			} else {
				css[i].disabled = true;
			}
		}
	}
}

/* We would like to set a cookie */
function setCookie(name, value, days) {
	var expireDate = new Date();
	/* add the number of days */
	expireDate.setTime( expireDate.getTime() + (days * 86400000));

	document.cookie = name + "=" + escape(value)+ "; expires"+ expireDate.toGMTString();
}

/* we need to recover the cookie too */
function getCookie(name) {
	/* check we have some cookies */
	if (document.cookie.length > 0) {
		var start;
		var end;

		start = document.cookie.indexOf(name+"=");
		if (start == -1) { return null; }
		end = document.cookie.indexOf(";", start);
		if (end == -1) {end = document.cookie.length;}	
		return unescape( document.cookie.substring(start + name.length + 1, end) );
	}
	return null;
}

function loadStyle() {
	var userAgent = navigator.userAgent.toLowerCase();
	var is_moz = (userAgent.indexOf("gecko") != -1);

	if (is_moz) {
		/* check if we have a saved style */
		var style = getCookie("style");

		/* we would like to hide the swap from
		   other (crapper) browsers */

		var css = document.getElementById('styleSwitch');
		if (css) {
			css.style.display = "block";
		}

		
		if (style) {
			swapStyle(style);
		}
	} else {
		/* display a message to others */
		var css = document.getElementById('styleSwitchAlt');
		if (css) {
			css.style.display = "block";
		}
	}
}