Index: doc/man.css
===================================================================
diff -u -N -r7944f1c82b2b3f6379fcfa4cf3914df136b6cec9 -r83b89feaa688228e7f9b25f44c2d02591601665a
--- doc/man.css	(.../man.css)	(revision 7944f1c82b2b3f6379fcfa4cf3914df136b6cec9)
+++ doc/man.css	(.../man.css)	(revision 83b89feaa688228e7f9b25f44c2d02591601665a)
@@ -181,6 +181,11 @@
     padding: 0 1em;
 }
 
+div.synopsis ul {
+    padding-left: 0;
+}
+
+
 a:link {
     color: #002a4b;
     text-decoration: none