mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-15 11:58:44 +00:00
606365367f
Reducing specificity, simplifying output and merging `padding` in one place into one shorthand attribute. Change-Id: Ida96f18e9d90d55492ea114a7b5e3e1b8020c71f |
||
---|---|---|
.. | ||
common.less | ||
externalLinks.less | ||
footer.less | ||
navigation.less | ||
personalMenu.less | ||
search.less | ||
tabs.less | ||
watchstar.less |