##// END OF EJS Templates
More tweaks to highlighting colours
Thomas Kluyver -
Show More
@@ -115,10 +115,16 b' class PTInteractiveShell(InteractiveShell):'
115 115 style_cls = get_style_by_name(self.highlighting_style)
116 116 else:
117 117 style_cls = get_style_by_name('default')
118 # The default theme needs to be visible on both a dark background
119 # and a light background, because we can't tell what the terminal
120 # looks like. These tweaks to the default theme help with that.
118 121 style_overrides.update({
119 122 Token.Number: '#007700',
120 123 Token.Operator: 'noinherit',
121 124 Token.String: '#BB6622',
125 Token.Name.Function: '#2080D0',
126 Token.Name.Class: 'bold #2080D0',
127 Token.Name.Namespace: 'bold #2080D0',
122 128 })
123 129 style_overrides.update(self.highlighting_style_overrides)
124 130 style = PygmentsStyle.from_defaults(pygments_style_cls=style_cls,
General Comments 0
You need to be logged in to leave comments. Login now