equal
deleted
inserted
replaced
185 'encoding': directives.encoding} |
185 'encoding': directives.encoding} |
186 |
186 |
187 try: |
187 try: |
188 from pygments import highlight |
188 from pygments import highlight |
189 from pygments.lexers import get_lexer_by_name |
189 from pygments.lexers import get_lexer_by_name |
190 from pygments.formatters import HtmlFormatter |
190 from pygments.formatters.html import HtmlFormatter |
191 except ImportError: |
191 except ImportError: |
192 pygments_directive = None |
192 pygments_directive = None |
193 else: |
193 else: |
194 _PYGMENTS_FORMATTER = HtmlFormatter() |
194 _PYGMENTS_FORMATTER = HtmlFormatter() |
195 |
195 |