From 052abe72c88a8b839054ac7818664885972e89fb Mon Sep 17 00:00:00 2001 From: Volker E Date: Thu, 7 Sep 2017 21:27:58 -0700 Subject: [PATCH] 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 --- .../mediawiki.special/mediawiki.special.search.styles.css | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) 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; -- 2.20.1