From 9f05d4515ec9d38483f6495a2d8b8387e6b9e08e 2015-01-19 17:41:33
From: Jonathan Frederic <jon.freder@gmail.com>
Date: 2015-01-19 17:41:33
Subject: [PATCH] Use less variable for header bg color

---

diff --git a/IPython/html/static/tree/less/tree.less b/IPython/html/static/tree/less/tree.less
index 2a880b2..b1bbf8c 100644
--- a/IPython/html/static/tree/less/tree.less
+++ b/IPython/html/static/tree/less/tree.less
@@ -186,7 +186,7 @@ ul#new-menu {
             margin-top: 15px;
 
             .panel-heading {
-                background-color: #eee; /* @page-backdrop-color */
+                background-color: @page-backdrop-color;
                 padding-top: @dashboard_tb_pad;
                 padding-bottom: @dashboard_tb_pad;
                 padding-left: @dashboard_lr_pad;