mediawiki.ui: Update color palette
authorkaldari <rkaldari@wikimedia.org>
Wed, 5 Mar 2014 23:02:34 +0000 (15:02 -0800)
committerkaldari <rkaldari@wikimedia.org>
Thu, 17 Jul 2014 21:34:05 +0000 (14:34 -0700)
commit29a388f4c6a5d54a0fb0f4e6e2edcc0c2ed7cd2b
tree95e253770fa5894911f007b4fe15f7d00a7739de
parent20a25dc1e93f089f251e5d53c240e4c00ad6c577
mediawiki.ui: Update color palette

New variables have been added to encourage reuse of the preferred
color palette.

See https://trello.com/c/IRqbu8p4/15-color-swatches

Also replacing deprecated LESS variables.

Change-Id: I03620cc4acb1ea0c7c0d2e951a9913396276c27a
resources/src/mediawiki.less/mediawiki.ui/mixins.less
resources/src/mediawiki.less/mediawiki.ui/variables.less
resources/src/mediawiki.ui/components/buttons.less