/* make styleswitcher menu visible if Javascript is allowed */

function enableStyleSwitcherMenu(activeStyle) {
  document.getElementById("styleswitcher").className = "shown";
  document.getElementById("style-Standard").className = "menuitem";
  document.getElementById("style-2007").className = "menuitem";
  document.getElementById("style-" + activeStyle).className = "menuselected";
}

function diableStyleSwitcherMenu() {
  document.getElementById("styleswitcher").className = "hidden";
  document.getElementById("style-Standard").className = "hidden";
  document.getElementById("style-2007").className = "hidden";
}

function renderStyleSwitcherMenu(activeStyle) {
  if(activeStyle == "Handheld"){
    diableStyleSwitcherMenu();
  } else {
    enableStyleSwitcherMenu(activeStyle);
  }
}

function switchToStyleSheet(title) {
  setActiveStyleSheet(title);
  renderStyleSwitcherMenu(title);
  return false;
}

renderStyleSwitcherMenu(getActiveStyleSheet());