[wwwdocs] Continue CSSification, introducing table.border and updating gcc-4.3/porting.html

[Gerald Pfeifer]

Introduce a new style table.border that approaches the classic
<table border="1">, just with a bit less use of borders.  Use
this in gcc-4.3/porting.html.

Applied.

Gerald

Index: gcc.css
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/gcc.css,v
retrieving revision 1.65
diff -u -r1.65 gcc.css
--- gcc.css	9 Sep 2018 10:25:42 -0000	1.65
+++ gcc.css	9 Sep 2018 19:53:26 -0000
@@ -97,6 +97,9 @@
 /* Quote an e-mail.  The first <div> has the sender, the second the quote. */
 blockquote.mail div:nth-child(2) { border-left: solid blue; padding-left: 4pt; }
 
+/* This comes close to <table border="1">, alas a bit less bordersome. */
+table.border    th { border:2px solid; }
+
 /* C++ status tables. */
 table.cxxstatus th, table.cxxstatus td { border: 1px solid gray; }
 table.cxxstatus td:nth-child(3) { text-align:center; }
Index: gcc-4.3/porting_to.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/gcc-4.3/porting_to.html,v
retrieving revision 1.17
diff -u -r1.17 porting_to.html
--- gcc-4.3/porting_to.html	1 Sep 2018 23:42:04 -0000	1.17
+++ gcc-4.3/porting_to.html	9 Sep 2018 19:53:26 -0000
@@ -124,7 +125,7 @@
 succeed.
 </p>
 
-<table title="" border="1">
+<table class="border">
   <tr>
     <th>If missing</th>
     <th>Then include this header</th>
@@ -177,7 +178,7 @@
 </p>
 
 
-<table title="" border="1">
+<table class="border">
   <tr>
     <th>If missing</th>
     <th>Then include this header</th>