Important notice:
If you want to change the jquery-ui CSS files you *must* edit the jquery-ui/default.css file.
This file is loaded after the jquery-ui/xxx/jquery-ui-1.8.7.custom.css
Don't modify the CSS files of the themes because when a new version of jquery-ui this will be replaced.