diff -r ce77f0b1ee67 -r 9986ec0e559a Preferences/__init__.py --- a/Preferences/__init__.py Sun Sep 08 19:04:07 2013 +0200 +++ b/Preferences/__init__.py Tue Oct 15 22:03:54 2013 +0200 @@ -463,6 +463,8 @@ "AnnotationsWarningBackground": QColor("#ffffd0"), "AnnotationsErrorForeground": QColor("#600000"), "AnnotationsErrorBackground": QColor("#ffd0d0"), + "AnnotationsStyleForeground": QColor("#000060"), + "AnnotationsStyleBackground": QColor("#d0d0ff"), "WhitespaceForeground": QColor(Qt.darkGray), "WhitespaceBackground": QColor(Qt.white), "OnlineChangeTraceMarkerUnsaved": QColor("#ff8888"),