jenkins-bot has submitted this change and it was merged.
Change subject: Reduce bottom margin of reference names
......................................................................
Reduce bottom margin of reference names
The bottom margin makes refs with name noticeably taller than
others, however a small margin is required to stop the second
line of text wrapping too tightly.
Change-Id: Iae7e1e6ee29d9090e54aa05feda1854828a03d9d
---
M modules/ve-mw/ui/styles/widgets/ve.ui.MWReferenceSearchWidget.css
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Trevor Parscal: Looks good to me, approved
jenkins-bot: Verified
diff --git a/modules/ve-mw/ui/styles/widgets/ve.ui.MWReferenceSearchWidget.css
b/modules/ve-mw/ui/styles/widgets/ve.ui.MWReferenceSearchWidget.css
index d40b6f0..0aa3638 100644
--- a/modules/ve-mw/ui/styles/widgets/ve.ui.MWReferenceSearchWidget.css
+++ b/modules/ve-mw/ui/styles/widgets/ve.ui.MWReferenceSearchWidget.css
@@ -13,6 +13,6 @@
.ve-ui-mwReferenceSearchWidget-name {
float: right;
margin-left: 0.75em;
- margin-bottom: 0.75em;
+ margin-bottom: 0.05em;
color: #777;
}
\ No newline at end of file
--
To view, visit https://gerrit.wikimedia.org/r/149625
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Iae7e1e6ee29d9090e54aa05feda1854828a03d9d
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/VisualEditor
Gerrit-Branch: master
Gerrit-Owner: Esanders <esand...@wikimedia.org>
Gerrit-Reviewer: Trevor Parscal <tpars...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
