This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[wwwdocs] Replace use of the border attribute on the main page by CSS
- From: Gerald Pfeifer <gerald at pfeifer dot com>
- To: gcc-patches at gcc dot gnu dot org
- Date: Mon, 27 Aug 2018 06:17:31 +0200 (CEST)
- Subject: [wwwdocs] Replace use of the border attribute on the main page by CSS
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>