В дополнение к ответу @miceagol's: Если вы не видите User Themes на панели Extensions инструмента GNOME Tweak Tool, вам может потребоваться установить его с extensions.gnome.org. Перезагрузите инструмент настройки после установки.