diff --git a/share/misc/docbook.css b/share/misc/docbook.css index f776479e82..61458d04d7 100644 --- a/share/misc/docbook.css +++ b/share/misc/docbook.css @@ -111,11 +111,6 @@ OL { line-height: 1.2; } -BODY P { - margin: .6em 0; - line-height: 1.2; -} - BODY PRE { margin: .75em 0; line-height: 1.0;