From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 3 Feb 2006 17:39:06 +0000 (+0000)
Subject: fixed download links and added underlined hyperlinks
X-Git-Tag: make_still_working~7637
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=37e0a6ded28116214bbe96a965589d98ed733db3;p=helm.git

fixed download links and added underlined hyperlinks
---

diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml
index ccf44ed3b..eff02c81b 100644
--- a/helm/www/matita/download.shtml
+++ b/helm/www/matita/download.shtml
@@ -8,12 +8,12 @@
     <!--#include virtual="menubar.shtml" -->
     <h1><span class="h1">Sources</span></h1>
     <p>
-    Since there is no official release, you can browse the svn repository
-    and get sources of the <a
-      href="http://helm.cs.unibo.it/websvn/dl.php?repname=helm&path=%2Ftrunk%2Fhelm%2Focaml%2F&rev=0&isdir=1">ocaml/</a>
-    and <a
-      href="http://helm.cs.unibo.it/websvn/dl.php?repname=helm&path=%2Ftrunk%2Fhelm%2Fmatita%2F&rev=0&isdir=1">matita/</a>
-    modules.
+    Since there is no official release, you can browse the
+    <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&path=%2F&sc=0">svn repository</a>
+    and get the sources of
+    <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&path=%2Ftrunk%2Fhelm%2Fsoftware%2Fcomponents%2F&rev=0&sc=0">components/</a>
+    and
+    <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&path=%2Ftrunk%2Fhelm%2Fsoftware%2Fmatita%2F&rev=0&sc=0">matita/</a>.
     </p>
     <!--#include virtual="bottombar.shtml" -->
   </body>
diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css
index 24fbcba4c..8c4a95c41 100644
--- a/helm/www/matita/style.css
+++ b/helm/www/matita/style.css
@@ -65,11 +65,11 @@ a.upmenu:hover {
 a {
   margin: 2px;
   color: #591622;
-  text-decoration : none;
+  text-decoration : underline;
 }
 
 a:hover {
-  text-decoration : none;
+  text-decoration : underline;
   /*
   border-bottom-width: 2px;
   border-top-width: 0px;