1 files changed, 11 insertions, 8 deletions
diff --git a/doc/html/style.css b/doc/html/style.css
index d1eafb92..b2195a6a 100644
--- a/doc/html/style.css
+++ b/doc/html/style.css
@@ -8,14 +8,14 @@ body {
         padding: 1em 1em 1em 21em;
     }
 
-    div.document {
+    div.document, div.footer {
         width: 45em;
         background-color: white;
     }
 }
 
 @media print {
-    div.document {
+    div.document, div.footer {
         width: auto;
         padding-left: 0px;
     }
@@ -25,12 +25,20 @@ body {
     }
 }
 
-div.document {
+div.document, div.footer {
     margin: 1em auto 1em auto;
     color: #222;
+}
+
+div.document {
     text-align: left;
 }
 
+div.footer {
+    text-align: center;
+    font-size: 70%;
+}
+
 /*** TOC ***/
 
 div.contents.topic > ul {
@@ -162,11 +170,6 @@ p a:hover, ul a:hover {
     text-decoration: underline;
 }
 
-p.timestamp {
-    text-align: right;
-    font-size: 70%;
-}
-
 p {
     /*margin: 0.5em 0em 1em 0em;*/
     text-align: justify;