1 files changed, 6 insertions, 1 deletions

diff --git a/documentation/dev-manual/style.css b/documentation/dev-manual/style.css
index 65b83e2220..6d00aba1f0 100644
--- a/documentation/dev-manual/style.css
+++ b/documentation/dev-manual/style.css
@@ -435,7 +435,6 @@ b.keycap,
   font-family: Courier, monospace;
 }
 
-
 div.navheader, div.heading{
   position: absolute;
   left: 0em;
@@ -966,3 +965,9 @@ table {
    color: #fff;   
    text-decoration: underline;
 }
+
+.footnote {
+   font-size: 8pt;
+   color: #555;
+}
+