Advertisement
Guest User

Untitled

a guest
May 3rd, 2016
43
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 3.73 KB | None | 0 0
  1. # -*- coding: utf-8 -*-
  2. """
  3. pygments.styles.lightbend
  4. ~~~~~~~~~~~~~~~~~~~~~~~~~
  5. """
  6.  
  7. from pygments.style import Style
  8. from pygments.token import Keyword, Name, Comment, String, Error, Text, \
  9. Number, Operator, Generic, Whitespace, Other, Literal, Punctuation
  10.  
  11. class LightbendStyle(Style):
  12. """
  13. Ligtbend theme
  14. """
  15. background_color = '#ffffff'
  16. default_style = ""
  17.  
  18. _text1 = '#1C3B47' # lb-dark-teal
  19. _string1 = 'nobold #579211' # darkened Play green
  20. _string2 = 'nobold ' + _text1
  21. _literal = _string1
  22. #_keyword = '#D66F00' # orange, darker 25%
  23. _keyword = '#8E4A00' # orange, darker 50%
  24. #_keyword = '#f48122' # lb-orange-dkr
  25. _comment = 'italic #576D75' # lb-light-grey, darkened
  26. _type = '#1a84ad' # lb-blue
  27. #_typedef = 'nobold #652b7c' # Lagom
  28. _typedef = 'nobold #135C8D' # bgcolor blue
  29. _error = '#E23125' # Scala red
  30.  
  31. styles = {
  32. Text: _text1,
  33. Whitespace: _text1,
  34. Error: _error,
  35. Other: _text1,
  36.  
  37. Comment: _comment,
  38. Comment.Multiline: _comment,
  39. Comment.Preproc: _comment,
  40. Comment.Single: _comment,
  41. Comment.Special: _comment,
  42.  
  43. Keyword: _keyword,
  44. Keyword.Constant: _keyword,
  45. Keyword.Declaration: _keyword,
  46. Keyword.Namespace: _keyword,
  47. Keyword.Pseudo: _keyword,
  48. Keyword.Reserved: _keyword,
  49. Keyword.Type: _type,
  50.  
  51. Operator: _text1,
  52. Operator.Word: _text1,
  53.  
  54. Name: _text1,
  55. Name.Attribute: _text1,
  56. Name.Builtin: '#ff0000',
  57. Name.Builtin.Pseudo: '#ff0000',
  58. Name.Class: _typedef,
  59. Name.Constant: '#ff0000',
  60. Name.Decorator: '#ff0000',
  61. Name.Entity: _type,
  62. Name.Exception: '#ff0000',
  63. Name.Function: _type,
  64. Name.Property: '#ff0000',
  65. Name.Label: _text1,
  66. Name.Namespace: _type,
  67. Name.Other: _text1,
  68. Name.Tag: '#ff0000',
  69. Name.Variable: '#ff0000',
  70. Name.Variable.Class: '#ff0000',
  71. Name.Variable.Global: '#ff0000',
  72. Name.Variable.Instance: '#ff0000',
  73.  
  74. Number: _literal,
  75. Number.Float: _literal,
  76. Number.Hex: _literal,
  77. Number.Integer: _literal,
  78. Number.Integer.Long: _literal,
  79. Number.Oct: _literal,
  80.  
  81. Literal: _literal,
  82. Literal.Date: _literal,
  83.  
  84. Punctuation: _text1,
  85.  
  86. String: _string1,
  87. String.Backtick: _string1,
  88. String.Char: _string1,
  89. String.Doc: _string1,
  90. String.Double: _string1,
  91. String.Escape: _string2,
  92. String.Heredoc: _string1,
  93. String.Interpol: _string2,
  94. String.Other: _string1,
  95. String.Regex: _string1,
  96. String.Single: _string1,
  97. String.Symbol: _string1,
  98.  
  99. Generic: _text1,
  100. Generic.Deleted: _text1,
  101. Generic.Emph: _text1,
  102. Generic.Error: _text1,
  103. Generic.Heading: _text1,
  104. Generic.Inserted: _text1,
  105. Generic.Output: _text1,
  106. Generic.Prompt: _text1,
  107. Generic.Strong: _text1,
  108. Generic.Subheading: _text1,
  109. Generic.Traceback: _text1,
  110. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement