center figures in HTML version of the manual using CSS

[helm.git] / helm / software / matita / help / C / docbook.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;
+}
+