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