Fix margins on <p> tags.

8 years ago · 54f2c71e71
1 changed files with 4 additions and 0 deletions
--- 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 */