RCFilters UI: Adjust highlight button circle to new OOjsUI changes
authorMoriel Schottlender <moriel@gmail.com>
Thu, 2 Mar 2017 19:17:07 +0000 (11:17 -0800)
committerMoriel Schottlender <moriel@gmail.com>
Thu, 2 Mar 2017 19:27:37 +0000 (11:27 -0800)
commit480e8f5faf4d5919a582734edb8838442a64d103
tree20c9bb6e8ad8ca813d42f75c446cbdbb715b2788
parent5a7cfcda8bafbee495cd9f481c92b5c131c015f8
RCFilters UI: Adjust highlight button circle to new OOjsUI changes

Change-Id: Iaf9aeb8ac4e0ce5253bb5289884ab63a28e680b6
resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterItemHighlightButton.less