Volker E f08b6defd7 Replace abandoned `@colorGray13` with current WikimediaUI one ... Replacing abandoned `@colorGray13` (`#ddd`) with appropriate variable `colorGray12` (`#c8ccd1`) from WikimediaUI color palette, which is used for borders elsewhere. Bug: T146799 Bug: T172850 Change-Id: Id529d79901aab32d30e2b50820b59a84bd9b3693		2017-08-17 15:04:07 -07:00
..
common.less	Hygiene: Remove unnecessary Less vars	2017-08-16 18:13:09 +00:00
footer.less	Minerva is its own skin	2017-07-12 08:12:40 -07:00
icons.less	Minerva is its own skin	2017-07-12 08:12:40 -07:00
images.less	Minerva is its own skin	2017-07-12 08:12:40 -07:00
magnifying-glass.png	Minerva is its own skin	2017-07-12 08:12:40 -07:00
magnifying-glass.svg	Minerva is its own skin	2017-07-12 08:12:40 -07:00
pageactions.less	Hygiene: Remove unnecessary Less vars	2017-08-16 18:13:09 +00:00
print.less	Minerva is its own skin	2017-07-12 08:12:40 -07:00
ui.less	Replace abandoned `@colorGray13` with current WikimediaUI one	2017-08-17 15:04:07 -07:00