Reduce excessive right padding in tagged list heads.

The 1.2em was an approximate equivalent of the 2n traditionally used
for terminal display, but it is much too wide for HTML rendering.
Issue reported by mikeb@.

diff --git a/mandoc.css b/mandoc.css
index c93bc22a2d145687cb4c91a062ef11bd18b7c6db..a8f50769f493a2c60fbabbd13273da5ff05093e5 100644 (file)
--- a/mandoc.css
+++ b/mandoc.css
@@ -1,4 +1,4 @@
-/* $Id: mandoc.css,v 1.36 2018/07/23 22:51:26 schwarze Exp $ */
+/* $Id: mandoc.css,v 1.37 2018/08/27 23:13:44 schwarze Exp $ */
 /*
  * Standard style sheet for mandoc(1) -Thtml and man.cgi(8).
  */
@@ -111,7 +111,7 @@ td.foot-os {        text-align: right; }
                float: left;
                margin-top: 0em;
                margin-left: -5.5em;
-               padding-right: 1.2em;
+               padding-right: 0.5em;
                vertical-align: top; }
 .Bl-tag > dd {
                clear: right;