// -----------------------------------------------------------------
// This script simply "highlights" any links in the current page
// which point to the current page. For example,
// If you are viewing a.html,
// the script will "highlight" any links that point to "a.html"
// -----------------------------------------------------------------
var a = document.location.toString() ;

for( var i = 0; i < document.links.length; i++ ) {
	b = document.links[i].toString();
	
	if( a == document.links[i].toString() ) {
		document.links[i].style.fontWeight = "bold";
		document.links[i].style.color = "#ff0000";
	}
}