Due to security settings on gcc.gnu.org and the switch to HTML 5 we
need to define a style in our global CSS file instead of hardcoding
things or keeping it local to that file.
Committed.
Gerald
Index: gcc.css
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/gcc.css,v
retrieving revision 1.54
diff -u -r1.54 gcc.css
--- gcc.css 26 Aug 2018 18:54:40 -0000 1.54
+++ gcc.css 2 Sep 2018 08:38:32 -0000
@@ -91,6 +91,9 @@
table.cxxstatus td:nth-child(3) { text-align:center; }
table.cxxstatus tr.separator { background: #f2f2f9; }
+/* Padded tables. */
+table.padding5 th, td { border: 1px solid gray; padding:5px; }
+
.supported { background-color: lightgreen; }
.unsupported { background-color: lightsalmon; }
Index: releases.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/releases.html,v
retrieving revision 1.136
diff -u -r1.136 releases.html
--- releases.html 1 Sep 2018 23:42:00 -0000 1.136
+++ releases.html 2 Sep 2018 08:38:32 -0000
@@ -35,7 +35,7 @@
<p>Please refer to our <a href="develop.html#timeline">development plan</a>
for future releases, and an alternative view of the release history.</p>
-<table border="1" cellspacing="0" cellpadding="5">
+<table class="padding5">
<tr><th>Release</th><th>Release date</th></tr>
<tr><td><a href="gcc-8/">GCC 8.2</a></td> <td>July 26, 2018</td></tr>
<tr><td><a href="gcc-8/">GCC 8.1</a></td> <td>May 2, 2018</td></tr>
