Merge pull request #2526 from rrthomas/master

rrt style: add Number color
pygments · Oct 8, 2023 · 669dcf1 · 669dcf1
2 parents 51acb69 + ac424e8
commit 669dcf1
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/pygments/styles/rrt.py b/pygments/styles/rrt.py
@@ -9,7 +9,7 @@
 """
 
 from pygments.style import Style
-from pygments.token import Token, Comment, Name, Keyword, String
+from pygments.token import Token, Comment, Name, Keyword, String, Number
 
 
 __all__ = ['RrtStyle']
@@ -21,7 +21,7 @@ class RrtStyle(Style):
     """
 
     name = 'rrt'
-    
+
     background_color = '#000000'
     highlight_color = '#0000ff'
 
@@ -35,4 +35,5 @@ class RrtStyle(Style):
         Comment.Preproc:    '#e5e5e5',
         String:             '#87ceeb',
         Keyword.Type:       '#ee82ee',
+        Number:             '#ff00ff',
     }