jenkins-bot has submitted this change and it was merged.
Change subject: Remove RTL-specific CSS rules
......................................................................
Remove RTL-specific CSS rules
CSSJanus does a sane job without them.
Bug: 46864
Change-Id: Id4549ccb9c8153d0ac62563facf90149996acfb9
---
M modules/ext.toctree.css
1 file changed, 3 insertions(+), 22 deletions(-)
Approvals:
Nikerabbit: Looks good to me, approved
jenkins-bot: Verified
diff --git a/modules/ext.toctree.css b/modules/ext.toctree.css
index beb56bc..8ead7fa 100644
--- a/modules/ext.toctree.css
+++ b/modules/ext.toctree.css
@@ -1,5 +1,5 @@
/*
- * Style sheets for the TocTree extension
+ * Style sheets for the TocTree extension
* to display the toc structure
*
* @package MediaWiki
@@ -14,19 +14,10 @@
padding-left: 2em;
}
-body.rtl #toc .tocUl {
- padding-right: 2em;
-}
-
#toc.tocFloat {
float: left;
margin: 0 2em 1em 0;
width: 20em;
-}
-
-body.rtl #toc.tocFloat {
- float: right;
- margin: 0 0 1em 2em;
}
.toggleSymbol {
@@ -40,11 +31,7 @@
left: -2em;
}
-body.rtl .toggleNode {
- right: 2em;
-}
-
-.noFloat #toc.tocFloat, body.rtl .noFloat #toc.tocFloat {
+.noFloat #toc.tocFloat {
float: none;
margin: 0;
width: auto;
@@ -57,13 +44,7 @@
max-width: 20em;
}
-body.rtl #toc.tocFloat {
- float: right;
- margin: 0 0 1em 2em;
- max-width: 20em;
-}
-
-.noFloat #toc.tocFloat, body.rtl .noFloat.tocFloat #toc {
+.noFloat #toc.tocFloat {
float: none;
margin: 0;
max-width: auto;
--
To view, visit https://gerrit.wikimedia.org/r/61051
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Id4549ccb9c8153d0ac62563facf90149996acfb9
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/extensions/TocTree
Gerrit-Branch: master
Gerrit-Owner: Amire80 <amir.ahar...@mail.huji.ac.il>
Gerrit-Reviewer: Nikerabbit <niklas.laxst...@gmail.com>
Gerrit-Reviewer: Vogone <leon.liese...@wikipedia.de>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
