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