insensitive buttons should be shaded towards the gtk_background color,  not hardcoded gray