var RootDir = "/~bptecho/bpt/";         // where does it all lead?

function addNavElement (text, url)
{
	document.writeln("<a href=\"" + url + "\"" +
		" class=\"horizontal\">" + text + "</a>");
}

function addNavSpacer ()
{
    document.writeln("<span class=\"horizontal\"> | </span>");
}

function navBar ()
{
    document.writeln("<table><tr><td class=\"horizontal\">");
    addNavElement ("HOME", RootDir + "index.html"); addNavSpacer ();
	addNavElement ("BP", RootDir + "bptech/index.html"); addNavSpacer ();
    addNavElement ("EXTRACURRICULAR", RootDir + "extracurr/index.html"); addNavSpacer ();
    addNavElement ("SPORTS", RootDir + "sports/index.html"); addNavSpacer ();
    addNavElement ("STUDENT SERVICES", RootDir + "services/index.html"); addNavSpacer ();
    addNavElement ("ACADEMICS", RootDir + "academics/index.html"); addNavSpacer ();
    addNavElement ("TECHNICAL AREAS", RootDir + "shops/index.html"); 
    document.writeln("</td></tr></table>");
}