Skip to content

Remove old theme mixin

Thomas Hutterer requested to merge rm_old_nav_themes_2 into master

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.

Edited by Thomas Hutterer

Merge request reports