Various improvements to GTK3 theme