1 files changed, 4 insertions, 0 deletions
diff --git a/doc/style.css b/doc/style.css
index b4b8d47..3d0f951 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -110,3 +110,7 @@ DIV.toc DT {
 TABLE.variablelist SPAN.term {
 	padding-right: 1em;
 }
+
+DIV.cmdsynopsis {
+	font-family: monospace;
+}