jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/385295 )
Change subject: Use Vector body content `font-size` for interactive element
......................................................................
Use Vector body content `font-size` for interactive element
Making use of Vector's `.mw-body-content` `font-size` for interactive elements
in entrypoint in order to not have them oversized.
Change-Id: Id0999b795e64739967b67717cb803ef16f81d9c1
---
M extension.json
A modules/entrypoint/styles/ext.cx.contributions.vector.less
2 files changed, 8 insertions(+), 0 deletions(-)
Approvals:
jenkins-bot: Verified
Santhosh: Looks good to me, approved
diff --git a/extension.json b/extension.json
index 17ffe5c..eb70bbf 100644
--- a/extension.json
+++ b/extension.json
@@ -172,6 +172,11 @@
"styles": [
"entrypoint/styles/ext.cx.contributions.less"
],
+ "skinStyles": {
+ "vector": [
+
"entrypoint/styles/ext.cx.contributions.vector.less"
+ ]
+ },
"dependencies": [
"oojs-ui-core",
"oojs-ui.styles.icons-content",
diff --git a/modules/entrypoint/styles/ext.cx.contributions.vector.less
b/modules/entrypoint/styles/ext.cx.contributions.vector.less
new file mode 100644
index 0000000..7c5b704
--- /dev/null
+++ b/modules/entrypoint/styles/ext.cx.contributions.vector.less
@@ -0,0 +1,3 @@
+.cx-contributions {
+ font-size: 0.875em; // not inherited from `.mw-body-content`, as we
insert at `body`
+}
--
To view, visit https://gerrit.wikimedia.org/r/385295
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Id0999b795e64739967b67717cb803ef16f81d9c1
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/ContentTranslation
Gerrit-Branch: master
Gerrit-Owner: VolkerE <volke...@wikimedia.org>
Gerrit-Reviewer: Nikerabbit <niklas.laxst...@gmail.com>
Gerrit-Reviewer: Petar.petkovic <ppetko...@wikimedia.org>
Gerrit-Reviewer: Santhosh <santhosh.thottin...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
