dépôts / lhc / web / wiklou.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3d831ab) | patch
RCFilters UI: Use pixel instead of em for distancing the highlight dots
authorMoriel Schottlender <moriel@gmail.com>
Wed, 5 Apr 2017 22:37:45 +0000 (15:37 -0700)
committerMoriel Schottlender <moriel@gmail.com>
Wed, 5 Apr 2017 22:43:40 +0000 (15:43 -0700)
commit5212a6c502fced7bafb41922a23ecc9f842624d1
tree48c310995441fd7c3235d77746b05d41537ba929tree | snapshot
parent3d831abcb7a29513ba170095b4afc35112d64829commit | diff
RCFilters UI: Use pixel instead of em for distancing the highlight dots

Also, make the circles slightly bigger; the 5px value made the circles
look slightly squarish, so we increase the radius by 1 pixel to 6px.

Bug: T161258
Change-Id: I483dc698ba15380990ded097caec24b408fba43a
resources/src/mediawiki.rcfilters/styles/mw.rcfilters.variables.less diff | blob | history
Wiklou, le Wiki du Wiklou