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/default.py | |
parent | f1c080e184dc1bbc36eaa7cd729ff3a499de568a (diff) | |
download | pygments-master.tar.gz |
Diffstat (limited to 'pygments/styles/default.py')
-rw-r--r-- | pygments/styles/default.py | 73 |
1 files changed, 0 insertions, 73 deletions
diff --git a/pygments/styles/default.py b/pygments/styles/default.py deleted file mode 100644 index c93d29fc..00000000 --- a/pygments/styles/default.py +++ /dev/null @@ -1,73 +0,0 @@ -# -*- coding: utf-8 -*- -""" - pygments.styles.default - ~~~~~~~~~~~~~~~~~~~~~~~ - - The default highlighting style. - - :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 DefaultStyle(Style): - """ - The default style (inspired by Emacs 22). - """ - - background_color = "#f8f8f8" - default_style = "" - - styles = { - Whitespace: "#bbbbbb", - Comment: "italic #408080", - Comment.Preproc: "noitalic #BC7A00", - - #Keyword: "bold #AA22FF", - Keyword: "bold #008000", - Keyword.Pseudo: "nobold", - Keyword.Type: "nobold #B00040", - - Operator: "#666666", - Operator.Word: "bold #AA22FF", - - Name.Builtin: "#008000", - Name.Function: "#0000FF", - Name.Class: "bold #0000FF", - Name.Namespace: "bold #0000FF", - Name.Exception: "bold #D2413A", - Name.Variable: "#19177C", - Name.Constant: "#880000", - Name.Label: "#A0A000", - Name.Entity: "bold #999999", - Name.Attribute: "#7D9029", - Name.Tag: "bold #008000", - Name.Decorator: "#AA22FF", - - String: "#BA2121", - String.Doc: "italic", - String.Interpol: "bold #BB6688", - String.Escape: "bold #BB6622", - String.Regex: "#BB6688", - #String.Symbol: "#B8860B", - String.Symbol: "#19177C", - String.Other: "#008000", - Number: "#666666", - - 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 #000080", - Generic.Output: "#888", - Generic.Traceback: "#04D", - - Error: "border:#FF0000" - } |