Esanders has uploaded a new change for review.
https://gerrit.wikimedia.org/r/223814
Change subject: Fix padding in format dropdown
......................................................................
Fix padding in format dropdown
Headings are staggered because labels have a left padding 0.5em which
is dependent on the font size.
Change-Id: Id24a1ab98fa522fa4d585a2c4d1af043da4fb47f
---
M src/ui/styles/tools/ve.ui.FormatTool.css
1 file changed, 11 insertions(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/VisualEditor/VisualEditor
refs/changes/14/223814/1
diff --git a/src/ui/styles/tools/ve.ui.FormatTool.css
b/src/ui/styles/tools/ve.ui.FormatTool.css
index 3c0b188..2427b39 100644
--- a/src/ui/styles/tools/ve.ui.FormatTool.css
+++ b/src/ui/styles/tools/ve.ui.FormatTool.css
@@ -38,12 +38,22 @@
font-weight: bold;
}
+.oo-ui-menuToolGroup .oo-ui-tool-name-heading1 .oo-ui-tool-title,
+.oo-ui-menuToolGroup .oo-ui-tool-name-heading2 .oo-ui-tool-title,
+.oo-ui-menuToolGroup .oo-ui-tool-name-heading3 .oo-ui-tool-title,
+.oo-ui-menuToolGroup .oo-ui-tool-name-heading4 .oo-ui-tool-title,
+.oo-ui-menuToolGroup .oo-ui-tool-name-heading5 .oo-ui-tool-title,
+.oo-ui-menuToolGroup .oo-ui-tool-name-heading6 .oo-ui-tool-title {
+ /* HACK: Use px so padding is not changed by font size */
+ padding-left: 6.4px;
+}
+
.oo-ui-menuToolGroup .oo-ui-tool-name-preformatted .oo-ui-tool-title {
font-family: monospace, "Courier New";
}
.oo-ui-menuToolGroup .oo-ui-tool-name-blockquote .oo-ui-tool-title {
- padding-left: 1em;
+ padding-left: 1.5em;
}
.oo-ui-menuToolGroup .oo-ui-tool-name-tableCellHeader .oo-ui-tool-title {
--
To view, visit https://gerrit.wikimedia.org/r/223814
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Id24a1ab98fa522fa4d585a2c4d1af043da4fb47f
Gerrit-PatchSet: 1
Gerrit-Project: VisualEditor/VisualEditor
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
