diff --git a/documentation/dev-manual/dev-style.css b/documentation/dev-manual/dev-style.css
index b900ffc9b2..6d0aa8e9fa 100644
--- a/documentation/dev-manual/dev-style.css
+++ b/documentation/dev-manual/dev-style.css
@@ -730,6 +730,10 @@ div.navfooter {
   border-color: black;
 }
 
+.writernotes {
+  color: red;
+}
+
 
   /*********** /
  /  graphics  /