function links_highlight(item) {
   item.style.background = "#f0f0f0";
   item.style.borderColor = "black";
   item.style.borderStyle = "solid";
   item.style.padding = "0px";
   item.style.color = "#000";
}

function links_unhighlight(item) {
   item.style.background = "transparent";
   item.style.borderColor = "transparent";
   item.style.borderStyle = "none"
   item.style.padding = "1px"
   item.style.color = "#fff";
}

function navigate(url) {
   self.location.href = url;
}