This needs installed from the command line:
$ sudo apt install -y gnome-shell-extensions
To allow the Shell override to work, you need to navigate to:
Extensions, "User Themes" ON

Technical notes, and other ideas.
This needs installed from the command line:
$ sudo apt install -y gnome-shell-extensions
To allow the Shell override to work, you need to navigate to:
Extensions, "User Themes" ON