jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/371124 )

Change subject: Replace abandoned `@colorGray13` with current WikimediaUI one
......................................................................


Replace abandoned `@colorGray13` with current WikimediaUI one

Replacing abandoned `@colorGray13` (`#ddd`) with
appropriate variable `colorGray12` (`#c8ccd1`) from WikimediaUI
color palette, which is used for borders elsewhere.
Also align `border-radius` with WikimediaUI constraints.

Bug: T149768
Change-Id: I628ed12af7d8b07ab4c20f0529ec535b2aa42e54
---
M modules/styles/board/menu.less
M modules/styles/board/topic/post.less
M modules/styles/board/topic/summary.less
M modules/styles/mediawiki.ui/modal.less
4 files changed, 8 insertions(+), 8 deletions(-)

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



diff --git a/modules/styles/board/menu.less b/modules/styles/board/menu.less
index 72ff3e0..46f5338 100644
--- a/modules/styles/board/menu.less
+++ b/modules/styles/board/menu.less
@@ -111,11 +111,11 @@
                font-size: 1em;
                box-shadow: 0 1px 2px @colorGray12;
                background: #fff;
-               border-radius: 2px;
+               border-radius: @borderRadius;
 
                > section:not( :first-of-type ) > li:first-of-type,
                li.flow-menu-section:not( :first-of-type ) {
-                       border-top: 1px solid @colorGray13;
+                       border-top: 1px solid @colorGray12;
                }
 
                li {
@@ -136,7 +136,7 @@
                a {
                        display: inline-block;
                        padding: 0 0.5em;
-                       border-radius: 3px;
+                       border-radius: @borderRadius;
                        border-width: 0;
                        color: @colorTextLight;
                }
diff --git a/modules/styles/board/topic/post.less 
b/modules/styles/board/topic/post.less
index ac07fad..2b8e921 100644
--- a/modules/styles/board/topic/post.less
+++ b/modules/styles/board/topic/post.less
@@ -82,7 +82,7 @@
                        /* @noflip */
                        padding-left: 0.5em;
                        /* @noflip */
-                       border-left: 1px solid @colorGray13;
+                       border-left: 1px solid @colorGray12;
                }
 
                &.flow-post-max-depth .flow-replies {
@@ -136,7 +136,7 @@
                        /* @noflip */
                        padding-right: 0.5em;
                        /* @noflip */
-                       border-right: 1px solid @colorGray13;
+                       border-right: 1px solid @colorGray12;
                }
 
                &.flow-post-max-depth .flow-replies {
diff --git a/modules/styles/board/topic/summary.less 
b/modules/styles/board/topic/summary.less
index 332d69e..ecf209a 100644
--- a/modules/styles/board/topic/summary.less
+++ b/modules/styles/board/topic/summary.less
@@ -5,7 +5,7 @@
 .flow-topic-summary-container {
        .flow-topic-summary,
        .flow-ui-editTopicSummaryWidget {
-               border-top: 1px solid @colorGray13;
+               border-top: 1px solid @colorGray12;
                margin-top: 0.5em;
                padding-top: 0.5em;
 
diff --git a/modules/styles/mediawiki.ui/modal.less 
b/modules/styles/mediawiki.ui/modal.less
index 2952eb4..341f586 100644
--- a/modules/styles/mediawiki.ui/modal.less
+++ b/modules/styles/mediawiki.ui/modal.less
@@ -42,8 +42,8 @@
        // box styling
        position: relative;
        background: #fff;
-       box-shadow: 0 4px 0 0 @colorGray13, 0 0 0 1px @colorGray13;
-       border-radius: 3px;
+       box-shadow: 0 4px 0 0 @colorGray12, 0 0 0 1px @colorGray12;
+       border-radius: @borderRadius;
        color: @colorText;
        text-align: left;
 }

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I628ed12af7d8b07ab4c20f0529ec535b2aa42e54
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Flow
Gerrit-Branch: master
Gerrit-Owner: VolkerE <volke...@wikimedia.org>
Gerrit-Reviewer: Bartosz DziewoƄski <matma....@gmail.com>
Gerrit-Reviewer: Catrope <r...@wikimedia.org>
Gerrit-Reviewer: Mattflaschen <mflasc...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>

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

Reply via email to