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

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.

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