diff options
| author | monster <[email protected]> | 2022-07-07 14:41:37 +0300 |
|---|---|---|
| committer | monster <[email protected]> | 2022-07-07 14:41:37 +0300 |
| commit | 06e5c21a835c0e923506c4ff27929f34e00761c2 (patch) | |
| tree | 75efcbc6854ef9bd476eb8bf00cc5c900da436a2 /contrib/python/Pygments/py2/pygments/styles/murphy.py | |
| parent | 03f024c4412e3aa613bb543cf1660176320ba8f4 (diff) | |
fix ya.make
Diffstat (limited to 'contrib/python/Pygments/py2/pygments/styles/murphy.py')
| -rw-r--r-- | contrib/python/Pygments/py2/pygments/styles/murphy.py | 80 |
1 files changed, 0 insertions, 80 deletions
diff --git a/contrib/python/Pygments/py2/pygments/styles/murphy.py b/contrib/python/Pygments/py2/pygments/styles/murphy.py deleted file mode 100644 index e9b50d7a883..00000000000 --- a/contrib/python/Pygments/py2/pygments/styles/murphy.py +++ /dev/null @@ -1,80 +0,0 @@ -# -*- coding: utf-8 -*- -""" - pygments.styles.murphy - ~~~~~~~~~~~~~~~~~~~~~~ - - Murphy's style from CodeRay. - - :copyright: Copyright 2006-2019 by the Pygments team, see AUTHORS. - :license: BSD, see LICENSE for details. -""" - -from pygments.style import Style -from pygments.token import Keyword, Name, Comment, String, Error, \ - Number, Operator, Generic, Whitespace - - -class MurphyStyle(Style): - """ - Murphy's style from CodeRay. - """ - - default_style = "" - - styles = { - Whitespace: "#bbbbbb", - Comment: "#666 italic", - Comment.Preproc: "#579 noitalic", - Comment.Special: "#c00 bold", - - Keyword: "bold #289", - Keyword.Pseudo: "#08f", - Keyword.Type: "#66f", - - Operator: "#333", - Operator.Word: "bold #000", - - Name.Builtin: "#072", - Name.Function: "bold #5ed", - Name.Class: "bold #e9e", - Name.Namespace: "bold #0e84b5", - Name.Exception: "bold #F00", - Name.Variable: "#036", - Name.Variable.Instance: "#aaf", - Name.Variable.Class: "#ccf", - Name.Variable.Global: "#f84", - Name.Constant: "bold #5ed", - Name.Label: "bold #970", - Name.Entity: "#800", - Name.Attribute: "#007", - Name.Tag: "#070", - Name.Decorator: "bold #555", - - String: "bg:#e0e0ff", - String.Char: "#88F bg:", - String.Doc: "#D42 bg:", - String.Interpol: "bg:#eee", - String.Escape: "bold #666", - String.Regex: "bg:#e0e0ff #000", - String.Symbol: "#fc8 bg:", - String.Other: "#f88", - - Number: "bold #60E", - Number.Integer: "bold #66f", - Number.Float: "bold #60E", - Number.Hex: "bold #058", - Number.Oct: "bold #40E", - - Generic.Heading: "bold #000080", - Generic.Subheading: "bold #800080", - Generic.Deleted: "#A00000", - Generic.Inserted: "#00A000", - Generic.Error: "#FF0000", - Generic.Emph: "italic", - Generic.Strong: "bold", - Generic.Prompt: "bold #c65d09", - Generic.Output: "#888", - Generic.Traceback: "#04D", - - Error: "#F00 bg:#FAA" - } |
