function navBarAdjustZIndex(menuVisible) {
  var elem = document.getElementById("searchOuterDiv");
  if (elem) {
    if (menuVisible) {
//      elem.style.zIndex = -1;
      elem.style.visibility = "hidden";
    }
    else {
//      elem.style.zIndex = 0;
      elem.style.visibility = "visible";
    }
  }
}