2 * Picked from jQuery UI 1.11.2-alpha instead of 1.9.2.
3 * Extra customizations.
5 jquery.ui.datepicker.css
6 * Add @noflip to prevent CSSJanus flipping.
9 * Extra customizations.
11 jquery.ui.resizable.css
12 * Add @noflip to prevent CSSJanus flipping.
15 * Add @embed instructions for CSSMin.
16 * Change font-size from 1.0em to 0.8em.
17 * Join ".ui-icon", ".ui-widget-content .ui-icon" and ".ui-widget-header .ui-icon" rules
18 to optimise image embedding.
19 * Removed ".ui-widget-content a { color: #362b36; }" and
20 ".ui-widget-header a { color: #222222; }" due to bug T85857.
23 * Add close.png and titlebar-fade.png (used in customizations for
25 * Change chmod from 755 to 644.