function fixNavBar()
{
	if ( ! document.getElementById )
		return;

	// Replace anchor with SPAN in navbar to remove link to current page.
	//   Also add style information so the CSS makes it visually distinct.
	var ul = document.getElementById('navlist');
	var all_links = ul.getElementsByTagName('a');
	for ( i=0; i<all_links.length; i++ )
	{
		var a = all_links[i];
		// if ( a.href == document.URL )  // my way
		if ( a.pathname == location.pathname
			|| '/'+a.pathname == location.pathname )	// Stuart's way
		{
			// create SPAN element to replace anchor element
			var span = document.createElement( "SPAN" );
			span.id = 'current';
			var a_text = a.firstChild.nodeValue;
			span.appendChild( document.createTextNode( a_text ) );
			
			// remove anchor element
			var parent = a.parentNode;
			parent.removeChild( a );

			// put SPAN in its place
			parent.appendChild( span );

			// and add ID=active to parent LI, since navtabs.css wants that
			parent.id = 'active';
		}
	}
}

addEvent( window, 'load', fixNavBar, false );