jenkins-bot has submitted this change and it was merged.
Change subject: MediaWiki theme: Add thematic border to the bottom of toolbars
......................................................................
MediaWiki theme: Add thematic border to the bottom of toolbars
Bug: T78085
Change-Id: Ie61484bba81241a1df14103d5784e69276d5730f
---
M src/themes/mediawiki/tools.less
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Trevor Parscal: Looks good to me, approved
jenkins-bot: Verified
diff --git a/src/themes/mediawiki/tools.less b/src/themes/mediawiki/tools.less
index d896828..9104079 100644
--- a/src/themes/mediawiki/tools.less
+++ b/src/themes/mediawiki/tools.less
@@ -2,7 +2,7 @@
.theme-oo-ui-toolbar () {
&-bar {
- border-bottom: solid 1px #ccc;
+ border-bottom: solid 4px rgba(0, 0, 0, 0.15);
background: #fff;
.oo-ui-toolbar-bar {
--
To view, visit https://gerrit.wikimedia.org/r/179221
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ie61484bba81241a1df14103d5784e69276d5730f
Gerrit-PatchSet: 2
Gerrit-Project: oojs/ui
Gerrit-Branch: master
Gerrit-Owner: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Trevor Parscal <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
