jenkins-bot has submitted this change and it was merged.

Change subject: Fix height issues in mobile context
......................................................................


Fix height issues in mobile context

Tries to avoid pixel rounding errors when font size is
increased (e.g. in MediaWiki's MobileFrontend).

Change-Id: I8b38d7cb7ab45dee9a6a35916220de4241e16fc8
---
M src/ui/styles/ve.ui.MobileContext.css
1 file changed, 6 insertions(+), 4 deletions(-)

Approvals:
  Jforrester: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/src/ui/styles/ve.ui.MobileContext.css 
b/src/ui/styles/ve.ui.MobileContext.css
index 751a306..9815696 100644
--- a/src/ui/styles/ve.ui.MobileContext.css
+++ b/src/ui/styles/ve.ui.MobileContext.css
@@ -17,22 +17,24 @@
 }
 
 .ve-ui-mobileContext .ve-ui-linearContextItem-title {
-       padding: 0.7em 1em 0.7em 0.5em;
+       padding: 0.625em 1em 0.625em 0.5em;
 }
 
 .ve-ui-mobileContext .ve-ui-linearContextItem-description {
-       line-height: 3.164em;
+       line-height: 3.125em;
 }
 
 .ve-ui-mobileContext .ve-ui-linearContextItem-actions {
-       line-height: 3.164em;
+       vertical-align: top;
        padding: 0;
 }
 
 .ve-ui-mobileContext .ve-ui-linearContextItem-actions .oo-ui-buttonWidget {
        border-left: 1px solid #ddd;
+       vertical-align: top;
 }
 
 .ve-ui-mobileContext .ve-ui-linearContextItem-actions 
.oo-ui-buttonElement-button {
-       padding: 0 0.5em
+       padding: 0.625em 0.5em;
+       vertical-align: top;
 }

-- 
To view, visit https://gerrit.wikimedia.org/r/239574
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I8b38d7cb7ab45dee9a6a35916220de4241e16fc8
Gerrit-PatchSet: 2
Gerrit-Project: VisualEditor/VisualEditor
Gerrit-Branch: master
Gerrit-Owner: Esanders <[email protected]>
Gerrit-Reviewer: Jforrester <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to