gnome-shell now includes a light variant, and supports switching between dark- and light styling at runtime. That means we no longer have to build our own stylesheet, and can instead just instruct gnome-shell to always use the light style in the classic session. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/254>