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: If7df130c53bcbbc199a6e10a6d84dbcc8b4e087d
This commit is contained in:
Volker E 2018-11-06 18:44:48 -08:00
parent 22212f839e
commit d2a20bd520
3 changed files with 0 additions and 92 deletions

View file

@ -118,9 +118,3 @@ div.tright,
div.tleft {
position: relative;
}
/* bug 12846 */
body.rtl #preftoc a,
body.rtl #preftoc a:active {
float: left;
}

View file

@ -1,85 +0,0 @@
.client-js #preftoc {
/* Tabs */
width: 100%;
clear: both;
margin: 0;
padding: 0;
li {
/* Tab */
background-color: #f0f0f0;
color: #000;
margin: 1px -2px 1px 2px;
float: left;
padding: 2px 0 3px 0;
border: 1px solid #fff;
border-right-color: #716f64;
border-bottom: 0;
position: relative;
white-space: nowrap;
list-style-type: none;
list-style-image: none;
&.selected {
font-weight: bold;
background-color: #f9f9f9;
border: 1px solid #aaa;
border-bottom: 0;
cursor: default;
top: 2px;
padding-top: 2px;
margin-right: -3px;
a {
cursor: default;
text-decoration: none;
}
}
}
a,
a:active {
display: inline-block;
color: #000;
padding: 0.7em;
position: relative;
text-decoration: none;
}
}
#preferences {
margin: 0;
border: 1px solid #aaa;
clear: both;
padding: 1.5em;
background-color: #f9f9f9;
}
.client-js #preferences {
> fieldset {
border: 0;
padding: 0;
margin: 0;
> legend {
display: none;
}
}
legend {
font-weight: bold;
}
}
.mw-htmlform-submit {
font-weight: bold;
padding-left: 0.3em;
padding-right: 0.3em;
margin-right: 2em;
}
.htmlform-tip {
font-size: x-small;
padding: 0.2em 2em;
color: #666;
}

View file

@ -78,7 +78,6 @@
"ResourceModuleSkinStyles": {
"monobook": {
"+mediawiki.action.view.redirectPage": "resources/skinStyles/mediawiki.action.view.redirectPage.css",
"+mediawiki.special.preferences.styles": "resources/skinStyles/mediawiki.special.preferences.styles.less",
"+mediawiki.notification": "resources/skinStyles/mediawiki.notification.less",
"+oojs-ui-core.styles": "resources/skinStyles/ooui.less",
"+ext.uls.interface": "resources/skinStyles/ext.uls.interface.less"