<!--
var libraryNavURLs  = new Array('dictionary.html',
                         'theory.html',
						 'theorists.html',
						 'biblio.html');
var libraryLinkText = new Array('Dictionary',
                         'Theory',
						 'Theorists',
						 'Bibliography');

function libraryNavbar() {
	var libraryNavStr= '';
	for (var i = 0; i < libraryNavURLs.length; i++) {
		if (location.href.indexOf(libraryNavURLs[i]) == -1) { 
			libraryNavStr += '<A HREF="' + libraryNavURLs[i] + '">' + libraryLinkText[i] + '</A><br>'; 
		}
		else { libraryNavStr += '<b><font color="#993300">&raquo;</font>&nbsp;<font color="#333333">' + libraryLinkText[i] + '</font></b><br>';
		}
	}
	document.writeln(libraryNavStr);
	}
// -->
