Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
oorrja
GitHub Repository: oorrja/learntosolveit
 Path: blob/master/source/_themes/flask_theme_support.py
1241 views
1
# flasky extensions.  flasky pygments style based on tango style

2
from pygments.style import Style

3
from pygments.token import Keyword, Name, Comment, String, Error, \

4
     Number, Operator, Generic, Whitespace, Punctuation, Other, Literal

5


6


7
class FlaskyStyle(Style):

8
    background_color = "#f8f8f8"

9
    default_style = ""

10


11
    styles = {

12
        # No corresponding class for the following:

13
        #Text:                     "", # class:  ''

14
        Whitespace:                "underline #f8f8f8",      # class: 'w'

15
        Error:                     "#a40000 border:#ef2929", # class: 'err'

16
        Other:                     "#000000",                # class 'x'

17


18
        Comment:                   "italic #8f5902", # class: 'c'

19
        Comment.Preproc:           "noitalic",       # class: 'cp'

20


21
        Keyword:                   "bold #004461",   # class: 'k'

22
        Keyword.Constant:          "bold #004461",   # class: 'kc'

23
        Keyword.Declaration:       "bold #004461",   # class: 'kd'

24
        Keyword.Namespace:         "bold #004461",   # class: 'kn'

25
        Keyword.Pseudo:            "bold #004461",   # class: 'kp'

26
        Keyword.Reserved:          "bold #004461",   # class: 'kr'

27
        Keyword.Type:              "bold #004461",   # class: 'kt'

28


29
        Operator:                  "#582800",   # class: 'o'

30
        Operator.Word:             "bold #004461",   # class: 'ow' - like keywords

31


32
        Punctuation:               "bold #000000",   # class: 'p'

33


34
        # because special names such as Name.Class, Name.Function, etc.

35
        # are not recognized as such later in the parsing, we choose them

36
        # to look the same as ordinary variables.

37
        Name:                      "#000000",        # class: 'n'

38
        Name.Attribute:            "#c4a000",        # class: 'na' - to be revised

39
        Name.Builtin:              "#004461",        # class: 'nb'

40
        Name.Builtin.Pseudo:       "#3465a4",        # class: 'bp'

41
        Name.Class:                "#000000",        # class: 'nc' - to be revised

42
        Name.Constant:             "#000000",        # class: 'no' - to be revised

43
        Name.Decorator:            "#888",           # class: 'nd' - to be revised

44
        Name.Entity:               "#ce5c00",        # class: 'ni'

45
        Name.Exception:            "bold #cc0000",   # class: 'ne'

46
        Name.Function:             "#000000",        # class: 'nf'

47
        Name.Property:             "#000000",        # class: 'py'

48
        Name.Label:                "#f57900",        # class: 'nl'

49
        Name.Namespace:            "#000000",        # class: 'nn' - to be revised

50
        Name.Other:                "#000000",        # class: 'nx'

51
        Name.Tag:                  "bold #004461",   # class: 'nt' - like a keyword

52
        Name.Variable:             "#000000",        # class: 'nv' - to be revised

53
        Name.Variable.Class:       "#000000",        # class: 'vc' - to be revised

54
        Name.Variable.Global:      "#000000",        # class: 'vg' - to be revised

55
        Name.Variable.Instance:    "#000000",        # class: 'vi' - to be revised

56


57
        Number:                    "#990000",        # class: 'm'

58


59
        Literal:                   "#000000",        # class: 'l'

60
        Literal.Date:              "#000000",        # class: 'ld'

61


62
        String:                    "#4e9a06",        # class: 's'

63
        String.Backtick:           "#4e9a06",        # class: 'sb'

64
        String.Char:               "#4e9a06",        # class: 'sc'

65
        String.Doc:                "italic #8f5902", # class: 'sd' - like a comment

66
        String.Double:             "#4e9a06",        # class: 's2'

67
        String.Escape:             "#4e9a06",        # class: 'se'

68
        String.Heredoc:            "#4e9a06",        # class: 'sh'

69
        String.Interpol:           "#4e9a06",        # class: 'si'

70
        String.Other:              "#4e9a06",        # class: 'sx'

71
        String.Regex:              "#4e9a06",        # class: 'sr'

72
        String.Single:             "#4e9a06",        # class: 's1'

73
        String.Symbol:             "#4e9a06",        # class: 'ss'

74


75
        Generic:                   "#000000",        # class: 'g'

76
        Generic.Deleted:           "#a40000",        # class: 'gd'

77
        Generic.Emph:              "italic #000000", # class: 'ge'

78
        Generic.Error:             "#ef2929",        # class: 'gr'

79
        Generic.Heading:           "bold #000080",   # class: 'gh'

80
        Generic.Inserted:          "#00A000",        # class: 'gi'

81
        Generic.Output:            "#888",           # class: 'go'

82
        Generic.Prompt:            "#745334",        # class: 'gp'

83
        Generic.Strong:            "bold #000000",   # class: 'gs'

84
        Generic.Subheading:        "bold #800080",   # class: 'gu'

85
        Generic.Traceback:         "bold #a40000",   # class: 'gt'

86
    }

87


88