jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/331797 )
Change subject: Replace abandoned colors with current ones
......................................................................
Replace abandoned colors with current ones
Replacing abandoned colors with ones from overhauled WikimediaUI
color palette, conforming to WCAG 2.0 level AA.
Also side-aligning spacer for better findability in reading direction.
Bug: T153486
Change-Id: I14868e38d2e54a64663e1ec5cf0cdbbc6b5dbfc2
---
M src/ui/styles/elements/ve.ui.DiffElement.css
1 file changed, 5 insertions(+), 6 deletions(-)
Approvals:
Tchanders: Looks good to me, approved
jenkins-bot: Verified
diff --git a/src/ui/styles/elements/ve.ui.DiffElement.css
b/src/ui/styles/elements/ve.ui.DiffElement.css
index e3199fa..0a2565f 100644
--- a/src/ui/styles/elements/ve.ui.DiffElement.css
+++ b/src/ui/styles/elements/ve.ui.DiffElement.css
@@ -33,7 +33,7 @@
.ve-ui-diffElement-up,
.ve-ui-diffElement-down,
.ve-ui-diffElement-doc-child-change {
- border-left: 6px solid #347bff;
+ border-left: 6px solid #36c;
padding-left: 4px;
margin-left: -10px;
}
@@ -59,12 +59,12 @@
.ve-ui-diffElement-down:before {
bottom: 0;
- border-top: 6px solid #347bff;
+ border-top: 6px solid #36c;
}
.ve-ui-diffElement-up:before {
top: 0;
- border-bottom: 6px solid #347bff;
+ border-bottom: 6px solid #36c;
}
.ve-ui-diffElement-insert:empty:before,
@@ -79,12 +79,11 @@
}
.ve-ui-diffElement-no-changes {
- color: #888;
+ color: #72777d;
font-style: italic;
}
.ve-ui-diffElement-spacer {
- color: #888;
- text-align: center;
+ color: #72777d;
clear: both;
}
--
To view, visit https://gerrit.wikimedia.org/r/331797
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I14868e38d2e54a64663e1ec5cf0cdbbc6b5dbfc2
Gerrit-PatchSet: 1
Gerrit-Project: VisualEditor/VisualEditor
Gerrit-Branch: master
Gerrit-Owner: VolkerE <volke...@wikimedia.org>
Gerrit-Reviewer: Esanders <esand...@wikimedia.org>
Gerrit-Reviewer: Tchanders <thalia.e.c...@googlemail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
