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

function PickStyle(styletitle){
if (document.getElementById){
SetStyle(styletitle)
}
}