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 {