RCFilters: Work around Chrome browser bug in filter menu
authorRoan Kattouw <roan.kattouw@gmail.com>
Wed, 18 Jul 2018 17:41:18 +0000 (19:41 +0200)
committerRoan Kattouw <roan.kattouw@gmail.com>
Wed, 18 Jul 2018 17:41:18 +0000 (19:41 +0200)
commitaf3a8cd824c00e5181238a50d2e3d64c31b14628
tree2ac73f58cf211513ae4f8a8dc68f3b25d83e71a8
parent32cf68f3328fe462f4014fa00410850811246c28
RCFilters: Work around Chrome browser bug in filter menu

For some reason, the presence of any padding whatsoever makes the menu
items a lot taller, and the amount of padding doesn't actually cause any
visual change at all (it looks the same with 1px and 6px of padding).

Bug: T199932
Change-Id: If294de0f9dfa48583243ba53d74b0ea66d021839
resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.ItemMenuOptionWidget.less