This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [wwwdocs] Complete revamp of our web site
- From: Gerald Pfeifer <gerald at pfeifer dot com>
- To: DJ Delorie <dj at redhat dot com>
- Cc: gcc at gcc dot gnu dot org, gcc-patches at gcc dot gnu dot org
- Date: Sun, 11 Jun 2006 18:31:12 +0200 (CEST)
- Subject: Re: [wwwdocs] Complete revamp of our web site
- References: <Pine.LNX.4.61.0606052239430.16636@acrux.dbai.tuwien.ac.at> <200606052126.k55LQ9e4023581@greed.delorie.com>
- Reply-to: gcc-patches at gcc dot gnu dot org, Gerald Pfeifer <gerald at pfeifer dot com>
[ gcc-patches added, Reply-To: set ]
On Mon, 5 Jun 2006, DJ Delorie wrote:
> Sidebars should have some enclosing detail, such as a border or a
> shading, so set them off from the rest of the page. Don't rely on
> whitespace to do this job.
On this one, we follow the style of http://www.gnu.org. Looking into the
CSS there, I see that indeed they (and thus us) set a different background
color, alas that color is #fefefe which is white for all practical matters.
I guess this can be considered a bug, so I'll apply the patch below on
gcc.gnu.org in a minute and try to get a discussion with webmaster@gnu.org
on this started. (Viewers of http://www.gnu.org/software/gcc/ will still
get the design in sync with the main page there, but http://gcc.gnu.org
will get the background.)
Okay?
> "Platforms" and "Testing" have bullets; no other item in that list
> does.
Addressed by several changes yesterday. Should be much more consistent
now.
Gerald
Index: gnu.css
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/gnu.css,v
retrieving revision 1.1
diff -u -3 -p -r1.1 gnu.css
--- gnu.css 4 Jun 2006 23:24:17 -0000 1.1
+++ gnu.css 11 Jun 2006 16:23:46 -0000
@@ -73,12 +73,15 @@ a:hover {
font-weight: bold;
}
+/* gcc.gnu.org-local change: sync background-color with the copyright box
+ * instead of #fefefe which is basically white.
+ */
.td_con {
padding-top: 3px;
padding-left: 8px;
padding-bottom: 3px;
color : #303030;
- background-color : #fefefe;
+ background-color: #f2f2f9;
font-size: smaller;
}