pub const STYLE_PROVIDER_PRIORITY_USER: u32 = _; // 800u32
The priority used for the style information from XDG_CONFIG_HOME/gtk-3.0/gtk.css.
XDG_CONFIG_HOME/gtk-3.0/gtk.css
You should not use priorities higher than this, to give the user the last word.