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