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/py3/pygments/styles/manni.py | |
parent | 03f024c4412e3aa613bb543cf1660176320ba8f4 (diff) |
fix ya.make
Diffstat (limited to 'contrib/python/Pygments/py3/pygments/styles/manni.py')
-rw-r--r-- | contrib/python/Pygments/py3/pygments/styles/manni.py | 74 |
1 files changed, 0 insertions, 74 deletions
diff --git a/contrib/python/Pygments/py3/pygments/styles/manni.py b/contrib/python/Pygments/py3/pygments/styles/manni.py deleted file mode 100644 index f5fe876422d..00000000000 --- a/contrib/python/Pygments/py3/pygments/styles/manni.py +++ /dev/null @@ -1,74 +0,0 @@ -""" - pygments.styles.manni - ~~~~~~~~~~~~~~~~~~~~~ - - A colorful style, inspired by the terminal highlighting style. - - This is a port of the style used in the `php port`_ of pygments - by Manni. The style is called 'default' there. - - :copyright: Copyright 2006-2022 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 ManniStyle(Style): - """ - A colorful style, inspired by the terminal highlighting style. - """ - - background_color = '#f0f3f3' - - styles = { - Whitespace: '#bbbbbb', - Comment: 'italic #0099FF', - Comment.Preproc: 'noitalic #009999', - Comment.Special: 'bold', - - Keyword: 'bold #006699', - Keyword.Pseudo: 'nobold', - Keyword.Type: '#007788', - - Operator: '#555555', - Operator.Word: 'bold #000000', - - Name.Builtin: '#336666', - Name.Function: '#CC00FF', - Name.Class: 'bold #00AA88', - Name.Namespace: 'bold #00CCFF', - Name.Exception: 'bold #CC0000', - Name.Variable: '#003333', - Name.Constant: '#336600', - Name.Label: '#9999FF', - Name.Entity: 'bold #999999', - Name.Attribute: '#330099', - Name.Tag: 'bold #330099', - Name.Decorator: '#9999FF', - - String: '#CC3300', - String.Doc: 'italic', - String.Interpol: '#AA0000', - String.Escape: 'bold #CC3300', - String.Regex: '#33AAAA', - String.Symbol: '#FFCC33', - String.Other: '#CC3300', - - Number: '#FF6600', - - Generic.Heading: 'bold #003300', - Generic.Subheading: 'bold #003300', - Generic.Deleted: 'border:#CC0000 bg:#FFCCCC', - Generic.Inserted: 'border:#00CC00 bg:#CCFFCC', - Generic.Error: '#FF0000', - Generic.Emph: 'italic', - Generic.Strong: 'bold', - Generic.Prompt: 'bold #000099', - Generic.Output: '#AAAAAA', - Generic.Traceback: '#99CC66', - - Error: 'bg:#FFAAAA #AA0000' - } |