[wwwdocs] obsolete gnu.css [3/4] and revamp navigation style

[wwwdocs] obsolete gnu.css [3/4] and revamp navigation style

[Gerald Pfeifer]

Not perfect yet, but I now like it a LOT better than what we had just
two days ago.

And http://www.gnu.org/software/gcc/ starts to look somewhat reasonable 
again, too.

Committed.

Gerald

Index: gcc.css
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/gcc.css,v
retrieving revision 1.8
diff -u -r1.8 gcc.css
--- gcc.css	4 Apr 2011 17:56:25 -0000	1.8
+++ gcc.css	4 Apr 2011 23:26:20 -0000
@@ -14,6 +14,23 @@
 
 dl.status dd { margin-left:3ex; }
 
+.td_title {
+  border-color: #3366cc;
+  border-style: solid;
+  border-width: thin;
+  color: #f2f2f9;
+  background-color: #0066dd;
+  font-weight: bold;
+}
+
+.td_con {
+  padding-top: 3px;
+  padding-left: 8px;
+  padding-bottom: 3px;
+  background-color: #f2f2f9;
+  font-size: smaller;
+}
+
 div.copyright {
   font-size: 75%;
   background: #f2f2f9;
Index: gnu.css
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/gnu.css,v
retrieving revision 1.9
diff -u -r1.9 gnu.css
--- gnu.css	4 Apr 2011 17:56:25 -0000	1.9
+++ gnu.css	4 Apr 2011 23:26:20 -0000
@@ -20,21 +20,3 @@
 .center {
 	text-align: center;
 }
-
-.td_title {
-	border-color: #3366cc;
-	border-style: solid;
-	border-width: thin;
-	color: #3366cc;
-	background-color : #f2f2f9; 
-	font-weight: bold; 
-}
-
-.td_con {
-	padding-top: 3px; 
-	padding-left: 8px; 
-	padding-bottom: 3px; 
-	color : #303030; 
-	background-color: #f2f2f9;
-	font-size: smaller;
-}