// Java Document

_NavBar_url = "/navbar";

// helper function that disables the current page
function L(label) {
  if (_NavBar_pageID.toLowerCase() == label.toLowerCase())
    label = "!" + label;
  return label;
}

var menu = new NavBar(document.getElementById("content"),
                      document.getElementById("beforemenu"),
                      document.getElementById("aftermenu"));

// begin generation (add top control buttons)
menu.openMenu();

// a menu section
new NavSection(
  menu, // parent menu
  "a menu", // section label
  [
    [ L("Home"),     "home.html",     "Homepage",     "images/home.png" ],
    [ L("Products"), "products.html", "Our products", "images/products.png" ],
    [ L("Label"),    "url",           "A tooltip",    "images/icon.png" ]
  ]
);

// set some options
menu.prefs["animation"] = 3;    // "bloatware" ;-)
menu.prefs["auto-hide"] = true; // the bar will autohide

// end generation
menu.generate();