Merge "mediawiki.ui: Add @borderRadius variable to be used for inputs and buttons"
[lhc/web/wiklou.git] / resources / src / mediawiki.legacy / oldshared.css
index 4741074..4424fbd 100644 (file)
@@ -300,11 +300,6 @@ table.small {
        padding-right: 0.5em;
 }
 
-.redirectText {
-       font-size: 150%;
-       margin: 5px;
-}
-
 .sharedUploadNotice {
        font-style: italic;
 }