Change colors of HTML footer style

These changes have been suggested by Anrew Hawryluk.

diff --git a/Documentation/lilypond.css b/Documentation/lilypond.css
index 802580d4724d3fb438b2b29edd12c37538a4ce52..1d8542dfa0f1262e80c2201ee2f1c2fe721a3fbb 100644 (file)
--- a/Documentation/lilypond.css
+++ b/Documentation/lilypond.css
@@ -162,9 +162,9 @@ li.toc_current ul {
 /***********************************************************/
 
 div.header {
-  background-color: #E8FFE8;
+  background-color: #E7EFE3;
   padding: 2;
-  border: #C0FFC0 1px solid;
+  border: #CCD3CC 1px solid;
   text-align: center;
 }
 
@@ -185,9 +185,9 @@ h1.header {
 }
 
 .footer {
-  background-color: #E8FFE8;
+  background-color: #E7EFE3;
   padding: 5;
-  border: #C0FFC0 1px solid;
+  border: #CCD3CC 1px solid;
   font-size: 80%;
 }