Le 2011-10-21 09:09, Michal Čihař a écrit :
Hi
Dne Fri, 21 Oct 2011 05:52:10 -0400 Marc Delislemarc@infomarc.info napsal(a):
about using a separate file, look at commit b857e9580757a84132fc8ccd820a549115af7e2d by Michal, and his comment: "Avoid using overrides for jquery CSS. It is better to modify the style itself instead of including another tiny file with changes."
In this commit, Michal removed an override file made by Rouslan in commit 70c70db1392e703346434e65d59110a6ba321367.
The problem there was using separate file, later the style changes were AFAIK moved to theme CSS keeping jquery CSS intact.
In master, there are currently two copies of jquery-ui-1.8.16.custom.css, one under each theme/theme_name/jquery.
Moreover, these copies are identical.