[wwwdocs] Replace use of the border attribute on the main page by CSS

[Gerald Pfeifer]

Applied.

Gerald

Index: gcc.css
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/gcc.css,v
retrieving revision 1.53
diff -u -r1.53 gcc.css
--- gcc.css     26 Aug 2018 12:40:20 -0000      1.53
+++ gcc.css     26 Aug 2018 18:53:41 -0000
@@ -36,6 +36,7 @@
 
 table.nav {
   padding-left: 32px;
+  border-width: 0;
   border-spacing: 0pt;
 }
 
Index: style.mhtml
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/style.mhtml,v
retrieving revision 1.146
diff -u -r1.146 style.mhtml
--- style.mhtml 26 Aug 2018 13:44:38 -0000      1.146
+++ style.mhtml 26 Aug 2018 18:53:41 -0000
@@ -77,7 +77,7 @@
 
 <if <var-exists navigation>
  <group
-  <table border="0" cellspacing="0">
+  <table style="border-width:0;" cellspacing="0">
   <tr>
 
   <td valign="top" width="99%">                           <!-- main frame -->
@@ -91,7 +91,7 @@
   </td>                                            <!-- end of main frame -->
 
   <td valign="top">                                        <!-- nav frame -->
-  <table class="nav" border="0" width="10em">
+  <table class="nav" width="10em">
 
   <tr><td><table class="navitem">
   <tr><td>About GCC</td></tr>