diff options
| author | Matthias Bussonnier <bussonniermatthias@gmail.com> | 2016-02-08 13:25:00 -0800 |
|---|---|---|
| committer | Matthias Bussonnier <bussonniermatthias@gmail.com> | 2016-02-08 13:25:00 -0800 |
| commit | 342fc93725ce00442e835b02218e232b1dd05b1e (patch) | |
| tree | 056fd0e4d547175eaa66b498691bf344dbd2a8b9 /pygments | |
| parent | 86939c3764a93a9cd40cff29406d4d4f1ebd9c1c (diff) | |
| download | pygments-342fc93725ce00442e835b02218e232b1dd05b1e.tar.gz | |
Handle some `#ansi*` in HtmlFormatter
Diffstat (limited to 'pygments')
| -rw-r--r-- | pygments/formatters/html.py | 21 |
1 files changed, 19 insertions, 2 deletions
diff --git a/pygments/formatters/html.py b/pygments/formatters/html.py index b03a4bd5..38e49f15 100644 --- a/pygments/formatters/html.py +++ b/pygments/formatters/html.py @@ -20,6 +20,23 @@ from pygments.token import Token, Text, STANDARD_TYPES from pygments.util import get_bool_opt, get_int_opt, get_list_opt, \ StringIO, string_types, iteritems + +_deansify_map = { + '#darkyellow':'#brown', + '#darkteal': '#turquoise', + '#fusia': '#fushia' +} + + + +def _deansify(color): + if color.startswith('#ansi'): + color = color[5:] + else: + color = '#%s'% color + + return _deansify_map.get(color, color) + try: import ctags except ImportError: @@ -444,7 +461,7 @@ class HtmlFormatter(Formatter): name = self._get_css_class(ttype) style = '' if ndef['color']: - style += 'color: #%s; ' % ndef['color'] + style += 'color: %s; ' % _deansify(ndef['color']) if ndef['bold']: style += 'font-weight: bold; ' if ndef['italic']: @@ -452,7 +469,7 @@ class HtmlFormatter(Formatter): if ndef['underline']: style += 'text-decoration: underline; ' if ndef['bgcolor']: - style += 'background-color: #%s; ' % ndef['bgcolor'] + style += 'background-color: %s; ' % _deansify(ndef['bgcolor']) if ndef['border']: style += 'border: 1px solid #%s; ' % ndef['border'] if style: |
