##// END OF EJS Templates
make css highlight style configurable
Jake Vanderplas -
Show More
@@ -97,7 +97,8 b' class CSSHtmlHeaderTransformer(ActivatableTransformer):'
97 pass
97 pass
98
98
99 #Add pygments CSS
99 #Add pygments CSS
100 pygments_css = HtmlFormatter().get_style_defs('.highlight')
100 highlight_class = '.' + self.config.get('highlight_class', 'highlight')
101 pygments_css = HtmlFormatter().get_style_defs(highlight_class)
101 header.append(pygments_css)
102 header.append(pygments_css)
102
103
103 #Set header
104 #Set header
General Comments 0
You need to be logged in to leave comments. Login now