From 1fcbb69f505fd856f5f2233afa32abe3929e7227 Mon Sep 17 00:00:00 2001
From: Peter Bacon Darwin <pete@bacondarwin.com>
Date: Thu, 3 Jul 2014 12:50:57 +0100
Subject: [PATCH] chore(docs/css): add margin between ul and p elements

Bootstrap CSS was removing the margin after ul elements if they were
descendents of other ul elements. But if the ul was followed by a p
then this looked terrible.

Related to #5953
---
 docs/app/assets/css/docs.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/app/assets/css/docs.css b/docs/app/assets/css/docs.css
index ea7821d1..ff8b920f 100644
--- a/docs/app/assets/css/docs.css
+++ b/docs/app/assets/css/docs.css
@@ -211,6 +211,10 @@ code.highlighted {
   color:maroon;
 }
 
+ul + p {
+  margin-top: 10px;
+}
+
 .docs-version-jump {
   min-width:100%;
   max-width:100%;