From 554440cd86d9ed89724f7fbb6c7b8461910d9535 Mon Sep 17 00:00:00 2001 From: Moriel Schottlender Date: Wed, 2 Aug 2017 16:24:16 -0700 Subject: [PATCH] RCFilters: Adjust styling of 'other review tools' button Bug: T172237 Bug: T166919 Change-Id: Id13414274d099c2f9bb151b0b793eff172209929 --- languages/i18n/en.json | 2 +- resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less | 4 ++++ 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/languages/i18n/en.json b/languages/i18n/en.json index 497c87b1ae..8f0ebb12a6 100644 --- a/languages/i18n/en.json +++ b/languages/i18n/en.json @@ -1350,7 +1350,7 @@ "recentchanges-legend-plusminus": "(±123)", "recentchanges-submit": "Show", "rcfilters-legend-heading": "List of abbreviations:", - "rcfilters-other-review-tools": "Other review tools:", + "rcfilters-other-review-tools": "Other review tools", "rcfilters-group-results-by-page": "Group results by page", "rcfilters-grouping-title": "Grouping", "rcfilters-activefilters": "Active filters", diff --git a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less index 7f0d34ec93..d48d52dce1 100644 --- a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less +++ b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less @@ -7,6 +7,10 @@ .mw-recentchanges-toplinks { padding: 0 0.5em; + .oo-ui-widget-enabled.oo-ui-buttonElement.oo-ui-buttonElement-frameless .oo-ui-buttonElement-button { + padding: 0 2.5em 0 0.5em; + } + &-title, .mw-collapsible-text { // Same as the legend -- 2.20.1