From 0a83f17761112ca58f1fc78257d365ec5473eecd 2015-01-19 17:41:32
From: Jonathan Frederic <jon.freder@gmail.com>
Date: 2015-01-19 17:41:32
Subject: [PATCH] Fix heading height

---

diff --git a/IPython/html/static/tree/less/tree.less b/IPython/html/static/tree/less/tree.less
index fc34736..01c8c89 100644
--- a/IPython/html/static/tree/less/tree.less
+++ b/IPython/html/static/tree/less/tree.less
@@ -191,6 +191,7 @@ ul#new-menu {
                 padding-bottom: @dashboard_tb_pad;
                 padding-left: @dashboard_lr_pad;
                 padding-right: @dashboard_lr_pad;
+                line-height: @btn_mini_height;
             }
 
             .panel-body {