Space out search results just ever so slightly

1em feels too cluttered. 1.2 gives it just enough extra
space to be noticeable without putting them too far apart.

Before and after picture: https://www.mediawiki.org/wiki/File:New_search_spacing.png

Change-Id: I18d94078174e856095bf9f5687dacbba19b9f418

diff --git a/resources/mediawiki.special/mediawiki.special.css b/resources/mediawiki.special/mediawiki.special.css
index 7b1d416..b02e8f2 100644 (file)
--- a/resources/mediawiki.special/mediawiki.special.css
+++ b/resources/mediawiki.special/mediawiki.special.css
@@ -96,7 +96,7 @@ div.searchresult {
        margin-left: 0.4em;
 }
 .mw-search-results li {
-       padding-bottom: 1em;
+       padding-bottom: 1.2em;
        list-style: none;
        list-style-image: none;
 }