/* add a stylesheet switcher (not permanent) */
function setActiveStyleSheet(title) {
   var i, a, main;
   var returnVar = true;
   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;
			returnVar = false;
		}
     }
   }
   
   return returnVar;
}
function getStyleSheets() {
   var i, a, main;
   var returnVar = [];
   for(i=0; (a = document.getElementsByTagName("link")[i]); i++) {
     if(a.getAttribute("rel").indexOf("style") != -1
        && a.getAttribute("title")) {
       returnVar.push(a);
     }
   }
   
   return returnVar;
}