diff options
-rw-r--r-- | css/fedora-draft.css | 3 | ||||
-rw-r--r-- | css/fedora-plain.css | 4 |
2 files changed, 6 insertions, 1 deletions
diff --git a/css/fedora-draft.css b/css/fedora-draft.css index fce1fab..7eb4f87 100644 --- a/css/fedora-draft.css +++ b/css/fedora-draft.css @@ -133,6 +133,9 @@ div.example { /* prevent inheritance */ margin-bottom: 0em; } +.procedure ol li pre { + margin-bottom: 1em; +} .itemizedlist ul li { margin-bottom: 0.5em; diff --git a/css/fedora-plain.css b/css/fedora-plain.css index 24cccdb..1dc7b3e 100644 --- a/css/fedora-plain.css +++ b/css/fedora-plain.css @@ -135,7 +135,9 @@ div.example { /* prevent inheritance */ margin-bottom: 0em; } - +.procedure ol li pre { + margin-bottom: 1em; +} .itemizedlist ul li { margin-bottom: 0.5em; } |