Merge "mediawiki.ui: Add @borderRadius variable to be used for inputs and buttons"

[lhc/web/wiklou.git] / resources / src / mediawiki.legacy / oldshared.css

diff --git a/resources/src/mediawiki.legacy/oldshared.css b/resources/src/mediawiki.legacy/oldshared.css
index 17ad0e8..4424fbd 100644 (file)
--- a/resources/src/mediawiki.legacy/oldshared.css
+++ b/resources/src/mediawiki.legacy/oldshared.css
@@ -300,11 +300,6 @@ table.small {
        padding-right: 0.5em;
 }
 
-.redirectText {
-       font-size: 150%;
-       margin: 5px;
-}
-
 .sharedUploadNotice {
        font-style: italic;
 }
@@ -402,10 +397,6 @@ table.mw_metadata td.spacer {
        border-bottom: none;
 }
 
-table.collapsed tr.collapsable {
-       display: none;
-}
-
 .visualClear {
        clear: both;
 }
@@ -496,7 +487,7 @@ html > body.rtl div#article ul {
 }
 
 /* @noflip */
-html > body.rtl div#bodyContent ul#filetoc {
+html > body.rtl .mw-body ul#filetoc {
        display: block;
 }