From ccc6c8c18cdef2019993e0b6fb2236ccee95d05e 2013-05-24 18:27:21
From: MinRK <benjaminrk@gmail.com>
Date: 2013-05-24 18:27:21
Subject: [PATCH] remove outline from heading-anchor links

---

diff --git a/IPython/frontend/html/notebook/static/notebook/less/notebook.less b/IPython/frontend/html/notebook/static/notebook/less/notebook.less
index de00d21..1819465 100644
--- a/IPython/frontend/html/notebook/static/notebook/less/notebook.less
+++ b/IPython/frontend/html/notebook/static/notebook/less/notebook.less
@@ -65,8 +65,7 @@ p {
 
 a.heading-anchor:link, a.heading-anchor:visited {
   text-decoration: none;
+  outline: none;
   color: inherit;
 }
 
-
-
diff --git a/IPython/frontend/html/notebook/static/style/style.min.css b/IPython/frontend/html/notebook/static/style/style.min.css
index b7df979..b03e775 100644
--- a/IPython/frontend/html/notebook/static/style/style.min.css
+++ b/IPython/frontend/html/notebook/static/style/style.min.css
@@ -986,7 +986,7 @@ pre,code,kbd,samp{white-space:pre-wrap;}
 #fonttest{font-family:monospace;}
 a{text-decoration:underline;}
 p{margin-bottom:0;}
-a.heading-anchor:link,a.heading-anchor:visited{text-decoration:none;color:inherit;}
+a.heading-anchor:link,a.heading-anchor:visited{text-decoration:none;outline:none;color:inherit;}
 #notification_area{position:absolute;right:0px;top:0px;height:25px;padding:3px 0px;padding-right:3px;z-index:10;}
 .notification_widget{float:right;right:0px;top:1px;height:25px;padding:3px 6px;z-index:10;}
 div.output_area{padding:0px;page-break-inside:avoid;display:-webkit-box;-webkit-box-orient:horizontal;-webkit-box-align:stretch;display:-moz-box;-moz-box-orient:horizontal;-moz-box-align:stretch;display:box;box-orient:horizontal;box-align:stretch;}