Merge pull request #3516 from jakevdp/configurable_highlight

make css highlight style configurable

IPython/nbconvert/transformers/csshtmlheader.py

@@ -20,6 +20,8 b' from pygments.formatters import HtmlFormatter'
 from IPython.utils import path
 
 from .activatable import ActivatableTransformer
+
+from IPython.utils.traitlets import Unicode
         
 #-----------------------------------------------------------------------------
 # Classes and functions
@@ -33,6 +35,9 b' class CSSHTMLHeaderTransformer(ActivatableTransformer):'
 
     header = []
 
+    highlight_class = Unicode('.highlight', config=True,
+                              help="CSS highlight class identifier")
+
     def __init__(self, config=None, **kw):
         """
         Public constructor
@@ -97,7 +102,8 b' class CSSHTMLHeaderTransformer(ActivatableTransformer):'
             pass
 
         #Add pygments CSS
-        pygments_css = HtmlFormatter().get_style_defs('.highlight')
+        formatter = HtmlFormatter()
+        pygments_css = formatter.get_style_defs(self.highlight_class)
         header.append(pygments_css)
 
         #Set header