Index: doc/man.css
===================================================================
diff -u -r157136a6920b5583b1b3d30257af9f8d3f54c0d0 -r7944f1c82b2b3f6379fcfa4cf3914df136b6cec9
--- doc/man.css	(.../man.css)	(revision 157136a6920b5583b1b3d30257af9f8d3f54c0d0)
+++ doc/man.css	(.../man.css)	(revision 7944f1c82b2b3f6379fcfa4cf3914df136b6cec9)
@@ -115,7 +115,7 @@
     font-weight: bold;
 }
 
-dl.definitions i.arg {
+dl.definitions i.arg, dl.options i.arg {
     background: none repeat scroll 0 0 #ffffff;
     border: 1px solid #efeeed;
     padding: 0 3px;
@@ -125,7 +125,7 @@
     font-weight: normal;
 }
 
-dl.definitions b.option {
+dl.definitions b.option, dl.options b.option {
     background: none repeat scroll 0 0 #ffffff;
     border: 1px solid #efeeed;
     padding: 0 3px;
@@ -136,7 +136,7 @@
     text-decoration: none;
 }
 
-p b.cmd {
+dl.definitions b.cmd, p b.cmd {
     background: none repeat scroll 0 0 #e7edd3;
     border: 1px solid #89a618;
     padding: 0 3px;
@@ -146,7 +146,18 @@
     font-weight: bold;
 }
 
+dl.definitions b.const, p b.const {
+    /* background: none repeat scroll 0 0 #ffffff; */
+    /* border: 1px solid #efeeed; */
+    padding: 0 3px;
+    font-family: Menlo,Monaco,"DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",Courier,monospace;
+    font-size: 92.308%;
+    line-height: 1.35;
+    font-weight: normal;
+    text-decoration: none;
+}
 
+
 code, kbd, pre, samp {
     font-family: Menlo,Monaco,"DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",Courier,monospace;
     font-size: 92.308%;