jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/337226 )
Change subject: Align editOptions section with WikimediaUI color palette
......................................................................
Align editOptions section with WikimediaUI color palette
It makes it a little bit lighter.
Bug: T152025
Change-Id: I03a8bcb099003fd8e681c3e97d6e30027f4383ae
---
M resources/src/mediawiki.skinning/interface.css
1 file changed, 3 insertions(+), 3 deletions(-)
Approvals:
jenkins-bot: Verified
VolkerE: Looks good to me, approved
diff --git a/resources/src/mediawiki.skinning/interface.css
b/resources/src/mediawiki.skinning/interface.css
index 7dbcd4d..d3f188a 100644
--- a/resources/src/mediawiki.skinning/interface.css
+++ b/resources/src/mediawiki.skinning/interface.css
@@ -17,12 +17,12 @@
textarea {
/* Support Firefox: Border rule required to override system appearance
on Linux */
- border: 1px solid #c0c0c0;
+ border: 1px solid #a2a9b1;
}
.editOptions {
- background-color: #f0f0f0;
- border: 1px solid #c0c0c0;
+ background-color: #f8f9fa;
+ border: 1px solid #c8ccd1;
border-top: none;
padding: 1em 1em 1.5em 1em;
margin-bottom: 2em;
--
To view, visit https://gerrit.wikimedia.org/r/337226
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I03a8bcb099003fd8e681c3e97d6e30027f4383ae
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Ladsgroup <[email protected]>
Gerrit-Reviewer: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Florianschmidtwelzow <[email protected]>
Gerrit-Reviewer: Jdlrobson <[email protected]>
Gerrit-Reviewer: Jforrester <[email protected]>
Gerrit-Reviewer: VolkerE <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
