replace deprecated use of style manager in context of annotations
The Gtk.StyleManager is deprecated, and instead of adding stylesheets at runtime through it, gtk_style_context_add_provider_for_display
should be used, which besides its name doesn't interact directly with a widget's style manager.
This was split off from !246 (merged). (and includes it)
Edited by Markus Göllnitz