update libra documentation page
diff --git a/documentation/_index.html b/documentation/_index.html
index 14fee16..6d60432 100644
--- a/documentation/_index.html
+++ b/documentation/_index.html
@@ -1,6 +1,6 @@
 <ul>
-<li><a href="http://wiki.eclipse.org/Libra/FAQ#Installation_and_Use"><h5>Installation and Use</h5></a></li>
-<li><a href="http://wiki.eclipse.org/Libra/Getting_Started#Obtaining_Sources"><h5>Obtaining Sources</h5></a></li>
-<li><a href="http://wiki.eclipse.org/Libra/Getting_Started#Build_Infrastructure"><h5>Build Infrastructure</h5></a></li>
-<li><a href="http://wiki.eclipse.org/Libra/Getting_Started#Proposing_and_Committing_a_Patch"><h5>Proposing and Committing a Patch</h5></a></li>
+<li><b><a href="http://wiki.eclipse.org/Libra/FAQ#Installation_and_Use">Installation and Use</a></b></li>
+<li><b><a href="http://wiki.eclipse.org/Libra/Getting_Started#Obtaining_Sources">Obtaining Sources</a></b></li>
+<li><b><a href="http://wiki.eclipse.org/Libra/Getting_Started#Build_Infrastructure">Build Infrastructure</a></b></li>
+<li><b><a href="http://wiki.eclipse.org/Libra/Getting_Started#Proposing_and_Committing_a_Patch">Proposing and Committing a Patch</a></b></li>
 </ul>
\ No newline at end of file
diff --git a/documentation/index.php b/documentation/index.php
index ee50323..40a14fd 100644
--- a/documentation/index.php
+++ b/documentation/index.php
@@ -1,14 +1,10 @@
 <?php  																														require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/app.class.php");	require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/nav.class.php"); 	require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/menu.class.php"); 	$App 	= new App();	$Nav	= new Nav();	$Menu 	= new Menu();		include($App->getProjectCommon());    # All on the same line to unclutter the user's desktop'
 	$pageTitle 		= "Libra - Documentation";
 
-	# Add page-specific Nav bars here
-	# Format is Link text, link URL (can be http://www.someothersite.com/), target (_self, _blank), level (1, 2 or 3)
-	$Nav->addNavSeparator("Documentation", null);
-	
 	$html  = '<div id="midcolumn">';
 	$html .= file_get_contents('_index.html');
 	$html .= "</div>";
-
+	
 	# Generate the web page
-	$App->generatePage($theme, $Menu, null, $pageAuthor, $pageKeywords, $pageTitle, $html);
-?>
+	$App->generatePage($theme, $Menu, $Nav, $pageAuthor, $pageKeywords, $pageTitle, $html);
+?>
\ No newline at end of file