web: remove `.theme-redesign` selector from settings
Created by: 5h1rU
Changes
- Removed
.theme-redesign
usage from settings.
Part of https://github.com/sourcegraph/sourcegraph/issues/20847.
Created by: 5h1rU
.theme-redesign
usage from settings.Part of https://github.com/sourcegraph/sourcegraph/issues/20847.