From 63aea5b6de87e4e04d3a21c61ee8f701bafa723e Mon Sep 17 00:00:00 2001
From: Ed Sanders <esanders@wikimedia.org>
Date: Fri, 29 Sep 2017 16:30:40 +0100
Subject: [PATCH] Tweak layout of TitleWidget results

Bug: T177085
Change-Id: I663e63e89b1be2d377de28ba74ad43519ff04741
---
 resources/src/mediawiki.widgets/mw.widgets.TitleWidget.less | 2 ++
 1 file changed, 2 insertions(+)

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;
-- 
2.20.1