Implement centering and adjustment to the right margin directly in

[mandoc.git] / mandoc.css

diff --git a/mandoc.css b/mandoc.css
index 8bf676f2fb461bf129c8e8e9c21a262d9a7fe451..894c224a9e14b9e13094ff722b96f4155c4fbe85 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.42 2018/12/04 06:11:49 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; }
-td {           vertical-align: middle;
+/* 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: top;
                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; }
@@ -159,7 +164,7 @@ td.foot-os {        text-align: right; }
 .RsV { }
 
 .eqn { }
-.tbl { }
+.tbl td {      vertical-align: middle; }
 
 .HP {          margin-left: 3.8em;
                text-indent: -3.8em; }