diff options
author | Matth?us G. Chajdas <dev@anteru.net> | 2019-11-10 13:56:53 +0100 |
---|---|---|
committer | Matth?us G. Chajdas <dev@anteru.net> | 2019-11-10 13:56:53 +0100 |
commit | 1dd3124a9770e11b6684e5dd1e6bc15a0aa3bc67 (patch) | |
tree | 87a171383266dd1f64196589af081bc2f8e497c3 /pygments/styles/manni.py | |
parent | f1c080e184dc1bbc36eaa7cd729ff3a499de568a (diff) | |
download | pygments-master.tar.gz |
Diffstat (limited to 'pygments/styles/manni.py')
-rw-r--r-- | pygments/styles/manni.py | 75 |
1 files changed, 0 insertions, 75 deletions
diff --git a/pygments/styles/manni.py b/pygments/styles/manni.py deleted file mode 100644 index bd14f6a1..00000000 --- a/pygments/styles/manni.py +++ /dev/null @@ -1,75 +0,0 @@ -# -*- coding: utf-8 -*- -""" - 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-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 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' - } |