These files are used by the stylesheet 'jquery-ui.css'