//
// Javscript code that you want accessible to all pages can go in this file.
// It is referenced by main_template.
//
function changeLoc(select) {
    var href = select.options[select.selectedIndex].value;
    if (href != " ") {
        document.location = href;
    }
}

function popupWindow(url, width, height) {
  if(width == undefined) {
      width = 400;
  }
  if(height == undefined) {
      height = 400;
  }
  var popup = window.open(url, "popup", "toolbar=0,scrollbars=0,status=0,resizable=1,width="+width+",height="+height);
  popup.focus();
}

// Handler for top_nav mouse over/out events.
// hover_idx is the index of the span that was just moused over, or -1
// if this is a mouse out event.
// selected_idx is the index of the selected "tab" for the current part of the site, or -1 is no tab is selected.
function top_nav_mouse_event(hover_idx, selected_idx) {
   var parent = document.getElementById("NavBar");
   var spans = parent.getElementsByTagName("span");
   var className;
   for(var i=0; i<spans.length; i++) {
       className = "NavBarItem";
       if(i == selected_idx) {
           className += " CurrentItem";
       } else if(i == 0) {
           if(selected_idx == i+1) {
               className += " LeftBorder";
           } else {
               className += " BothBorders";
           }
       } else {
           if(selected_idx != i+1) {
               className += " RightBorder";
           }
       }
       spans[i].className = className;
   }
   if(hover_idx != -1) {
       className = spans[hover_idx].className;
       className = className + " NavBarHover";
       if(! (hover_idx == 0 || hover_idx == selected_idx || hover_idx == selected_idx+1)) {
           className = className + " LeftBorder";
           if(hover_idx > 0) {
               var className2 = "NavBarItem";
               if(hover_idx == 1) {
                   // Make sure the leftmost tab always has a left border.
                   className2 += " LeftBorder";
               }
               spans[hover_idx-1].className = className2;
           }
       }
       spans[hover_idx].className = className;
   }
}