No option or option-set at programs.gnome-shell.theme.