From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Sat, 10 Jun 2006 11:37:11 +0000 (+0000)
Subject: yet another screenshot
X-Git-Tag: make_still_working~7233
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3f55b3f76a5228ec5b97664469941736b9fb0202;p=helm.git

yet another screenshot
---

diff --git a/helm/www/matita/matita.shtml b/helm/www/matita/matita.shtml
index 8d6a75f29..30830764c 100644
--- a/helm/www/matita/matita.shtml
+++ b/helm/www/matita/matita.shtml
@@ -17,7 +17,13 @@
       integrates several <a href="http://www.mkm-ig.org">Mathematical Knowledge
 	Management</a> tools and techniques. </p>
 
-      <p> Matita is <strong>traditional</strong>. Its logical foundation is the
+      <p>
+      <span class="screenshots">
+	<a class="quiet" href="images/screenshot-matita.png">
+	  <img src="images/MINI_screenshot-matita.png" alt="Matita screenshot: authoring interface" />
+	</a>
+      </span>
+      Matita is <strong>traditional</strong>. Its logical foundation is the
       Calculus of (Co)Inductive Constructions (CIC). It can re-use
       mathematical concepts produced by other proof assistants like
       <a href="http://coq.inria.fr">Coq</a> and encoded in an
@@ -27,7 +33,7 @@
       proof language is procedural in the same spirit of LCF. </p>
 
       <p> Matita is <strong>innovative</strong>: </p>
-      <ul class="with_screenshots">
+      <ul>
 
 	<li>
 	<p>
diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css
index 98fc1d9de..ef9fd1cb1 100644
--- a/helm/www/matita/style.css
+++ b/helm/www/matita/style.css
@@ -148,10 +148,7 @@ pre.code {
   font-size: 95%;
 }
 
-ul.with_screenshots li {
-}
-
-ul.with_screenshots li p span.screenshots {
+span.screenshots {
   float: right;
 }