allow using some gtk language style other than classic.xml
/usr/share/gtksourceview-3.0/styles/classic.xml is fine for a light background, but many of the bindings result in text that is unreadable on a dark background, particularly the red and blue colors. It would be good it if the definitions considered were customizable.
I don't know gtk well enough to know whether this is a why3 specific problem.