Commit 5594fa549dd5848a6b7a53e8082b02940b139c8b

Werner Lemberg 2014-11-27T10:50:50

* src/tools/docmaker/tohtml.py: Replace `<center>' with `<div>'.

diff --git a/ChangeLog b/ChangeLog
index 507ac72..1280f7e 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,9 @@
 2014-11-27  Werner Lemberg  <wl@gnu.org>
 
+	* src/tools/docmaker/tohtml.py: Replace `<center>' with `<div>'.
+
+2014-11-27  Werner Lemberg  <wl@gnu.org>
+
 	* src/tools/docmaker/tohtml.py: Remove redundant `<center>' tags.
 
 	This starts a series of commits into the direction of generating
diff --git a/src/tools/docmaker/tohtml.py b/src/tools/docmaker/tohtml.py
index 69911d3..7df609e 100644
--- a/src/tools/docmaker/tohtml.py
+++ b/src/tools/docmaker/tohtml.py
@@ -43,6 +43,9 @@ html_header_2 = """\
          color: #000000;
          background: #FFFFFF; }
 
+  div.timestamp { text-align: center;
+                  font-size: 69%; }
+
   h1 { text-align: center; }
 
   li { text-align: justify; }
@@ -233,9 +236,9 @@ class  HtmlFormatter( Formatter ):
           + html_header_5t + project_title
           + html_header_6 )
         self.html_footer = (
-          '<center><font size="-2">generated on '
+          '<div class="timestamp">generated on '
           + time.asctime( time.localtime( time.time() ) )
-          + "</font></center>" + html_footer )
+          + "</div>" + html_footer )
 
         self.columns = 3