<div class="menu">
- <a href="index.shtml">Matita Home</a>
- <a href="development.shtml">Development</a>
- <a href="documentation.shtml">Documentation</a>
- <a href="community.shtml">Community</a>
- <a href="download.shtml">Download</a>
-</div>
+ <!--<img src="http://matita.cs.unibo.it/images/matita-small.png" />-->
+ <ul>
+ <li> <a href="index.shtml">Matita Home</a> </li>
+ <li> <a href="documentation.shtml">Documentation</a> </li>
+ <li> <a href="development.shtml">Development</a> </li>
+ <li> <a href="community.shtml">Community</a> </li>
+ <li> <a href="download.shtml">Download</a> </li>
+ </ul>
+</div>