function setCSS(title){
	var i, newstyle, altsheets=[""]
	for(i=0; (newstyle=document.getElementsByTagName("link")[i]); i++) {
		if(newstyle.getAttribute("rel")=="alternate stylesheet" && newstyle.getAttribute("title")) { 
			newstyle.disabled = true
			altsheets.push(newstyle)
			if(newstyle.getAttribute("title") == title)
				newstyle.disabled = false
			}
		}
	}

function chooseCSS(styletitle){
	if (document.getElementById){
		setCSS(styletitle)
	}
}