jenkins-bot has submitted this change and it was merged.
Change subject: Get rid of the !importants in the Special:Search form styling
......................................................................
Get rid of the !importants in the Special:Search form styling
Change-Id: Ibf77eaa6060caba8b6b83439f18f99ea9204ca56
---
M resources/src/mediawiki.special/mediawiki.special.search.css
1 file changed, 6 insertions(+), 6 deletions(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/resources/src/mediawiki.special/mediawiki.special.search.css
b/resources/src/mediawiki.special/mediawiki.special.search.css
old mode 100644
new mode 100755
index 0c8e709..1ce9569
--- a/resources/src/mediawiki.special/mediawiki.special.search.css
+++ b/resources/src/mediawiki.special/mediawiki.special.search.css
@@ -57,9 +57,9 @@
padding-left: 0.25em;
}
.mw-search-profile-tabs div.search-types ul {
- margin: 0 !important;
- padding: 0 !important;
- list-style: none !important;
+ margin: 0;
+ padding: 0;
+ list-style: none;
}
.mw-search-profile-tabs div.search-types ul li {
float: left;
@@ -87,11 +87,11 @@
fieldset#mw-searchoptions {
margin: 0;
- padding: 0.5em 0.75em 0.75em 0.75em !important;
+ padding: 0.5em 0.75em 0.75em 0.75em;
border: none;
background-color: #f9f9f9;
- border: 1px solid silver !important;
- border-top-width: 0 !important;
+ border: 1px solid silver;
+ border-top-width: 0;
}
fieldset#mw-searchoptions legend {
display: none;
--
To view, visit https://gerrit.wikimedia.org/r/249461
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ibf77eaa6060caba8b6b83439f18f99ea9204ca56
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Isarra <[email protected]>
Gerrit-Reviewer: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Edokter <[email protected]>
Gerrit-Reviewer: Jack Phoenix <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
