1 files changed, 13 insertions, 7 deletions
diff --git a/share/misc/docbook.css b/share/misc/docbook.css
index e3a824ca03..9026460f0c 100644
--- a/share/misc/docbook.css
+++ b/share/misc/docbook.css
@@ -187,7 +187,7 @@ body img.navheader {
 }
 
 ol {
-	margin: 0 0 0 5%;
+	margin: 0 0 0 1em;
 	line-height: 1.2;
 }
 
@@ -199,10 +199,11 @@ body pre {
 
 body td, body th {
 	line-height: 1.2;
+	padding-right: 1.5em;
 }
 
 ul, body dir, body menu {
-	margin: 0 0 0 5%;
+	margin: 0 0 0 1em;
 	line-height: 1.2;
 }
 
@@ -263,7 +264,7 @@ div.programlisting {
 .note, .tip, .important, .warning, .caution, .example, div.procedure {
 	border-radius: 6px;
 	padding: 2ex 2ex;
-	margin: .75em 3em .75em 3em;
+	margin: .75em 3em .75em 1em;
         line-height: 1.3;
 }
 
@@ -271,14 +272,14 @@ div.programlisting {
 	color: #222;
 	background: #eee;
 	border: 1px solid #ccc;
-	width: 85%;
+	width: 90%;
 }
 
 .tip {
 	color: #004F00;
 	background: #d8ecd6;
 	border: 1px solid green;
-	width: 85%;
+	width: 90%;
 }
 
 .important {
@@ -291,14 +292,14 @@ div.programlisting {
 	color: #9F1313;
 	background: #f8e8e8;
 	border: 1px solid #e59595;
-	width: 85%;
+	width: 90%;
 }
 
 .caution {
 	color: #3E3535;
 	background: #FFC;
 	border: 1px solid #e59595;
-	width: 85%;
+	width: 90%;
 }
 
 .example {
@@ -345,3 +346,8 @@ div.programlisting {
 pre.screen strong {
 	font-weight: normal;
 }
+
+.procedure ol {
+	line-height: 1.2;
+	margin: 0 0 0 -1em;
+}