eeddf49371
- remove the highlighting js in favour of color definitions, to fix it not really working in light theme or high contrast - add a bunch of color definitions to set the color of the menu button in the different styles - drop the border drawing for a separator, to fix visual issues with the high border radius, in favour of a separator element - change the class names of some things to make it understandable - bit of overall css tidying Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3554>