-<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 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>