Gnome-tweak-tool seems to have deleted the feature to change the window decoration theme.
gnome-tweak tool