diff --git a/IPython/html/static/tree/less/tree.less b/IPython/html/static/tree/less/tree.less index ad10a93..fc34736 100644 --- a/IPython/html/static/tree/less/tree.less +++ b/IPython/html/static/tree/less/tree.less @@ -187,10 +187,10 @@ ul#new-menu { .panel-heading { background-color: #eee; /* @page-backdrop-color */ - padding-top: 4px; - padding-bottom: 4px; - padding-left: 7px; - padding-right: 7px; + padding-top: @dashboard_tb_pad; + padding-bottom: @dashboard_tb_pad; + padding-left: @dashboard_lr_pad; + padding-right: @dashboard_lr_pad; } .panel-body {