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