/* Glossary JavaScript */

function get_menu_items() {
   var m = document.getElementById('main-menu');
   var items = m.getElementsByTagName('dl');
   return items;
}

function click_menu() {
   var items = get_menu_items()
   for (var i=0; i < items.length; i++) {
      var item = items[i];
      item.className = 'inactive';
   }

  this.className = 'active'
}

function init_menu() {
   var items = get_menu_items()
   for (var i=0; i < items.length; i++) {
      var item = items[i];
      item.onclick = click_menu;
   }
}

onload = init_menu;