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>
