golem
/
VectorGOLEM
9
0
Fork 0
Code Issues 1 Pull Requests Releases Wiki Activity

Merge "less: Remove duplicated variables from mediawiki.ui"

This commit is contained in:
jenkins-bot 2020-07-17 17:34:02 +00:00 committed by Gerrit Code Review
parent c7e9719b9b f01e1afb59
commit 3323cc930d
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 ==
//
@background-color-base: #fff;
@color-base: #202122;
@color-base--emphasized: #000;
@color-base--subtle: #54595d;
@color-link: #0645ad;
@color-link--visited: #0b0080;
@ -46,7 +43,6 @@
// 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
@color-primary: #36c; // wikimedia-ui-base.less
@outline-color-base--focus: @color-primary;