- <a class="upmenu" href=index.html>Matita Home</a>
- <a class="upmenu" href=developers.html>Developers</a>
- <a class="upmenu" href=documentation.html>Documentation</a>
- <a class="upmenu" href=community.html>Community</a>
- <a class="upmenu" href=download.html>Download</a>
+ <a class="upmenu" href="index.html">Matita Home</a>
+ <a class="upmenu" href="developers.html">Developers</a>
+ <a class="upmenu" href="documentation.html">Documentation</a>
+ <a class="upmenu" href="community.html">Community</a>
+ <a class="upmenu" href="download.html">Download</a>