document-manager: bgo #711720 - Highlight if search box text not found in editor

Using gtk_widget_override_background_color is not enough. It seems that we need
to set the background image to none too. It's done using css.