diff options
Diffstat (limited to 'documentation')
-rw-r--r-- | documentation/dev-manual/dev-style.css | 4 |
1 files changed, 4 insertions, 0 deletions
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 { | |||
730 | border-color: black; | 730 | border-color: black; |
731 | } | 731 | } |
732 | 732 | ||
733 | .writernotes { | ||
734 | color: red; | ||
735 | } | ||
736 | |||
733 | 737 | ||
734 | /*********** / | 738 | /*********** / |
735 | / graphics / | 739 | / graphics / |