diff options
| author | Georg Brandl <georg@python.org> | 2014-01-09 17:35:34 +0100 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2014-01-09 17:35:34 +0100 |
| commit | bd5ae968ec3442d12e7a6d453c7973145d364ba0 (patch) | |
| tree | cfbe4b22b8d8591d5f0e2a43dcf67d36aff6d39f /pygments/styles/monokai.py | |
| parent | ad252410a347ad13c8206c8c9fa0a9e33632e10f (diff) | |
| parent | dbcb3df465137d3645a1cea00184fbb55af1d141 (diff) | |
| download | pygments-bd5ae968ec3442d12e7a6d453c7973145d364ba0.tar.gz | |
Merged in j3lamp/pygments-main (pull request #206)
Fix for Issue #875
Diffstat (limited to 'pygments/styles/monokai.py')
| -rw-r--r-- | pygments/styles/monokai.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pygments/styles/monokai.py b/pygments/styles/monokai.py index 31dc83b2..7b41b3ec 100644 --- a/pygments/styles/monokai.py +++ b/pygments/styles/monokai.py @@ -93,14 +93,14 @@ class MonokaiStyle(Style): String.Symbol: "", # class: 'ss' Generic: "", # class: 'g' - Generic.Deleted: "", # class: 'gd', + Generic.Deleted: "#f92672", # class: 'gd', Generic.Emph: "italic", # class: 'ge' Generic.Error: "", # class: 'gr' Generic.Heading: "", # class: 'gh' - Generic.Inserted: "", # class: 'gi' + Generic.Inserted: "#a6e22e", # class: 'gi' Generic.Output: "", # class: 'go' Generic.Prompt: "", # class: 'gp' Generic.Strong: "bold", # class: 'gs' - Generic.Subheading: "", # class: 'gu' + Generic.Subheading: "#75715e", # class: 'gu' Generic.Traceback: "", # class: 'gt' } |