Updates, according Laurent's advice

[bbtk.git] / kernel / doc / bbtkWebSite / menu.html
diff --git a/kernel/doc/bbtkWebSite/menu.html b/kernel/doc/bbtkWebSite/menu.html

index 505a05068fb2aaf1a372b6f956791b9afb6c599a..fca9b7c0d83337e8ccdcd2fd1f3f56a66de5c26b 100644 (file)
--- a/kernel/doc/bbtkWebSite/menu.html
+++ b/kernel/doc/bbtkWebSite/menu.html
@@ -6,16 +6,10 @@
   content="text/html; charset=iso-8859-1">
  </head>
  <body style="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
-<small>
-<a target="information" href="home.html"></a></small><br>
-The <span style="font-weight: bold;">B</span>lack <span
- style="font-weight: bold;">B</span>ox <span style="font-weight: bold;">T</span>ool<span
- style="font-weight: bold;">k</span>it @BBTK_VERSION@ <br>
-<br>
-<hr style="width: 100%; height: 2px;">Build Instructions<br>
-<br>
-<a href="./install.html">Follow this link</a><br>
-<hr style="width: 100%; height: 2px;">Guides and documentation<br>
+<small> <font size="3"><small>
+<a target="information" href="home.html">Home</a><br>
+<a href="./install.html" target="information">Build instructions</a></small></font></small><br>
+<hr style="width: 100%; height: 2px;">Guides and documentation
  <br>
  <small> <font size="3"><small><a
   href="../bbtkUsersGuide/bbtkUsersGuide.html" target="information">User's