void rc_reset_styles(GtkSettings settings);