[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Add `border-radius` to align to WikimediaUI Style Guide

2017-09-08 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/376660 )

Change subject: Add `border-radius` to align to WikimediaUI Style Guide
..


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: I4bda42c03a5dbf35866df4413cdb4324912a
---
M resources/src/mediawiki.special/mediawiki.special.search.styles.css
1 file changed, 3 insertions(+), 2 deletions(-)

Approvals:
  Prtksxna: Looks good to me, approved
  jenkins-bot: Verified



diff --git 
a/resources/src/mediawiki.special/mediawiki.special.search.styles.css 
b/resources/src/mediawiki.special/mediawiki.special.search.styles.css
index 3b98936..b37cf2f 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;

-- 
To view, visit https://gerrit.wikimedia.org/r/376660
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I4bda42c03a5dbf35866df4413cdb4324912a
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: VolkerE 
Gerrit-Reviewer: Bartosz Dziewoński 
Gerrit-Reviewer: Jack Phoenix 
Gerrit-Reviewer: Jforrester 
Gerrit-Reviewer: Prtksxna 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Add `border-radius` to align to WikimediaUI Style Guide

2017-09-07 Thread VolkerE (Code Review) 
VolkerE has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/376660 )

Change subject: Add `border-radius` to align to WikimediaUI Style Guide
..

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: I4bda42c03a5dbf35866df4413cdb4324912a
---
M resources/src/mediawiki.special/mediawiki.special.search.styles.css
1 file changed, 3 insertions(+), 2 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core 
refs/changes/60/376660/1

diff --git 
a/resources/src/mediawiki.special/mediawiki.special.search.styles.css 
b/resources/src/mediawiki.special/mediawiki.special.search.styles.css
index 3b98936..b37cf2f 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;

-- 
To view, visit https://gerrit.wikimedia.org/r/376660
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I4bda42c03a5dbf35866df4413cdb4324912a
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: VolkerE 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits