Index: head/share/misc/docbook.css
===================================================================
--- head/share/misc/docbook.css
+++ head/share/misc/docbook.css
@@ -285,7 +285,7 @@
 	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 @@
 
 .userinput,
 .userinput code {
+	font-family: monospace;
 	font-weight: bold;
 }
 
 pre.screen strong {
+	font-family: monospace;
 	font-weight: normal;
 }
 
@@ -401,3 +403,11 @@
 	font-size: small;
 	font-style: italic;
 }
+
+.literal, .command {
+	font-family: monospace;
+}
+
+code.prompt {
+	margin-left: -3px;
+}