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 0c92e77c97d8ba01aa769989f0f4a8a303f4a50d..a6ea52fe6afe5d2908b4a9b8afc072307c87a3e1 100644 (file)
--- 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 b9a9c34d927be6406db6c9b5ab34f6b381e667df..8680f4b4371eaf8118950eaa322cb9afd1e9acd7 100644 (file)
--- 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>