helm/www/matita1.0/menubar.shtml

   1 <!-- $Id$ -->
   2
   3 <div class="menu">
   4   <a class="quiet" href="index.shtml">
   5     <img src="images/matita-small.png" alt="Small Matita logo" />
   6   </a>
   7   <ul>
   8     <li> <a href="index.shtml">Matita Home</a> </li>
   9     <li> <a href="documentation.shtml">Documentation</a> </li>
  10     <li>
  11       <a style="background-image: url(images/matita-library.png)"
  12         href="library.shtml">
  13           Library
  14       </a>
  15     </li>
  16     <li> <a href="development.shtml">Developers</a> </li>
  17     <li> <a href="community.shtml">Community</a> </li>
  18     <li> <a href="download.shtml">Download</a> </li>
  19   </ul>
  20 </div>
  21