mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-29 01:45:00 +00:00
23 lines
633 B
Plaintext
23 lines
633 B
Plaintext
|
jquery.ui.button.css
|
||
|
|
* Picked from jQuery UI 1.11.2-alpha instead of 1.9.2.
|
||
|
|
* Extra customizations.
|
||
|
|
|
||
|
|
jquery.ui.datepicker.css
|
||
|
|
* Add @noflip to prevent CSSJanus flipping.
|
||
|
|
|
||
|
|
jquery.ui.dialog.css
|
||
|
|
* Extra customizations.
|
||
|
|
|
||
|
|
jquery.ui.resizable.css
|
||
|
|
* Add @noflip to prevent CSSJanus flipping.
|
||
|
|
|
||
|
|
jquery.ui.theme.css
|
||
|
|
* Add @embed instructions for CSSMin.
|
||
|
|
* Change font-size from 1.0em to 0.8em.
|
||
|
|
* Join ".ui-icon", ".ui-widget-content .ui-icon" and ".ui-widget-header .ui-icon" rules
|
||
|
|
to optimise image embedding.
|
||
|
|
|
||
|
|
images:
|
||
|
|
* Add close.png and titlebar-fade.png (used in customizations for
|
||
|
|
jquery.ui.dialog.css)
|
||
|
|
* Change chmod from 755 to 644.
|