From b4c9438a9035fb6ab32be86659d90cad2e052695 Mon Sep 17 00:00:00 2001 From: Moriel Schottlender Date: Tue, 22 Aug 2017 16:24:58 -0700 Subject: [PATCH] RCFilters: Minimize vertical space Bug: T173265 Change-Id: I38821571450c59b18c753c8b20ad9f19f01b6276 --- resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less | 3 +-- .../styles/mw.rcfilters.ui.ChangesListWrapperWidget.less | 7 ++++++- .../styles/mw.rcfilters.ui.FilterWrapperWidget.less | 1 - 3 files changed, 7 insertions(+), 4 deletions(-) diff --git a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less index d5528e1f51..c667bac912 100644 --- a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less +++ b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less @@ -31,8 +31,7 @@ } .rcfilters-head { - min-height: 220px; - margin-top: 1em; + min-height: 200px; &:not( .mw-rcfilters-ui-ready ) { opacity: 0.5; diff --git a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.ChangesListWrapperWidget.less b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.ChangesListWrapperWidget.less index 31f3f1dec9..dc7afab1b5 100644 --- a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.ChangesListWrapperWidget.less +++ b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.ChangesListWrapperWidget.less @@ -13,7 +13,7 @@ &-newChanges { min-height: 34px; - margin: 10px 0; + margin: 8px 0 0 0; text-align: center; } @@ -34,6 +34,11 @@ } } + h4:first-of-type { + margin-top: 0; + padding-top: 0; + } + ul { // Each li's margin-left should be the width of the highlights // element + the margin diff --git a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterWrapperWidget.less b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterWrapperWidget.less index 87d09e0dd9..a89b69c522 100644 --- a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterWrapperWidget.less +++ b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterWrapperWidget.less @@ -1,5 +1,4 @@ .mw-rcfilters-ui-filterWrapperWidget { - margin-top: 1em; width: 100%; // Make sure this uses the interface direction, not the content direction direction: ltr; -- 2.20.1