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