From 30a596b4df01975e4a6ba4646de39fc71239bb7c Mon Sep 17 00:00:00 2001 From: Jonathan Frederic Date: Fri, 16 Jan 2015 16:23:15 -0800 Subject: [PATCH] Fix margins --- IPython/html/static/tree/less/tree.less | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/IPython/html/static/tree/less/tree.less b/IPython/html/static/tree/less/tree.less index 7b57c1ef8..98cc6a589 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;