mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-24 07:43:47 +00:00
e326517213
Going into the header work, we'll need this variable available so that we can align the header with the personal tools menu. Per Volker's request we change the value to `px` from `em`s. Previously it was 5.28333px. It will now be 6px. Bug: T246170 Change-Id: Ic1514e8592db8ef168fc846b8f8e485fdd465e49 |
||
---|---|---|
.. | ||
skins.vector.js | ||
skins.vector.styles | ||
CollapsibleTabsPlugin.d.ts | ||
mediawiki.d.ts | ||
skins.vector.styles.responsive.less |