download.shtml is now valid xhtml 1.0 strict

diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml
index f9753df6d8783080923fde882f0424b2d043703d..179ca003433868d1370cedaaf1cf079e6fd50bc1 100644 (file)
--- 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 a2b5e8af5ba638a1601b1b1e771fbba4d75d4824..a09fba17a9aab51d855ee2652f5d571f749a6485 100644 (file)
--- 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;
 }