From f2b7e966c7604a11f5acd689cc13506bcc3d65f0 2014-06-09 19:05:37
From: Jonathan Frederic <jon.freder@gmail.com>
Date: 2014-06-09 19:05:37
Subject: [PATCH] Removed low margin from header.

---

diff --git a/IPython/html/static/notebook/less/notebook.less b/IPython/html/static/notebook/less/notebook.less
index 2d34af0..6e8cee3 100644
--- a/IPython/html/static/notebook/less/notebook.less
+++ b/IPython/html/static/notebook/less/notebook.less
@@ -75,3 +75,7 @@ p {
 .end_space {
     height: 200px;
 }
+
+#header {
+    margin-bottom: 0px;
+}