--- /dev/null
+<!-- $Id: menubar.shtml 6484 2006-06-14 08:49:31Z zacchiro $ -->
+
+<div class="menu">
+ <a class="quiet" href="index.shtml">
+ <img src="images/matita-small.png" alt="Small Matita logo" />
+ </a>
+ <ul>
+ <li> <a href="matita_it.shtml">Matita Home</a> </li>
+ <li> <a href="documentation.shtml">Documentazione</a> </li>
+ <li>
+ <a style="background-image: url(images/matita-library.png)"
+ href="library.shtml">
+ Libreria
+ </a>
+ </li>
+ <li> <a href="development.shtml">Sviluppatori</a> </li>
+ <li> <a href="community.shtml">Comunita'</a> </li>
+ <li> <a href="download.shtml">Download</a> </li>
+ </ul>
+</div>
+