Applied. (The gcc.css patch is with the -w option of diff.)
Gerald
Index: index.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/index.html,v
retrieving revision 1.787
diff -u -w -r1.787 index.html
--- index.html 5 Apr 2011 14:18:50 -0000 1.787
+++ index.html 6 Apr 2011 00:05:23 -0000
@@ -3,7 +3,7 @@
<meta name="google-site-verification"
content="FUv_3eEIkimd6LAoWned4TPMqmKKQmw3aA2_PBJ5SAY" />
<title>GCC, the GNU Compiler Collection</title>
<style type="text/css">
- h2 { font-size: 1.2em; }
+ h2 { font-size: 1.2em; margin-bottom:1%; }
</style>
</head>
Index: gcc.css
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/gcc.css,v
retrieving revision 1.12
diff -u -w -r1.12 gcc.css
--- gcc.css 5 Apr 2011 14:17:45 -0000 1.12
+++ gcc.css 6 Apr 2011 00:05:24 -0000
@@ -13,9 +13,11 @@
.highlight{ color: #FF8C00; }
+dl.news { margin-top:0pt; }
dl.news dt { font-weight:bold; }
dl.news dd { margin-left:3ex; }
+dl.status { margin-top:0; }
dl.status dd { margin-left:3ex; }
.td_title {
