//Style Sheet Switcher version 1.0 Nov 9th, 2005

function chooseStyle(styletitle){
	if (document.getElementById){
		var i, cacheobj
			for(i=0; (cacheobj=document.getElementsByTagName("link")[i]); i++) {
				if(cacheobj.getAttribute("rel").indexOf("style") != -1 && cacheobj.getAttribute("title")) {
				cacheobj.disabled = true
				if(cacheobj.getAttribute("title") == styletitle)
				cacheobj.disabled = false //enable chosen style sheet
			}
		}
	}
}