// inserts |node| after |before|
function insertAfter(node, before) {
  before.parentNode.insertBefore(node, before.nextSibling);
}

// sets up the page and links it to the menu node |menuID|
function initPage(menuID) {
  var current = document.getElementById(menuID);

  // highlight the current menu node.
//  current.style.fontWeight = "bold";
  current.style.backgroundColor = "#17c";
  current.style.color = "#000";
}