From 27d91f60a42bbbfb193d4a330cb97d1d20de602b Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 13 Jun 2006 14:39:41 +0000
Subject: [PATCH] download.shtml is now valid xhtml 1.0 strict

---
 helm/www/matita/download.shtml | 12 ++++++------
 helm/www/matita/style.css      |  5 -----
 2 files changed, 6 insertions(+), 11 deletions(-)

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;
 }
-- 
2.39.2