A GtkWidget already has a 'window' css name by default, so setting it to
something else breaks theming. So let's do it better, let's load a user
defined css file if found.

For reference, this change was introduced in 29a9f324.

Fixes: #140