Hot-keys on this page

r m x p   toggle line displays

j k   next/prev highlighted chunk

0   (zero) top of page

1   (one) first highlighted chunk

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

# -*- coding: utf-8 -*- 

""" 

    pygments.styles.trac 

    ~~~~~~~~~~~~~~~~~~~~ 

 

    Port of the default trac highlighter design. 

 

    :copyright: Copyright 2006-2014 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 TracStyle(Style): 

    """ 

    Port of the default trac highlighter design. 

    """ 

 

    default_style = '' 

 

    styles = { 

        Whitespace:             '#bbbbbb', 

        Comment:                'italic #999988', 

        Comment.Preproc:        'bold noitalic #999999', 

        Comment.Special:        'bold #999999', 

 

        Operator:               'bold', 

 

        String:                 '#bb8844', 

        String.Regex:           '#808000', 

 

        Number:                 '#009999', 

 

        Keyword:                'bold', 

        Keyword.Type:           '#445588', 

 

        Name.Builtin:           '#999999', 

        Name.Function:          'bold #990000', 

        Name.Class:             'bold #445588', 

        Name.Exception:         'bold #990000', 

        Name.Namespace:         '#555555', 

        Name.Variable:          '#008080', 

        Name.Constant:          '#008080', 

        Name.Tag:               '#000080', 

        Name.Attribute:         '#008080', 

        Name.Entity:            '#800080', 

 

        Generic.Heading:        '#999999', 

        Generic.Subheading:     '#aaaaaa', 

        Generic.Deleted:        'bg:#ffdddd #000000', 

        Generic.Inserted:       'bg:#ddffdd #000000', 

        Generic.Error:          '#aa0000', 

        Generic.Emph:           'italic', 

        Generic.Strong:         'bold', 

        Generic.Prompt:         '#555555', 

        Generic.Output:         '#888888', 

        Generic.Traceback:      '#aa0000', 

 

        Error:                  'bg:#e3d2d2 #a61717' 

    }