mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-28 09:30:17 +00:00
5691e4c7c4
Both properties are needed for normalizing different browsers (`padding` infamous on older Operas) and are only needed on `body`. Change-Id: I661869ed43491824cbfe86dc36e39f97e29ccf8a |
||
---|---|---|
.. | ||
skins.vector.icons | ||
skins.vector.js | ||
skins.vector.legacy.js | ||
skins.vector.styles | ||
CheckboxHack.d.ts | ||
CollapsibleTabsPlugin.d.ts | ||
mediawiki.d.ts | ||
skins.vector.styles.responsive.less |