[MediaWiki-commits] [Gerrit] wikimedia-ui-base[master]: Add `border-color-wikitable` var
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/377036 ) Change subject: Add `border-color-wikitable` var .. Add `border-color-wikitable` var Adding `border-color-wikitable` var as follow-up to I4507aae9f445. Change-Id: I60245a6960a383760acc423f5f5417d507c1efc1 --- M wikimedia-ui-base.css M wikimedia-ui-base.less 2 files changed, 2 insertions(+), 0 deletions(-) Approvals: Ladsgroup: Looks good to me, approved jenkins-bot: Verified diff --git a/wikimedia-ui-base.css b/wikimedia-ui-base.css index dfd92de..279fec0 100644 --- a/wikimedia-ui-base.css +++ b/wikimedia-ui-base.css @@ -109,6 +109,7 @@ --border-color-destructive--active: #b77c79; --border-color-inset--focus:var( --color-base--inverted ); --border-color-heading: var( --wmui-color-base70 ); + --border-color-wikitable: rgba( 84, 89, 93, 0.3 ); /* See T168029 */ /* Border Widths */ --border-width-base:1px; /* Border Radius */ diff --git a/wikimedia-ui-base.less b/wikimedia-ui-base.less index a96c6fa..74c0dfd 100644 --- a/wikimedia-ui-base.less +++ b/wikimedia-ui-base.less @@ -108,6 +108,7 @@ @border-color-destructive--active: #b77c79; @border-color-inset--focus: @color-base--inverted; @border-color-heading:@wmui-color-base70; +@border-color-wikitable: rgba( 84, 89, 93, 0.3 ); // See T168029 // Border Widths @border-width-base: 1px; // Border Radius -- To view, visit https://gerrit.wikimedia.org/r/377036 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I60245a6960a383760acc423f5f5417d507c1efc1 Gerrit-PatchSet: 1 Gerrit-Project: wikimedia-ui-base Gerrit-Branch: master Gerrit-Owner: VolkerEGerrit-Reviewer: Jdlrobson Gerrit-Reviewer: Ladsgroup 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] wikimedia-ui-base[master]: Add `border-color-wikitable` var
VolkerE has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/377036 ) Change subject: Add `border-color-wikitable` var .. Add `border-color-wikitable` var Adding `border-color-wikitable` var as follow-up to I4507aae9f445. Change-Id: I60245a6960a383760acc423f5f5417d507c1efc1 --- M wikimedia-ui-base.css M wikimedia-ui-base.less 2 files changed, 2 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/wikimedia-ui-base refs/changes/36/377036/1 diff --git a/wikimedia-ui-base.css b/wikimedia-ui-base.css index dfd92de..279fec0 100644 --- a/wikimedia-ui-base.css +++ b/wikimedia-ui-base.css @@ -109,6 +109,7 @@ --border-color-destructive--active: #b77c79; --border-color-inset--focus:var( --color-base--inverted ); --border-color-heading: var( --wmui-color-base70 ); + --border-color-wikitable: rgba( 84, 89, 93, 0.3 ); /* See T168029 */ /* Border Widths */ --border-width-base:1px; /* Border Radius */ diff --git a/wikimedia-ui-base.less b/wikimedia-ui-base.less index a96c6fa..74c0dfd 100644 --- a/wikimedia-ui-base.less +++ b/wikimedia-ui-base.less @@ -108,6 +108,7 @@ @border-color-destructive--active: #b77c79; @border-color-inset--focus: @color-base--inverted; @border-color-heading:@wmui-color-base70; +@border-color-wikitable: rgba( 84, 89, 93, 0.3 ); // See T168029 // Border Widths @border-width-base: 1px; // Border Radius -- To view, visit https://gerrit.wikimedia.org/r/377036 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I60245a6960a383760acc423f5f5417d507c1efc1 Gerrit-PatchSet: 1 Gerrit-Project: wikimedia-ui-base Gerrit-Branch: master Gerrit-Owner: VolkerE___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits