[wwwdocs] Adjust highlight style, and make headers darker

[Gerald Pfeifer]

This is in preparation of something I'm doing "for" Nicola, but
it is useful in and by itself so I went ahead and applied it.

Gerald

Index: gcc.css
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/gcc.css,v
retrieving revision 1.21
diff -u -r1.21 gcc.css
--- gcc.css	11 Sep 2011 02:07:30 -0000	1.21
+++ gcc.css	11 Sep 2011 12:47:01 -0000
@@ -9,10 +9,10 @@
 a:visited { color: #003399; text-decoration: none; }
 a:hover   { color: darkorange; text-decoration: none; }
 
-h1        { color: gray; text-align:center; }
-h2        { color: gray; }
+h1        { color: darkslategray; text-align:center; }
+h2        { color: darkslategray; }
 
-.highlight{ color: gray; }
+.highlight{ color: darkslategray; font-weight:bold; }
 
 dl.news      { margin-top:0; }
 dl.news dt   { font-weight:bold; }