This fixes the worst of what the new server settings broke; our
main page should look quite more reasonable with this. And it
simplifies things a little.
Applied.
Index: index.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/index.html,v
retrieving revision 1.992
diff -u -r1.992 index.html
--- index.html 24 Jan 2016 23:54:36 -0000 1.992
+++ index.html 30 Jan 2016 05:58:12 -0000
@@ -45,12 +45,10 @@
<table><tr>
-<td style="width: 50%; padding-right: 8px;" valign="top">
-
-<h2 style="margin-top:0pt;" id="news">News</h2>
-
-<dl class="news">
+<td class="news" valign="top">
+<h2 id="news">News</h2>
+<dl>
<dt><span><a href="gcc-5/">GCC 5.3</a> released</span>
<span class="date">[2015-12-04]</span></dt>
@@ -98,13 +96,9 @@
-</td><td style="width: 50%; padding-left: 12px; border-left: #3366cc thin
solid;" valign="top">
-
-
-
-<h2 style="margin-top:0pt;">Release Series and Status</h2>
-
-<dl class="status">
+</td><td class="status" valign="top">
+<h2>Release Series and Status</h2>
+<dl>
<dt><span class="version"><a href="gcc-5/">GCC 5.3</a></span>
(<a href="gcc-5/changes.html">changes</a>)
Index: gcc.css
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/gcc.css,v
retrieving revision 1.30
diff -u -r1.30 gcc.css
--- gcc.css 30 Jan 2016 04:28:47 -0000 1.30
+++ gcc.css 30 Jan 2016 05:58:12 -0000
@@ -14,15 +14,19 @@
.highlight{ color: darkslategray; font-weight:bold; }
-dl.news { margin-top:0; }
-dl.news dt { color:darkslategrey; font-weight:bold; margin-top:0.3em; }
-dl.news dd { margin-left:3ex; margin-top:0.1em; margin-bottom:0.1em; }
-dl.news .date { color:darkslategrey; font-size:90%; margin-left:0.1ex; }
-
-dl.status { margin-top:0; }
-dl.status .version { font-weight:bold; }
-dl.status .regress { font-size: 90%; }
-dl.status dd { margin-left:3ex; }
+td.news { width: 50%; padding-right: 8px; }
+td.news h2 { font-size: 1.2em; margin-top: 0; margin-bottom: 2%; }
+td.news dl { margin-top:0; }
+td.news dt { color:darkslategrey; font-weight:bold; margin-top:0.3em; }
+td.news dd { margin-left:3ex; margin-top:0.1em; margin-bottom:0.1em; }
+td.news .date { color:darkslategrey; font-size:90%; margin-left:0.1ex; }
+
+td.status { width: 50%; padding-left: 12px; border-left: #3366cc thin
solid; }
+td.status h2 { font-size: 1.2em; margin-top:0; margin-bottom: 1%; }
+td.status dl { margin-top:0; }
+td.status .version { font-weight:bold; }
+td.status .regress { font-size: 90%; }
+td.status dd { margin-left:3ex; }
.td_title {
border-color: #3366cc;
