Hey guys,
for the upcoming release we should update the images in the documentation, in particular those for the preferences dialog.
I remember the discussions in the past about the GTK theme+engine used for the images. For some reason, not all people like my custom red theme :).
I'd update the images unless someone else wants to do it. The question is just whether there was a decision made in the past about what theme+engine to use for the images. If not, we should make that decision soon. I don't mind much about which theme as long as it is not that Aqua/Mac stuff.
Regards, Enrico