[wwwdocs] Adjust highlight style, and make headers darker

Submitted by Gerald Pfeifer on Sept. 11, 2011, 2:52 p.m.

Details

Message ID alpine.LNX.2.00.1109111559570.4335@gerinyyl.fvgr
State New
Headers show

Commit Message

Gerald Pfeifer Sept. 11, 2011, 2:52 p.m.
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

Patch hide | download patch | download mbox

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; }