diff --git a/documentation/dev-manual/style.css b/documentation/dev-manual/style.css
index 6d00aba1f0..817910db0f 100644
--- a/documentation/dev-manual/style.css
+++ b/documentation/dev-manual/style.css
@@ -967,7 +967,7 @@ table {
 }
 
 .footnote {
-   font-size: 8pt;
-   color: #555;
+   font-size: small;
+   color: #333;
 }