Esanders has uploaded a new change for review.
https://gerrit.wikimedia.org/r/318154
Change subject: Fix border colour of PopupToolGroup
......................................................................
Fix border colour of PopupToolGroup
Bug: T147700
Change-Id: I846f19b7ea035175bd831c942a134a71731b912c
---
M src/themes/mediawiki/tools.less
1 file changed, 1 insertion(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/oojs/ui refs/changes/54/318154/1
diff --git a/src/themes/mediawiki/tools.less b/src/themes/mediawiki/tools.less
index 8ce76e0..8b0e709 100644
--- a/src/themes/mediawiki/tools.less
+++ b/src/themes/mediawiki/tools.less
@@ -244,7 +244,7 @@
.oo-ui-toolGroup-tools {
top: 3.125em;
margin: 0 -1px;
- border: @border-default;
+ border: @border-toolbar;
background-color: @background-color-toolbar;
box-shadow: 0 2px 3px rgba( 0, 0, 0, 0.2 );
min-width: 16em;
--
To view, visit https://gerrit.wikimedia.org/r/318154
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I846f19b7ea035175bd831c942a134a71731b912c
Gerrit-PatchSet: 1
Gerrit-Project: oojs/ui
Gerrit-Branch: master
Gerrit-Owner: Esanders <esand...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
