From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 14 Jun 2006 14:41:44 +0000 (+0000)
Subject: center figures in HTML version of the manual using CSS
X-Git-Tag: make_still_working~7187
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a3dec92d472a53ec1f87e927e1ef118b4e04a5bd;p=helm.git

center figures in HTML version of the manual using CSS
---

diff --git a/helm/software/matita/help/C/docbook.css b/helm/software/matita/help/C/docbook.css
index 0c92e77c9..a6ea52fe6 100644
--- a/helm/software/matita/help/C/docbook.css
+++ b/helm/software/matita/help/C/docbook.css
@@ -49,3 +49,8 @@ div.matita_logo span {
   left: 65px;
   text-decoration: underline;
 }
+
+div.figure {
+  text-align: center;
+}
+
diff --git a/helm/software/matita/help/C/sec_gettingstarted.xml b/helm/software/matita/help/C/sec_gettingstarted.xml
index b9a9c34d9..8680f4b43 100644
--- a/helm/software/matita/help/C/sec_gettingstarted.xml
+++ b/helm/software/matita/help/C/sec_gettingstarted.xml
@@ -110,7 +110,7 @@
    <figure><title>The Developments window</title>
      <mediaobject>
        <imageobject>
-         <imagedata fileref="figures/developments.png" align="center"/> 
+         <imagedata fileref="figures/developments.png" /> 
        </imageobject>
        <textobject><phrase>Screenshot of the Developments window.</phrase></textobject>
      </mediaobject>