Use compiled+minified jquery-ui CSS file.

This saves bytes and about twenty HTTP requests.