jenkins-bot has submitted this change and it was merged.
Change subject: Remove unnecessary typography rule
......................................................................
Remove unnecessary typography rule
Back from the days when there were buttons in headings..
Change-Id: If3254055dde81feb43367ef23e6df4cb63b2df5b
---
M less/common/mf-typography.less
M stylesheets/common/mf-typography.css
2 files changed, 0 insertions(+), 11 deletions(-)
Approvals:
Jdlrobson: Verified; Looks good to me, approved
jenkins-bot: Verified
diff --git a/less/common/mf-typography.less b/less/common/mf-typography.less
index 9bdb9b1..678847e 100644
--- a/less/common/mf-typography.less
+++ b/less/common/mf-typography.less
@@ -17,9 +17,6 @@
h1, h2, h3, h4, h5, h6 {
font-family: @fontFamilyHeading;
margin-bottom: 9pt;
- button {
- height: @headingLineHeight;
- }
}
h2, h3, h4, h5, h6 {
diff --git a/stylesheets/common/mf-typography.css
b/stylesheets/common/mf-typography.css
index 8b85399..00277eb 100644
--- a/stylesheets/common/mf-typography.css
+++ b/stylesheets/common/mf-typography.css
@@ -19,14 +19,6 @@
font-family: Georgia, serif;
margin-bottom: 9pt;
}
-h1 button,
-h2 button,
-h3 button,
-h4 button,
-h5 button,
-h6 button {
- height: 22pt;
-}
h2,
h3,
h4,
--
To view, visit https://gerrit.wikimedia.org/r/67910
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: If3254055dde81feb43367ef23e6df4cb63b2df5b
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: Jdlrobson <[email protected]>
Gerrit-Reviewer: JGonera <[email protected]>
Gerrit-Reviewer: Jdlrobson <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits