#5163 (themes: css files need to be renamed to be consistent with js file renames in 1.8a1) – jQuery UI