From 5ca7f559f62fe5a513c6f8ca51ad9104f5c5a7a1 2015-01-19 17:41:33 From: Jonathan Frederic Date: 2015-01-19 17:41:33 Subject: [PATCH] Adjust colors so they are the same --- diff --git a/IPython/html/static/tree/less/tree.less b/IPython/html/static/tree/less/tree.less index 98cc6a5..a688278 100644 --- a/IPython/html/static/tree/less/tree.less +++ b/IPython/html/static/tree/less/tree.less @@ -56,12 +56,12 @@ ul.breadcrumb { .list_container { margin-top: @dashboard_tb_pad; margin-bottom: 5*@dashboard_tb_pad; - border: 1px solid @border_color; + border: 1px solid @table-border-color; border-radius: @border-radius-base; } .list_container > div { - border-bottom: 1px solid @border_color; + border-bottom: 1px solid @table-border-color; &:hover .list-item{ background-color: red; };