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@.

1 files changed, 2 insertions, 2 deletions

diff --git a/mandoc.css b/mandoc.css
index c93bc22a..a8f50769 100644
--- 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;