From: Ed Sanders <esanders@wikimedia.org>
Date: Fri, 29 Sep 2017 15:30:40 +0000 (+0100)
Subject: Tweak layout of TitleWidget results
X-Git-Tag: 1.31.0-rc.0~1924
X-Git-Url: http://git.cyclocoop.org//%27%40script%40/%27?a=commitdiff_plain;h=63aea5b6de87e4e04d3a21c61ee8f701bafa723e;p=lhc%2Fweb%2Fwiklou.git

Tweak layout of TitleWidget results

Bug: T177085
Change-Id: I663e63e89b1be2d377de28ba74ad43519ff04741
---

diff --git a/resources/src/mediawiki.widgets/mw.widgets.TitleWidget.less b/resources/src/mediawiki.widgets/mw.widgets.TitleWidget.less
index deca71bc14..ba9533d246 100644
--- a/resources/src/mediawiki.widgets/mw.widgets.TitleWidget.less
+++ b/resources/src/mediawiki.widgets/mw.widgets.TitleWidget.less
@@ -9,6 +9,8 @@
 .mw-widget-titleWidget-menu {
 	.mw-widget-titleOptionWidget {
 		line-height: normal;
+		padding-top: 0.5em;
+		padding-bottom: 0.5em;
 
 		&-description {
 			color: #72777d;