var pageArray = [["index.html", "Normal"]];
function buildMenu() {
var index = window.location.pathname.lastIndexOf("/");
var currentPage = window.location.pathname.substring(index+1);
var menu = document.getElementById("ulMenu");
for(i = 0; i < pageArray.length; i++) {
var li = document.createElement("LI");
var ele = document.createElement("A");
ele.href = pageArray[i][0];
ele.text = pageArray[i][1];
ele.onclick = "setPreferences()";
if(currentPage == pageArray[i][0]) {
ele.style.backgroundColor = "Gold";
}
li.appendChild(ele);
menu.appendChild(li);
}
var li = document.createElement("LI");
li.style.float = "right";
var ele = document.createElement("A");
ele.href = "/index.html";
ele.text = "Home";
ele.onclick = "setPreferences()";
li.appendChild(ele);
menu.appendChild(li);
li = document.createElement("LI");
li.style.float = "none";
li.style.clear = "both";
menu.appendChild(li);
}
window.onload=function(){buildMenu();}