From f4ca0fbf4614a26cfa806a11f8bf0ce47640fdf5 2015-01-15 00:45:24
From: Thomas Kluyver <takowl@gmail.com>
Date: 2015-01-15 00:45:24
Subject: [PATCH] Merge pull request #7462 from minrk/rm-override

remove tree override.css
---

diff --git a/IPython/html/static/tree/css/override.css b/IPython/html/static/tree/css/override.css
deleted file mode 100644
index 3ad31e2..0000000
--- a/IPython/html/static/tree/css/override.css
+++ /dev/null
@@ -1,3 +0,0 @@
-/*This file contains any manual css for this page that needs to override the global styles.
-This is only required when different pages style the same element differently. This is just
-a hack to deal with our current css styles and no new styling should be added in this file.*/
diff --git a/IPython/html/templates/tree.html b/IPython/html/templates/tree.html
index 2dc8b37..167b5e2 100644
--- a/IPython/html/templates/tree.html
+++ b/IPython/html/templates/tree.html
@@ -3,11 +3,6 @@
 {% block title %}{{page_title}}{% endblock %}
 
 
-{% block stylesheet %}
-{{super()}}
-<link rel="stylesheet" href="{{ static_url("tree/css/override.css") }}" type="text/css" />
-{% endblock %}
-
 {% block params %}
 
 data-base-url="{{base_url}}"