mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-11-15 19:50:04 +00:00
90b787ed9c
We already use pixels to define font sizes in the pixels so rather fight Vector's styles explicitly declare the font size in the header (which it controls) instead for more readable code. Also copy across several rules that are implied by Vector but needed for the settings dialog so that this renders nicely in Monobook and Minerva. Change-Id: I196b8af23fe6ebcdb472c059cf1536d251a5b978 |
||
---|---|---|
.. | ||
dist | ||
ext.popups | ||
ext.popups.images | ||
ext.popups.main |