From 80a878117a3fc8e9adafc904e07e18fe0452f596 2015-02-01 00:25:40
From: Min RK <benjaminrk@gmail.com>
Date: 2015-02-01 00:25:40
Subject: [PATCH] Merge pull request #7651 from takluyver/docs-h3-spacing

Add some spacing below h3 headers in HTML docs
---

diff --git a/docs/source/_static/default.css b/docs/source/_static/default.css
index a976035..7938313 100644
--- a/docs/source/_static/default.css
+++ b/docs/source/_static/default.css
@@ -277,7 +277,7 @@ h2 {
 }
 
 h3 {
-    margin: 1em 0 -0.3em 0;
+    margin: 1em 0 0.2em 0;
     font-size: 1.2em;
 }
 
@@ -531,4 +531,4 @@ span.versionmodified {
 
 pre {
   white-space: pre-wrap;
-}
\ No newline at end of file
+}