wikimedia/mediawiki-skins-Vector
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git synced 2024-11-24 07:43:47 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Replace colors on Special:Preferences view with WikimediaUI ones"

Browse source
This commit is contained in:
jenkins-bot 2017-08-21 15:33:08 +00:00 committed by Gerrit Code Review
parent 2fafe4dfc2 a51f69ca8d
commit 135042bf7c
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-position: bottom;
background-repeat: repeat-x;
color: #333;
color: @colorText;
}
}
}
@ -69,12 +69,12 @@
margin: 0;
margin-top: -2px;
clear: both;
border: solid 1px #ccc;
background-color: #fafafa;
border: 1px solid @colorGray12;
background-color: @colorGray15;
fieldset {
border: 0;
border-top: solid 1px #ccc;
border-top: 1px solid @colorGray12;
}
> fieldset {
@ -88,7 +88,7 @@
}
legend {
color: #666;
color: @colorGray5;
}
td {
@ -108,5 +108,5 @@
.htmlform-tip {
font-size: x-small;
padding: 0.2em 2em;
color: #666;
color: @colorGray5;
}