Merge "Align other review tools and saved filters buttons"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 29 Nov 2017 19:28:02 +0000 (19:28 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 29 Nov 2017 19:28:02 +0000 (19:28 +0000)
1  2 
resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less

        }
  
        .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 ) {