From ab05715ca8747aceac90566900625c27e6e5f6f3 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 14 Jun 2006 14:41:44 +0000
Subject: [PATCH] center figures in HTML version of the manual using CSS

---
 matita/help/C/docbook.css            | 5 +++++
 matita/help/C/sec_gettingstarted.xml | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/matita/help/C/docbook.css b/matita/help/C/docbook.css
index 0c92e77c9..a6ea52fe6 100644
--- a/matita/help/C/docbook.css
+++ b/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/matita/help/C/sec_gettingstarted.xml b/matita/help/C/sec_gettingstarted.xml
index b9a9c34d9..8680f4b43 100644
--- a/matita/help/C/sec_gettingstarted.xml
+++ b/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>
-- 
2.39.2