// Switch style sheet based on the contrast selected

function setActiveStyleSheet(title) {
   var i, a, main;
   for(i=0; (a = document.getElementsByTagName("link")[i]); i++) {
     if(a.getAttribute("rel").indexOf("style") != -1  && a.getAttribute("title")) {
	   a.disabled = true;
       if(a.getAttribute("title") == title) a.disabled = false;
     }
   }
}