// Navigation bar

var pathname = location.pathname;
var basename = pathname.substring(1 + pathname.lastIndexOf("/"));

var links = new Array();

links[0] = new Object();
links[0].url = "deploy-scenarios.html";
links[0].text = "Deployment Scenarios";

links[1] = new Object();
links[1].url = "quick-start.html";
links[1].text = "Quick Start";

links[2] = new Object();
links[2].url = "install-windows.html";
links[2].text = "Windows Install";

links[3] = new Object();
links[3].url = "install-unix.html";
links[3].text = "UNIX Install";

document.write('<div class="nonprinting">');

for (var i = 0; i < links.length; i++) {

  if (basename == links[i].url) {
    document.write('<b>');
    document.write(links[i].text);
    document.write('</b>');
  } else {
    document.write('<a href="');
    document.write(links[i].url);
    document.write('">');
    document.write(links[i].text);
    document.write('</a>');
  }
  if (i + 1 < links.length) {
    document.write('&nbsp;&nbsp;|&nbsp;&nbsp;');
  }
}

document.write('<hr style="border-width: thin" />');
document.writeln('</div>');
document.writeln();