Add old CSS class names; add centering

It turns out that they are still used when doing e.g. .Bf Em (yiedling a
block <div class="emph">...</div>).

I also forgot to add centering, which I've had on my GitHub Pages of
the HTML exported man pages.

diff --git a/doc/man/man3/style.css b/doc/man/man3/style.css
index b561afa0c25f578f6703c6fd32d68ea19f420b3f..3981a8a5de72d5a23bda3f3e0d9d60d694d52049 100644 (file)
--- a/doc/man/man3/style.css
+++ b/doc/man/man3/style.css
@@ -58,7 +58,6 @@
  * ----------------------------------------------------------------------------
  * No contributor information was found at the head of mandoc.css.
  */
-html {         max-width: 100ex; }
 body { margin: 1em auto; max-width: 40em; padding: 0 .62em; font-size: 1.1em; line-height: 1.62; font-family: "Liberation Sans", Arial, sans-serif; }
 table {                margin-top: 0em;
                margin-bottom: 0em; }
@@ -115,6 +114,7 @@ h2 {                margin-top: 2ex;
                margin-left: -2ex;
                font-size: 105%; }
 div.Pp {       margin: 1ex 0ex; }
+div.spacer {   margin: 1ex 0ex; }
 a.Sx { }
 a.Xr { }
 
@@ -247,10 +247,19 @@ a.Ux { }
 
 .No {          font-style: normal;
                font-weight: normal; }
+.none {                font-style: normal;
+               font-weight: normal; }
 .Em {          font-style: italic;
                font-weight: normal; }
+.emph {                font-style: italic;
+               font-weight: normal; }
 .Sy {          font-style: normal;
                font-weight: bold; }
+.symb {                font-style: normal;
+               font-weight: bold; }
 .Li {          font-style: normal;
                font-weight: normal;
                font-family: monospace; }
+.lit {         font-style: normal;
+               font-weight: normal;
+               font-family: monospace; }