function NavPrepare(current) {
  if (document.getElementById && document.getElementsByTagName) {
    var menu = document.getElementById('menu');
    var items = menu.getElementsByTagName('li');
    for (var i = 0; i < items.length; i++) {
      if (items[i].parentNode == menu) {
        var link = items[i].getElementsByTagName('a')[0];
        if (location.href.match('translate_c'))
          link = items[i].getElementsByTagName('a')[1];
        if (link.href.match("#") != null) {
          var style = 'none';
      
          // Hook up toggle
          link.onclick = MenuToggle;
          if (link.firstChild.nodeValue == current)
            style = 'block';

          // Set display of submenus (hide/show)
          var submenus = items[i].getElementsByTagName('ul');
          for (var j = 0; j < submenus.length; j++)
            submenus[j].style.display = style;
        }
      }
    }
    
    // Highlight the current link
    var url = location.pathname.toLowerCase();
    var links = menu.getElementsByTagName('a');
    for (var i = 0; i < links.length; i++) {
      if (links[i].href.match("#") == null && links[i].href.toLowerCase().match(url) != null) {
        links[i].className = "current";
        return;
      }
    }
  }
}

function MenuToggle () {
  var parent = this.parentNode;
  while (parent != null && parent.tagName != "LI")
    parent = parent.parentNode;
  var submenus = parent.getElementsByTagName('ul');
  for (var i = 0; i < submenus.length; i++) {
    if (submenus[i].style.display == 'none')
      submenus[i].style.display = 'block';
    else
      submenus[i].style.display = 'none';
  }
  return false;
}