diff --git a/share/misc/docbook.css b/share/misc/docbook.css
index 4e5990b058..8c1bf85571 100644
--- a/share/misc/docbook.css
+++ b/share/misc/docbook.css
@@ -259,14 +259,14 @@ div.programlisting {
 	text-align: left;
 }
 
-.note, .tip, .important, .warning, .caution, .example {
+.note, .tip, .important, .warning, .caution, .example, div.procedure {
 	border-radius: 6px;
 	padding: 2ex 2ex;
 	margin: .75em 3em .75em 3em;
         line-height: 1.3;
 }
 
-.note {
+.note, div.procedure {
 	color: #222;
 	background: #eee;
 	border: 1px solid #ccc;
@@ -314,6 +314,12 @@ div.programlisting {
 	margin-right: 0;
 }
 
+.procedure-title {
+	font-weight: bold;
+        line-height: 1;
+        margin-right: 0;
+}
+
 .note p, .tip p, .important p, .warning p, .caution p, .example p {
 	display: inline;
 }
@@ -331,6 +337,10 @@ div.programlisting {
 	font-weight: bold;
 }
 
+.userinput {
+	font-weight: normal;
+}
+
 pre.screen strong {
 	font-weight: normal;
 }