From 13988b33aee46bcc327c294725a050d423cbc05e 2015-01-19 17:41:33
From: Jonathan Frederic <jdfreder@calpoly.edu>
Date: 2015-01-19 17:41:33
Subject: [PATCH] Fix margins

---

diff --git a/IPython/html/static/tree/less/tree.less b/IPython/html/static/tree/less/tree.less
index 7b57c1e..98cc6a5 100644
--- a/IPython/html/static/tree/less/tree.less
+++ b/IPython/html/static/tree/less/tree.less
@@ -183,7 +183,8 @@ ul#new-menu {
 #running {
     .panel-group{
         .panel {
-            margin-top: 15px;
+            margin-top: 3px;
+            margin-bottom: 1em;
 
             .panel-heading {
                 background-color: @page-backdrop-color;