Merge "Hard deprecate codepaths where tidy is disabled"

[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 1eb92ef..b449ef6 100644 (file)
--- a/resources/src/mediawiki.legacy/oldshared.css
+++ b/resources/src/mediawiki.legacy/oldshared.css
@@ -209,29 +209,7 @@ table.toc td {
        font-size: larger;
 }
 
-/* preference page with js-genrated toc */
-/* TODO: Delete #preftoc when Special:Preferences's non-OOUI mode is disabled */
-#preftoc {
-       float: left;
-       margin: 1em 1em 1em 1em;
-       width: 13em;
-}
-
-#preftoc li {
-       border: 1px solid #fff;
-}
-
-#preftoc li.selected {
-       background-color: #f9f9f9;
-       border: 1px dashed #aaa;
-}
-
-#preftoc a,
-#preftoc a:active {
-       display: block;
-       color: #005189;
-}
-
+/* Preference page with js-generated toc */
 .mw-prefs-buttons {
        clear: left;
        float: left;