Fix margins

11 years ago · 30a596b4df
parent cf0234d5f9
commit 30a596b4df
1 changed files with 2 additions and 1 deletions
--- 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;