Tweak layout of TitleWidget results
authorEd Sanders <esanders@wikimedia.org>
Fri, 29 Sep 2017 15:30:40 +0000 (16:30 +0100)
committerEd Sanders <esanders@wikimedia.org>
Fri, 29 Sep 2017 15:30:40 +0000 (16:30 +0100)
Bug: T177085
Change-Id: I663e63e89b1be2d377de28ba74ad43519ff04741

resources/src/mediawiki.widgets/mw.widgets.TitleWidget.less

index deca71b..ba9533d 100644 (file)
@@ -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;