RCFilters UI: Adjust styles to OOUI's newest release
authorMoriel Schottlender <moriel@gmail.com>
Tue, 11 Apr 2017 01:09:58 +0000 (18:09 -0700)
committerCatrope <roan@wikimedia.org>
Tue, 11 Apr 2017 23:59:53 +0000 (23:59 +0000)
commite56431edc421f0ff3229dd50e89480189669fbaa
treef4f24042b004a311dd301cb8ae86f7053606ba61
parented1afdee3578bf757dc315a7cfd60525dab9dbd4
RCFilters UI: Adjust styles to OOUI's newest release

Slight modificationsfor OOUI 0.21.0

Change-Id: I8b1db97fd7d52a57a7e3bdd13cc7dc4e364b8976
resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterGroupWidget.less