From: Volker E <volker.e@wikimedia.org>
Date: Fri, 8 Sep 2017 04:27:58 +0000 (-0700)
Subject: Add `border-radius` to align to WikimediaUI Style Guide
X-Git-Tag: 1.31.0-rc.0~2179
X-Git-Url: http://git.cyclocoop.org/%22%20.%20generer_url_ecrire%28%22suivi_revisions%22%2C%22id_auteur=%24connecte%22%29%20.%20%22?a=commitdiff_plain;h=052abe72c88a8b839054ac7818664885972e89fb;p=lhc%2Fweb%2Fwiklou.git

Add `border-radius` to align to WikimediaUI Style Guide

Adding `border-radius` in order to align to WikimediaUI Style Guide
and be more harmonious.

Change-Id: I4bda42c03a5dbf35866df4413cdb43233334912a
---

diff --git a/resources/src/mediawiki.special/mediawiki.special.search.styles.css b/resources/src/mediawiki.special/mediawiki.special.search.styles.css
index 3b9893642c..b37cf2f8f3 100644
--- a/resources/src/mediawiki.special/mediawiki.special.search.styles.css
+++ b/resources/src/mediawiki.special/mediawiki.special.search.styles.css
@@ -51,6 +51,7 @@
 	background-color: #f8f9fa;
 	margin-top: 1em;
 	border: 1px solid #c8ccd1;
+	border-radius: 2px;
 }
 .search-types {
 	float: left;
@@ -93,11 +94,11 @@
 /*==========================*/
 
 #mw-searchoptions {
-	margin: 0;
 	padding: 0.5em 0.75em 0.75em 0.75em;
 	background-color: #f8f9fa;
+	margin: -1px 0 0;
 	border: 1px solid #c8ccd1;
-	border-top-width: 0;
+	border-radius: 0 0 2px 2px;
 }
 #mw-searchoptions legend {
 	display: none;