See #9 Revert jQuery-UI themes to version 1.7.2