1 files changed, 8 insertions, 0 deletions
diff --git a/css/fedora.css b/css/fedora.css
index 2de0685..d758894 100644
--- a/css/fedora.css
+++ b/css/fedora.css
@@ -106,3 +106,11 @@ div.example {
         border: 1px solid #bbb;
 	margin: 0.5em 2em;
 }
+
+.procedure ol li {
+        margin-bottom: 1.5em;
+}
+/* prevent inheritance */
+.procedure ol li li {
+	margin-bottom: 0em;
+}