Volker E b3e0ce2bae Replace abandoned color with current WikimediaUI one ... Replacing abandoned `@colorGray13` (`#ddd`) with appropriate variable from WikimediaUI color palette and remove unneeded `@chromeContentSeparator` var, which is just used once and not in place with `.header` anyways. Additional changes: * Also aligning `border` values to each other. Bug: T146799 Bug: T172850 Change-Id: Ia9a1736b1ea5fa080b4673038b2c23ddce90f135		2017-08-10 18:06:24 +00:00
..
minerva.mixins.less	Minerva is its own skin	2017-07-12 08:12:40 -07:00
minerva.variables.less	Replace abandoned color with current WikimediaUI one	2017-08-10 18:06:24 +00:00