This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[wwwdocs] Adjust highlight style, and make headers darker
- From: Gerald Pfeifer <gerald at pfeifer dot com>
- To: gcc-patches at gcc dot gnu dot org
- Date: Sun, 11 Sep 2011 16:52:09 +0200 (CEST)
- Subject: [wwwdocs] Adjust highlight style, and make headers darker
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; }