jenkins-bot has submitted this change and it was merged.
Change subject: Move Math specific CSS from core to extension
......................................................................
Move Math specific CSS from core to extension
Depends on I3775980916de12aef23bac85c38a6f92253aa479
in extension Math.
Bug: T110492
Change-Id: If6a4ca34a54c451cdb10d011ffd806a34cbccd2c
---
M resources/src/mediawiki.legacy/commonPrint.css
M resources/src/mediawiki.legacy/shared.css
2 files changed, 0 insertions(+), 19 deletions(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/resources/src/mediawiki.legacy/commonPrint.css
b/resources/src/mediawiki.legacy/commonPrint.css
index 8807616..ce565e0 100644
--- a/resources/src/mediawiki.legacy/commonPrint.css
+++ b/resources/src/mediawiki.legacy/commonPrint.css
@@ -153,11 +153,6 @@
vertical-align: middle;
}
-/* math */
-span.texhtml {
- font-family: serif;
-}
-
/**
* Links
*/
diff --git a/resources/src/mediawiki.legacy/shared.css
b/resources/src/mediawiki.legacy/shared.css
index 59f5592..07d9780 100644
--- a/resources/src/mediawiki.legacy/shared.css
+++ b/resources/src/mediawiki.legacy/shared.css
@@ -121,20 +121,6 @@
font-style: italic;
}
-/* Math */
-.texvc {
- direction: ltr;
- unicode-bidi: embed;
-}
-
-img.tex {
- vertical-align: middle;
-}
-
-span.texhtml {
- font-family: serif;
-}
-
/**
* Add a bit of margin space between the preview and the toolbar.
* This replaces the ugly <p><br /></p> we used to insert into the page source
--
To view, visit https://gerrit.wikimedia.org/r/250180
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: If6a4ca34a54c451cdb10d011ffd806a34cbccd2c
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Physikerwelt <[email protected]>
Gerrit-Reviewer: Edokter <[email protected]>
Gerrit-Reviewer: Jack Phoenix <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
