highlightTopNav();
highlightLeftNav();

function highlightTopNav() {
 var top_nav_buttons = document.getElementById("top_nav_buttons");
 if (!top_nav_buttons) {
  return;
 }
 
 var button_links = top_nav_buttons.getElementsByTagName("a");
 
 for (var i = 0; i < button_links.length; ++i) {
  if (document.location.href.indexOf(button_links[i].href.substring(0, button_links[i].href.lastIndexOf("/") + 1)) == 0) {
   button_links[i].childNodes[0].onmouseover = function() {};
   button_links[i].childNodes[0].onmouseout = function() {};
   button_links[i].childNodes[0].src = button_links[i].childNodes[0].src.replace(/\.(gif|jpg)$/, "_f2." + "$1");
   break;
  }
 }
}

function highlightLeftNav() {
 var left_nav = document.getElementById("left_nav");
 if (!left_nav) {
  return;
 }
 
 var left_nav_links = left_nav.getElementsByTagName("a");
 
 for (var i = 0; i < left_nav_links.length; ++i) {
  if (document.location.href.indexOf(left_nav_links[i].href) == 0) {
   left_nav_links[i].className = "selected";
   break;
  }
 }
}