Make sure all borders in a table are drawn in the same color.

Required because browsers tend to have inconsistent defaults:
For example, Firefox 62.0.2 sets border-color for tbody, but not for table,
and Pali Rohar reports that Chrome set it for td, but not for tr or tbody.
The td part is from Pali Rohar, the tbody and tr parts from me.

diff --git a/mandoc.css b/mandoc.css
index 8bf676f2fb461bf129c8e8e9c21a262d9a7fe451..e6f57be6c2dd4606fdc131f0f757dea2df6e07db 100644 (file)
--- a/mandoc.css
+++ b/mandoc.css
@@ -1,4 +1,4 @@
-/* $Id: mandoc.css,v 1.40 2018/11/26 21:06:02 schwarze Exp $ */
+/* $Id: mandoc.css,v 1.41 2018/12/04 05:21:04 schwarze Exp $ */
 /*
  * Standard style sheet for mandoc(1) -Thtml and man.cgi(8).
  *
@@ -15,9 +15,14 @@ body {               font-family: Helvetica,Arial,sans-serif; }
 table {                margin-top: 0em;
                margin-bottom: 0em;
                border-collapse: collapse; }
+/* Some browsers set border-color in a browser style for tbody,
+ * but not for table, resulting in inconsistent border styling. */
+tbody {                border-color: inherit; }
+tr {           border-color: inherit; }
 td {           vertical-align: middle;
                padding-left: 0.2em;
-               padding-right: 0.2em; }
+               padding-right: 0.2em;
+               border-color: inherit; }
 ul, ol, dl {   margin-top: 0em;
                margin-bottom: 0em; }
 li, dt {       margin-top: 1em; }