-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathpi1_style.py
64 lines (60 loc) · 1.81 KB
/
pi1_style.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
from pygments.style import Style
from pygments.token import (
Keyword,
Name,
Comment,
String,
Error,
Number,
Operator,
Generic,
Whitespace,
)
class Pi1Style(Style):
"""
A colorful style, inspired by the terminal highlighting style.
"""
background_color = "#ffffff"
styles = {
# Whitespace: "#bbbbbb",
Comment: "italic #5D5D54",
Comment.Preproc: "noitalic #5D5D54",
Comment.Special: "bold",
Keyword: "bold #0000FF",
Keyword.Pseudo: "nobold",
Keyword.Type: "#6434A3",
# Operator: "#000000",
# Operator.Word: "bold #000000",
Name: "#000000",
# Name.Builtin: "#BA36A5",
Name.Function: "#006699",
# Name.Class: "bold #BA36A5",
# Name.Namespace: "bold #BA36A5",
# Name.Exception: "bold #BA36A5",
Name.Variable: "#BA36A5",
# Name.Constant: "#BA36A5",
# Name.Label: "#BA36A5",
# Name.Entity: "bold #BA36A5",
# Name.Attribute: "#BA36A5",
# Name.Tag: "bold #BA36A5",
# Name.Decorator: "#BA36A5",
String: "#007000",
String.Doc: "italic",
String.Interpol: "#007000",
String.Escape: "bold #007000",
String.Regex: "#007000",
String.Symbol: "#007000",
String.Other: "#007000",
Number: "#D0372D",
# 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",
}