...without overlap.
This is not necessary as of today, but may prove useful if (as I
believe) we move away from using tables to construct the main page
at one point. Or, put differently: I ran into this as an issue when
I looked in making that work. And it's always a good safety net
Committed.
Gerald
Index: gcc.css
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/gcc.css,v
retrieving revision 1.67
diff -u -r1.67 gcc.css
--- gcc.css 9 Sep 2018 21:18:17 -0000 1.67
+++ gcc.css 23 Sep 2018 16:40:58 -0000
@@ -74,6 +74,7 @@
}
div.copyright {
+ clear: both;
font-size: smaller;
background: #f2f2f9;
border: 2px solid #3366cc;