[MediaWiki-commits] [Gerrit] oojs/ui[master]: Fix border colours in MW toolbar
jenkins-bot has submitted this change and it was merged. Change subject: Fix border colours in MW toolbar .. Fix border colours in MW toolbar Change-Id: I91862c2e609b5cd65d3bb50e626813a72746b1d6 --- M src/themes/mediawiki/tools.less 1 file changed, 2 insertions(+), 2 deletions(-) Approvals: Jforrester: Looks good to me, approved jenkins-bot: Verified diff --git a/src/themes/mediawiki/tools.less b/src/themes/mediawiki/tools.less index 52e6230..8ce76e0 100644 --- a/src/themes/mediawiki/tools.less +++ b/src/themes/mediawiki/tools.less @@ -32,7 +32,7 @@ } > .oo-ui-toolbar:not( :last-child ) { - border-right: @border-default; + border-right: @border-toolbar; } } } @@ -83,7 +83,7 @@ .oo-ui-toolbar-actions & { border-right: 0; - border-left: @border-default; + border-left: @border-toolbar; } .oo-ui-toolbar-narrow & { -- To view, visit https://gerrit.wikimedia.org/r/311912 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I91862c2e609b5cd65d3bb50e626813a72746b1d6 Gerrit-PatchSet: 1 Gerrit-Project: oojs/ui Gerrit-Branch: master Gerrit-Owner: EsandersGerrit-Reviewer: Jforrester Gerrit-Reviewer: VolkerE Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] oojs/ui[master]: Fix border colours in MW toolbar
Esanders has uploaded a new change for review. https://gerrit.wikimedia.org/r/311912 Change subject: Fix border colours in MW toolbar .. Fix border colours in MW toolbar Change-Id: I91862c2e609b5cd65d3bb50e626813a72746b1d6 --- M src/themes/mediawiki/tools.less 1 file changed, 2 insertions(+), 2 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/oojs/ui refs/changes/12/311912/1 diff --git a/src/themes/mediawiki/tools.less b/src/themes/mediawiki/tools.less index 52e6230..8ce76e0 100644 --- a/src/themes/mediawiki/tools.less +++ b/src/themes/mediawiki/tools.less @@ -32,7 +32,7 @@ } > .oo-ui-toolbar:not( :last-child ) { - border-right: @border-default; + border-right: @border-toolbar; } } } @@ -83,7 +83,7 @@ .oo-ui-toolbar-actions & { border-right: 0; - border-left: @border-default; + border-left: @border-toolbar; } .oo-ui-toolbar-narrow & { -- To view, visit https://gerrit.wikimedia.org/r/311912 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I91862c2e609b5cd65d3bb50e626813a72746b1d6 Gerrit-PatchSet: 1 Gerrit-Project: oojs/ui Gerrit-Branch: master Gerrit-Owner: Esanders___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits