diff --git a/doc/style/style.css b/doc/style/style.css
index ec33e53c..b13ae777 100644
--- a/doc/style/style.css
+++ b/doc/style/style.css
@@ -223,6 +223,13 @@ pre {
   padding-top: 3px;
 }
 
+.footer {
+  text-align: center;
+  margin-top: 3pt;
+  margin-bottom: 3pt;
+  font-size: 85%;
+}
+
 .comparison td, .comparison th {
     text-align: center;
 }