RCFilters UI: Correct filter name font-size
authorMoriel Schottlender <moriel@gmail.com>
Wed, 1 Mar 2017 17:46:01 +0000 (09:46 -0800)
committerMoriel Schottlender <moriel@gmail.com>
Wed, 1 Mar 2017 17:46:01 +0000 (09:46 -0800)
commita4eb6dc014708aa7fb17be58937490e58a41ee00
tree93a0ac8fd97693264d52754fadbc36c72be60bbc
parent768654ac814dcbd2e5d8ed63a4553079c4d0d406
RCFilters UI: Correct filter name font-size

Bug: T149452
Change-Id: I851cc38700ff34d1b663e915f0135e87957e2d08
resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterItemWidget.less