Remove old theme mixin
What does this MR do and why?
This mixin is not used anymore by the new navigation.
Part of &11875.
Screenshots or screen recordings
No visual change expected
How to set up and validate locally
- Please have a look at the removed SCSS and double-check these selectors aren't used anywhere outside of the removed top-navbar.
- Switch to dark mode and check that everything looks right.
MR acceptance checklist
This checklist encourages us to confirm any changes have been analyzed to reduce risks in quality, performance, reliability, security, and maintainability.
-
I have evaluated the MR acceptance checklist for this MR.
Edited by Thomas Hutterer