yet another screenshot

diff --git a/helm/www/matita/matita.shtml b/helm/www/matita/matita.shtml
index 8d6a75f292791576df284c3dbd714e3bbb7e16ae..30830764c887d54ad30445ca868b9770ce19ab05 100644 (file)
--- 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 98fc1d9de3aee41a2e9f0eadcf5b1bcbdaad40bb..ef9fd1cb122d91a7544cc2df074b0626e8efb728 100644 (file)
--- 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;
 }