editor_style.py

   1 from pygments.style import Style as PygmentsStyle
   2 from pygments.token import Keyword, Name, Comment, String, Error, \
   3         Number, Operator, Generic, Whitespace
   4
   5 # based on pygment's built-in borland style, with italics removed
   6
   7 class CodeviewStyle(PygmentsStyle):
   8         default_style = ''
   9         styles = {
  10                 Whitespace:             '#bbbbbb',
  11                 Comment:                'noitalic #008800',
  12                 Comment.Preproc:        'noitalic #008080',
  13                 Comment.Special:        'noitalic bold',
  14
  15                 String:                 '#0000FF',
  16                 String.Char:            '#800080',
  17                 Number:                 '#0000FF',
  18                 Keyword:                'bold #000080',
  19                 Operator.Word:          'bold',
  20                 Name.Tag:               'bold #000080',
  21                 Name.Attribute:         '#FF0000',
  22
  23                 Generic.Heading:        '#999999',
  24                 Generic.Subheading:     '#aaaaaa',
  25                 Generic.Deleted:        'bg:#ffdddd #000000',
  26                 Generic.Inserted:       'bg:#ddffdd #000000',
  27                 Generic.Error:          '#aa0000',
  28                 Generic.Emph:           'underline',
  29                 Generic.Strong:         'bold',
  30                 Generic.Prompt:         '#555555',
  31                 Generic.Output:         '#888888',
  32                 Generic.Traceback:      '#aa0000',
  33
  34                 Error:                  'bg:#e3d2d2 #a61717'
  35         }
  36