function returnDocument() {
    var file_name = document.location.href;
    var end = (file_name.indexOf("?") == -1) ? file_name.length : file_name.indexOf("?");
    return file_name.substring(file_name.lastIndexOf("/")+1, end);
}

function navigationLinks(){
	// Change this number to the number of links in the navigation bar
	var numberOfNavLinks = 4;

	//This is a list of the titles of links in the navigation bar
	var navLinkNames = new Array(
		"Home",
		"Resumé",
		"Indexes",
		"Contact"
	);

	//This is a list of the file names where the links lead to
	var navLinkTargets = new Array(
		"index.html",
		"resume.html",
		"published_indexes.html",
		"contact.html"
	);
	
	//Gets the file name of the current page
	var fileName = returnDocument();
	
	//This code writes the links to the page
	for(i = 0; i < numberOfNavLinks; i++){
		if(navLinkTargets[i] == fileName){
			document.write("<strong>");
		}
		document.write("<a style = \"padding-right:30px\" class=\"bannerLinks\" href=\"" + 
		navLinkTargets[i] + "\">" + navLinkNames[i] + "</a>");
		if(navLinkTargets[i] == fileName){
			document.write("</strong>");	
		}
	}
}