From 2bfd15ba8965480b4ec462c087d155cd40750c65 Mon Sep 17 00:00:00 2001
From: Rapptz <rapptz@gmail.com>
Date: Thu, 21 Sep 2017 18:37:22 -0400
Subject: [PATCH] Fix weird margins with unordered lists in the HTML5 output.

---
 docs/_static/style.css | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/docs/_static/style.css b/docs/_static/style.css
index 65fe9ca36..85d7561a9 100644
--- a/docs/_static/style.css
+++ b/docs/_static/style.css
@@ -243,6 +243,15 @@ div.body li {
   line-height: 1.4em;
 }
 
+/* weird margins */
+ul > li p {
+  margin: 2px;
+}
+
+li > blockquote {
+  margin: 10px;
+}
+
 div.admonition p.admonition-title + p {
   display: inline;
 }