wikimedia/mediawiki-skins-Vector
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git synced 2024-12-18 02:40:34 +00:00
Code Issues Packages Projects Releases Wiki Activity

Replace colors on Special:Preferences view with WikimediaUI ones

Browse source 
Replacing outdated colors on Vector's Special:Preferences.

Bug: T173607
Change-Id: I4d23fb4bfcd3789e3f18fa7ed8247921a3557727
This commit is contained in:
Volker E 2017-08-18 15:42:33 -07:00
parent 706f6f2a87
commit a51f69ca8d
1 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
skinStyles/mediawiki.special.preferences.styles.less
View file

@ -41,7 +41,7 @@
.background-image('../images/preferences/fade.png'); .background-image('../images/preferences/fade.png');
background-position: bottom; background-position: bottom;
background-repeat: repeat-x; background-repeat: repeat-x;
color: #333; color: @colorText;
} }
} }
} }
@ -69,12 +69,12 @@
margin: 0; margin: 0;
margin-top: -2px; margin-top: -2px;
clear: both; clear: both;
border: solid 1px #ccc; border: 1px solid @colorGray12;
background-color: #fafafa; background-color: @colorGray15;
fieldset { fieldset {
border: 0; border: 0;
border-top: solid 1px #ccc; border-top: 1px solid @colorGray12;
} }
> fieldset { > fieldset {
@ -88,7 +88,7 @@
} }
legend { legend {
color: #666; color: @colorGray5;
} }
td { td {
@ -108,5 +108,5 @@
.htmlform-tip { .htmlform-tip {
font-size: x-small; font-size: x-small;
padding: 0.2em 2em; padding: 0.2em 2em;
color: #666; color: @colorGray5;
} }