Our standard footer also got hit by the (needlessly for for us)
stricter server settings.
This again gets rid of extra vertical space in that box.
Installed, and afterwards I rebuilt our website using the
/www/gcc/bin/preprocess script on gcc.gnu.org.
Gerald
Index: gcc.css
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/gcc.css,v
retrieving revision 1.28
diff -u -r1.28 gcc.css
--- gcc.css 22 Jan 2016 05:28:41 -0000 1.28
+++ gcc.css 30 Jan 2016 04:27:59 -0000
@@ -49,6 +49,7 @@
border-width: thin;
padding: 4px;
}
+div.copyright p:nth-child(3) { margin-bottom: 0; }
.boldcyan { font-weight:bold; color:cyan; }
.boldlime { font-weight:bold; color:lime; }
Index: style.mhtml
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/style.mhtml,v
retrieving revision 1.125
diff -u -r1.125 style.mhtml
--- style.mhtml 29 Jun 2014 11:31:32 -0000 1.125
+++ style.mhtml 30 Jan 2016 04:16:21 -0000
@@ -241,7 +241,7 @@
<div class="copyright">
-<address style="margin-top:0;">For questions related to the use of GCC,
+<address>For questions related to the use of GCC,
please consult these web pages and the
<a href="https://gcc.gnu.org/onlinedocs/";>GCC manuals</a>. If that fails,
the <a href="mailto:gcc-h...@gcc.gnu.org";>gcc-h...@gcc.gnu.org</a>
@@ -257,7 +257,7 @@
Verbatim copying and distribution of this entire article is
permitted in any medium, provided this notice is preserved.</p>
-<p style="margin-bottom:0;">These pages are
+<p>These pages are
<a href="https://gcc.gnu.org/about.html";>maintained by the GCC team</a>.
Last modified <date::format-time "YYYY-MM-DD"><!-- IGNORE DIFF
--><a href="http://validator.w3.org/check/referer";>.</a></p>
