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