[gtk-doc] Depink the navigation bar

[Stefan Kost <stefkost src gnome org>]

commit deb01a817a942042fb1145268c6e4adaa7910b72
Author: William Jon McCann <william jon mccann gmail com>
Date:   Tue Jul 16 13:56:10 2013 -0400

    Depink the navigation bar
    
    https://bugzilla.gnome.org/show_bug.cgi?id=696570

 style.css |   24 ++++++++++++------------
 1 files changed, 12 insertions(+), 12 deletions(-)
---
diff --git a/style.css b/style.css
index d6f6c26..72ef4cc 100644
--- a/style.css
+++ b/style.css
@@ -53,9 +53,9 @@
   table.navigation#top
   {
     position: fixed;
-    /* tango:scarlet red 0/1 */
-    background: #ffe6e6;
-    border: solid 1px #ef2929;
+    /* tango:aluminum 2 */
+    background: #d3d7cf;
+    border: solid 1px #babdb6;
     margin-top: 0;
     margin-bottom: 0;
     top: 0;
@@ -65,18 +65,18 @@
   }
   .navigation a, .navigation a:visited
   {
-    /* tango:scarlet red 3 */
-    color: #a40000;
+    /* tango:sky blue 3 */
+    color: #204a87;
   }
   .navigation a:hover
   {
-    /* tango:scarlet red 1 */
-    color: #ef2929;
+    /* tango:sky blue 2 */
+    color: #3465a4;
   }
   td.shortcuts
   {
-    /* tango:scarlet red 1 */
-    color: #ef2929;
+    /* tango:sky blue 2 */
+    color: #3465a4;
     font-size: 80%;
     white-space: nowrap;
   }
@@ -89,9 +89,9 @@
   div.titlepage table.navigation {
     visibility: visible;
     display: table;
-    /* tango:scarlet red 0/1 */
-    background: #ffe6e6;
-    border: solid 1px #ef2929;
+    /* tango:aluminum 2 */
+    background: #d3d7cf;
+    border: solid 1px #babdb6;
     margin-top: 0;
     margin-bottom: 0;
     top: 0;