diff --git a/share/misc/docbook.css b/share/misc/docbook.css
index 3843c6b05b..f6f6d06c83 100644
--- a/share/misc/docbook.css
+++ b/share/misc/docbook.css
@@ -285,7 +285,7 @@ pre.screen {
 	white-space: pre;
 	overflow: auto;
 	font-family: monospace;
-	padding: 1ex;
+	padding: 1em;
 	background-color: #edc;
 	border: 1px solid #ccc;
 	border-radius: 4px;
@@ -385,10 +385,12 @@ pre.programlisting {
 
 .userinput,
 .userinput code {
+	font-family: monospace;
 	font-weight: bold;
 }
 
 pre.screen strong {
+	font-family: monospace;
 	font-weight: normal;
 }
 
@@ -401,3 +403,11 @@ span.contrib {
 	font-size: small;
 	font-style: italic;
 }
+
+.literal, .command {
+	font-family: monospace;
+}
+
+code.prompt {
+	margin-left: -3px;
+}