From: Moriel Schottlender <moriel@gmail.com>
Date: Tue, 22 Aug 2017 23:24:58 +0000 (-0700)
Subject: RCFilters: Minimize vertical space
X-Git-Tag: 1.31.0-rc.0~2319^2
X-Git-Url: http://git.cyclocoop.org/%24href?a=commitdiff_plain;h=b4c9438a9035fb6ab32be86659d90cad2e052695;p=lhc%2Fweb%2Fwiklou.git

RCFilters: Minimize vertical space

Bug: T173265
Change-Id: I38821571450c59b18c753c8b20ad9f19f01b6276
---

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;