function setStyle(title)
{
  var i, p, links = new Array();
  links=document.getElementsByTagName("link");
  for (i=0; i<links.length; i++)
  {
    if ((links[i].getAttribute("rel").indexOf("stylesheet")!=-1) && (p=links[i].getAttribute("title")))
    {
      links[i].disabled=true;
      if ((p==title) && (p!=BASE)) links[i].disabled=false;
    }
  }
}