From 54f2c71e71f20bdc18231eed2083f1464b499764 Mon Sep 17 00:00:00 2001
From: Rapptz <rapptz@gmail.com>
Date: Fri, 22 Sep 2017 03:11:37 -0400
Subject: [PATCH] Fix margins on <p> tags.

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

diff --git a/docs/_static/style.css b/docs/_static/style.css
index ae010c113..16067d114 100644
--- a/docs/_static/style.css
+++ b/docs/_static/style.css
@@ -17,6 +17,10 @@ body {
   padding: 0;
 }
 
+p {
+  margin-bottom: 8px;
+}
+
 div.document {
   margin: 10px auto 0 auto;
   max-width: 940px; /* page width */