From df234f8177ef1bca60f4ca3ecf15078c35ea5d37 Mon Sep 17 00:00:00 2001
From: Volker E <volker.e@wikimedia.org>
Date: Tue, 6 Nov 2018 18:09:18 -0800
Subject: [PATCH] Remove obsolete Special:Preferences styles after its
 transformation to OOUI

These removed styles match no elements in the
Special:Preferences page since the OOUI transformation.

Bug: T208923
Change-Id: I27918a66751c40a52d7a54be9be6f77d05bbfc15
---
 resources/forms.less | 39 ---------------------------------------
 1 file changed, 39 deletions(-)

diff --git a/resources/forms.less b/resources/forms.less
index 3218282..23d8ac1 100644
--- a/resources/forms.less
+++ b/resources/forms.less
@@ -3,50 +3,11 @@
 /*
  * PREFERENCES AND FIELDSET STUFF
  */
-#preftoc {
-	margin: 0 0 1em;
-	padding: 0;
-	list-style: none;
-	clear: both;
-
-	li {
-		display: inline;
-		margin-right: 1em;
-
-		&.selected a {
-			color: @text;
-			border-bottom: solid @border @blue;
-		}
-	}
-}
-
 #preferences {
 	margin: 0;
 	clear: both;
 	min-height: 400px;
 
-	.prefsection {
-		border: 0;
-		padding: 0;
-		margin: 0;
-		box-shadow: none;
-	}
-
-	.mainLegend {
-		display: none;
-	}
-
-	.preferences-login {
-		clear: both;
-		margin-bottom: 1.5em;
-	}
-
-	.mw-email-not-authenticated .mw-input,
-	.mw-email-none .mw-input {
-		display: block;
-		padding: 0.25em 0.5em;
-	}
-
 	input[ type='checkbox' ],
 	input[ type='radio' ] {
 		margin-left: 0;