##// END OF EJS Templates
remove outline from heading-anchor links
MinRK -
Show More
@@ -65,8 +65,7 b' p {'
65 65
66 66 a.heading-anchor:link, a.heading-anchor:visited {
67 67 text-decoration: none;
68 outline: none;
68 69 color: inherit;
69 70 }
70 71
71
72
@@ -986,7 +986,7 b' pre,code,kbd,samp{white-space:pre-wrap;}'
986 986 #fonttest{font-family:monospace;}
987 987 a{text-decoration:underline;}
988 988 p{margin-bottom:0;}
989 a.heading-anchor:link,a.heading-anchor:visited{text-decoration:none;color:inherit;}
989 a.heading-anchor:link,a.heading-anchor:visited{text-decoration:none;outline:none;color:inherit;}
990 990 #notification_area{position:absolute;right:0px;top:0px;height:25px;padding:3px 0px;padding-right:3px;z-index:10;}
991 991 .notification_widget{float:right;right:0px;top:1px;height:25px;padding:3px 6px;z-index:10;}
992 992 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;}
General Comments 0
You need to be logged in to leave comments. Login now