The admin styles from the core views_ui module is overridden by stable9.
To override it in Mantra, the full path to the stable9 file is used.
libraries-override:
views_ui/admin.styling:
css:
theme:
/core/themes/stable9/css/views_ui/views_ui.admin.theme.css: css/override/theme/views_ui.admin.theme.css
Contains some overrides for dropbuttons.
Issues
Rearrange filters table is broken.