diff --git a/docs/website/style.css b/docs/website/style.css
index df365bf5..365229c4 100644
--- a/docs/website/style.css
+++ b/docs/website/style.css
@@ -40,7 +40,7 @@ hr {
   font-family: helvetica, arial, sans-serif;
   font-size: 8pt;
   font-size: 80%;
-  padding-top: 60px;
+  padding-top: 64px;
   padding-right: 5px;
   }