-<div class="upmenu">
- <a class="upmenu" href="index.shtml">Matita Home</a>
- <a class="upmenu" href="developers.shtml">Developers</a>
- <a class="upmenu" href="documentation.shtml">Documentation</a>
- <a class="upmenu" href="community.shtml">Community</a>
- <a class="upmenu" href="download.shtml">Download</a>
-</div>
+<!-- $Id$ -->
+
+<div class="menu">
+ <a class="quiet" href="index.shtml">
+ <img src="images/matita-small.png" alt="Small Matita logo" />
+ </a>
+ <ul>
+ <li> <a href="index.shtml">Matita Home</a> </li>
+ <li> <a href="documentation.shtml">Documentation</a> </li>
+ <li>
+ <a style="background-image: url(images/matita-library.png)"
+ href="library.shtml">
+ Library
+ </a>
+ </li>
+ <li> <a href="development.shtml">Developers</a> </li>
+ <li> <a href="community.shtml">Community</a> </li>
+ <li> <a href="matitaweb.shtml">Matitaweb</a> </li>
+ <li> <a href="download.shtml">Download</a> </li>
+ </ul>
+</div>
+