From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 13 Jun 2006 14:39:41 +0000 (+0000)
Subject: download.shtml is now valid xhtml 1.0 strict
X-Git-Tag: make_still_working~7198
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=27d91f60a42bbbfb193d4a330cb97d1d20de602b;p=helm.git

download.shtml is now valid xhtml 1.0 strict
---

diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml
index f9753df6d..179ca0034 100644
--- a/helm/www/matita/download.shtml
+++ b/helm/www/matita/download.shtml
@@ -25,12 +25,12 @@
       </p>
       <p>
       To checkout a copy of the sources type:
-    <pre class="code">
-svn co -N svn://mowgli.cs.unibo.it/trunk/helm/software/
-cd software/
-svn co svn://mowgli.cs.unibo.it/trunk/helm/software/components
-svn co svn://mowgli.cs.unibo.it/trunk/helm/software/matita
-</pre>
+      </p>
+      <p>
+      <kbd>svn co -N svn://mowgli.cs.unibo.it/trunk/helm/software/</kbd><br />
+      <kbd>cd software/</kbd><br />
+      <kbd>svn co svn://mowgli.cs.unibo.it/trunk/helm/software/components</kbd><br />
+      <kbd>svn co svn://mowgli.cs.unibo.it/trunk/helm/software/matita</kbd><br />
       </p>
       <p>
       Once you got the sources, have a look at the
diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css
index a2b5e8af5..a09fba17a 100644
--- a/helm/www/matita/style.css
+++ b/helm/www/matita/style.css
@@ -143,11 +143,6 @@ a.quiet img {
   border-style:none; 
 }
 
-pre.code {
-  margin-left: 2em;
-  font-size: 95%;
-}
-
 span.screenshots {
   float: right;
 }