jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/379451 )
Change subject: Update: increase the page title font size
......................................................................
Update: increase the page title font size
Design requested that the page title font size be increased by one
pixel. This change is intended to deviate from h4 which is close in
size.
Change-Id: I1bb301db7ee1c293ce32dde473b841e2b1537169
---
M src/common/components/page/page.css
1 file changed, 4 insertions(+), 1 deletion(-)
Approvals:
Niedzielski: Looks good to me, approved
jenkins-bot: Verified
diff --git a/src/common/components/page/page.css
b/src/common/components/page/page.css
index 802d102..4550f9a 100644
--- a/src/common/components/page/page.css
+++ b/src/common/components/page/page.css
@@ -1,6 +1,9 @@
.Page {
/* Variable to apply the same spacing to heading, content and separator */
--page-spacing: var(--space);
+
+ /* This size is an intentional deviation from the base typography. */
+ --page-title-font-size: 24px;
}
.Page-header {
@@ -11,8 +14,8 @@
}
.Page-title {
+ font-size: var(--page-title-font-size);
/* TODO: Extract to typography components once we have the specs */
- font-size: var(--font-size-h4);
font-weight: bold;
line-height: var(--line-height-heading);
}
--
To view, visit https://gerrit.wikimedia.org/r/379451
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I1bb301db7ee1c293ce32dde473b841e2b1537169
Gerrit-PatchSet: 5
Gerrit-Project: marvin
Gerrit-Branch: master
Gerrit-Owner: Niedzielski <[email protected]>
Gerrit-Reviewer: Jhernandez <[email protected]>
Gerrit-Reviewer: Niedzielski <[email protected]>
Gerrit-Reviewer: Sniedzielski <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
