From 5594fa549dd5848a6b7a53e8082b02940b139c8b Mon Sep 17 00:00:00 2001
From: Werner Lemberg <wl@gnu.org>
Date: Thu, 27 Nov 2014 10:50:50 +0100
Subject: [PATCH] * src/tools/docmaker/tohtml.py: Replace `<center>' with
 `<div>'.

---
 ChangeLog                    | 4 ++++
 src/tools/docmaker/tohtml.py | 7 +++++--
 2 files changed, 9 insertions(+), 2 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 507ac728a..1280f7e63 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+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.
diff --git a/src/tools/docmaker/tohtml.py b/src/tools/docmaker/tohtml.py
index 69911d3ea..7df609ecd 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