=================================================================== RCS file: /cvs/mandoc/mandoc.css,v retrieving revision 1.39 retrieving revision 1.42 diff -u -p -r1.39 -r1.42 --- mandoc/mandoc.css 2018/11/26 15:02:38 1.39 +++ mandoc/mandoc.css 2018/12/04 06:11:49 1.42 @@ -1,4 +1,4 @@ -/* $Id: mandoc.css,v 1.39 2018/11/26 15:02:38 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). * @@ -13,8 +13,16 @@ html { max-width: 65em; } body { font-family: Helvetica,Arial,sans-serif; } table { margin-top: 0em; - margin-bottom: 0em; } -td { vertical-align: middle; } + 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: top; + padding-left: 0.2em; + padding-right: 0.2em; + border-color: inherit; } ul, ol, dl { margin-top: 0em; margin-bottom: 0em; } li, dt { margin-top: 1em; } @@ -156,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; }