From: jenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Date: Wed, 29 Nov 2017 19:28:02 +0000 (+0000)
Subject: Merge "Align other review tools and saved filters buttons"
X-Git-Tag: 1.31.0-rc.0~1367
X-Git-Url: http://git.cyclocoop.org//%22javascript:ModifierStyle%28%27%22.%24id.%22%27%29/%22?a=commitdiff_plain;h=92d74e7df73af3605d3413c2584a519f3e805d98;p=lhc%2Fweb%2Fwiklou.git

Merge "Align other review tools and saved filters buttons"
---

92d74e7df73af3605d3413c2584a519f3e805d98
diff --cc resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less
index 974d3eb43c,05791c768e..74b81fa16d
--- a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less
+++ b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less
@@@ -23,25 -23,13 +23,24 @@@
  	}
  
  	.mw-recentchanges-toplinks {
- 		margin-bottom: 0.5em;
- 		padding: 0 0.5em 0.5em 0.5em;
- 		border: 1px solid transparent;
+ 		padding-left: 0.5em;
  
  		&:not( .mw-recentchanges-toplinks-collapsed ) {
- 			// Same as the legend
- 			border: 1px solid @colorGray12;
+ 			margin-bottom: 0.5em;
+ 			border: 1px solid @colorGray12; // Same as the legend
+ 			padding: 0 0.5em 0.5em 0.5em;
  		}
 +
 +		/* stylelint-disable declaration-no-important */
 +		.oo-ui-buttonElement > .oo-ui-buttonElement-button {
 +			padding-right: 1.2em !important;
 +
 +			> .oo-ui-indicatorElement-indicator {
 +				right: 0 !important;
 +				width: 0.9375em !important;
 +			}
 +		}
 +		/* stylelint-enable declaration-no-important */
  	}
  
  	body:not( .mw-rcfilters-ui-initialized ) {