diff --git a/share/misc/docbook.css b/share/misc/docbook.css
index 61458d04d7..1220b3c3da 100644
--- a/share/misc/docbook.css
+++ b/share/misc/docbook.css
@@ -68,38 +68,29 @@ DIV.PROCEDURE P B {
 	color: #990000;
 }
 
-BODY H1 {
+BODY H1, BODY H2, BODY H3, BODY H4, BODY H5, BODY H6 {
+	line-height: 1.3;
+	margin-left: 0;
+}
+
+BODY H1, BODY H2 {
 	margin: .8em 0 0 -4%;
-	line-height: 1.3;
 }
 
-BODY H2 {
-	margin: .8em 0 0 -4%;
-	line-height: 1.3;
-}
-
-BODY H3 {
+BODY H3, BODY H4 {
 	margin: .8em 0 0 -3%;
-	line-height: 1.3;
-}
-
-BODY H4 {
-	margin: .8em 0 0 -3%;
-	line-height: 1.3;
 }
 
 BODY H5 {
 	margin: .8em 0 0 -2%;
-	line-height: 1.3;
 }
 
 BODY H6 {
 	margin: .8em 0 0 -1%;
-	line-height: 1.3;
 }
 
 BODY HR {
-	margin: .6em
+	margin: .6em;
 }
 
 BODY IMG.NAVHEADER {
@@ -117,11 +108,7 @@ BODY PRE {
 	color: #461b7e;
 }
 
-BODY TD {
-	line-height: 1.2
-}
-
-BODY TH {
+BODY TD, BODY TH {
 	line-height: 1.2;
 }
 
@@ -135,15 +122,10 @@ HTML {
 	padding: 0;
 }
 
-
 .FILENAME {
 	color: #007a00;
 }
 
-BODY H1, BODY H2, BODY H3, BODY H4, BODY H5, BODY H6 {
-	margin-left: 0
-} 
-
 .GUIMENU, .GUIMENUITEM, .GUISUBMENU,
 .GUILABEL, .INTERFACE, .GUIBUTTON,
 .SHORTCUT, .SHORTCUT .KEYCAP {