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

less: Remove duplicated variables from mediawiki.ui

Browse source 
Change-Id: Ia22d95878c7099d38557cc93b3b0df65b0e8519d
This commit is contained in:
Volker E 2020-07-15 17:55:59 -07:00
parent 1ccf9f7fcb
commit f01e1afb59
1 changed files with 0 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
variables.less
View file

@ -35,9 +35,6 @@
// == Page content == // == Page content ==
// //
@background-color-base: #fff;
@color-base: #202122;
@color-base--emphasized: #000;
@color-base--subtle: #54595d; @color-base--subtle: #54595d;
@color-link: #0645ad; @color-link: #0645ad;
@color-link--visited: #0b0080; @color-link--visited: #0b0080;
@ -46,7 +43,6 @@
// See oojs/ui/src/themes/wikimediaui/common.less. // See oojs/ui/src/themes/wikimediaui/common.less.
@background-color-frameless--hover: rgba( 0, 24, 73, 7/255 ); // equivalent to @wmui-color-base90 on white @background-color-frameless--hover: rgba( 0, 24, 73, 7/255 ); // equivalent to @wmui-color-base90 on white
@color-primary: #36c; // wikimedia-ui-base.less
@outline-color-base--focus: @color-primary; @outline-color-base--focus: @color-primary;