1 files changed, 11 insertions, 14 deletions

diff --git a/documentation/dev-manual/style.css b/documentation/dev-manual/style.css
index 817910db0f..b512dd2dcb 100644
--- a/documentation/dev-manual/style.css
+++ b/documentation/dev-manual/style.css
@@ -50,10 +50,6 @@ body {
   color: #333;
 }
 
-.reviewer {
-  color: red;
-}
-
 h1,h2,h3,h4,h5,h6,h7 {
   font-family: Arial, Sans;
   color: #00557D;
@@ -435,6 +431,7 @@ b.keycap,
   font-family: Courier, monospace;
 }
 
+
 div.navheader, div.heading{
   position: absolute;
   left: 0em;
@@ -653,7 +650,7 @@ hr {
 
 
 .tip, .warning, .caution, .note {
-  border-color: #aaa;
+  border-color: #fff;
 }
 
 
@@ -661,24 +658,24 @@ hr {
 .warning table th,
 .caution table th,
 .note table th {
-  border-bottom-color: #aaa;
+  border-bottom-color: #fff;
 }
 
 
 .warning {
-  background-color: #fea;
+  background-color: #f0f0f2;
 }
 
 .caution {
-  background-color: #fea;
+  background-color: #f0f0f2;
 }
 
 .tip {
-  background-color: #eff;
+  background-color: #f0f0f2;
 }
 
 .note {
-  background-color: #dfc;
+  background-color: #f0f0f2; 
 }
 
 .glossary dl dt, 
@@ -945,8 +942,8 @@ table {
 
 .tip,
 .note {
-   background: #666666;
-   color: #fff;   
+   background: #f0f0f2; 
+   color: #333;   
    padding: 20px;
    margin: 20px;
 }
@@ -957,12 +954,12 @@ table {
    margin: 0em;
    font-size: 2em;
    font-weight: bold;
-   color: #fff;   
+   color: #333;   
 }
 
 .tip a,
 .note a {
-   color: #fff;   
+   color: #333;   
    text-decoration: underline;
 }