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; +}