Adjust colors so they are the same

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