|
1 # -*- coding: utf-8 -*- |
|
2 """ |
|
3 pygments.styles.default |
|
4 ~~~~~~~~~~~~~~~~~~~~~~~ |
|
5 |
|
6 The default highlighting style. |
|
7 |
|
8 :copyright: Copyright 2006-2017 by the Pygments team, see AUTHORS. |
|
9 :license: BSD, see LICENSE for details. |
|
10 """ |
|
11 |
|
12 from pygments.style import Style |
|
13 from pygments.token import Keyword, Name, Comment, String, Error, \ |
|
14 Number, Operator, Generic, Whitespace |
|
15 |
|
16 |
|
17 class DefaultStyle(Style): |
|
18 """ |
|
19 The default style (inspired by Emacs 22). |
|
20 """ |
|
21 |
|
22 background_color = "#f8f8f8" |
|
23 default_style = "" |
|
24 |
|
25 styles = { |
|
26 Whitespace: "#bbbbbb", |
|
27 Comment: "italic #408080", |
|
28 Comment.Preproc: "noitalic #BC7A00", |
|
29 |
|
30 #Keyword: "bold #AA22FF", |
|
31 Keyword: "bold #008000", |
|
32 Keyword.Pseudo: "nobold", |
|
33 Keyword.Type: "nobold #B00040", |
|
34 |
|
35 Operator: "#666666", |
|
36 Operator.Word: "bold #AA22FF", |
|
37 |
|
38 Name.Builtin: "#008000", |
|
39 Name.Function: "#0000FF", |
|
40 Name.Class: "bold #0000FF", |
|
41 Name.Namespace: "bold #0000FF", |
|
42 Name.Exception: "bold #D2413A", |
|
43 Name.Variable: "#19177C", |
|
44 Name.Constant: "#880000", |
|
45 Name.Label: "#A0A000", |
|
46 Name.Entity: "bold #999999", |
|
47 Name.Attribute: "#7D9029", |
|
48 Name.Tag: "bold #008000", |
|
49 Name.Decorator: "#AA22FF", |
|
50 |
|
51 String: "#BA2121", |
|
52 String.Doc: "italic", |
|
53 String.Interpol: "bold #BB6688", |
|
54 String.Escape: "bold #BB6622", |
|
55 String.Regex: "#BB6688", |
|
56 #String.Symbol: "#B8860B", |
|
57 String.Symbol: "#19177C", |
|
58 String.Other: "#008000", |
|
59 Number: "#666666", |
|
60 |
|
61 Generic.Heading: "bold #000080", |
|
62 Generic.Subheading: "bold #800080", |
|
63 Generic.Deleted: "#A00000", |
|
64 Generic.Inserted: "#00A000", |
|
65 Generic.Error: "#FF0000", |
|
66 Generic.Emph: "italic", |
|
67 Generic.Strong: "bold", |
|
68 Generic.Prompt: "bold #000080", |
|
69 Generic.Output: "#888", |
|
70 Generic.Traceback: "#04D", |
|
71 |
|
72 Error: "border:#FF0000" |
|
73 } |