Re: Jeremy Newman : beginnings of HTML5 code and updating design

[Bruno Jesus]

On Tue, Nov 22, 2016 at 12:52 PM, Jeremy Newman  wrote:
> It is not required, so why add it? The only jquery-ui control we are using currently is dialog() for screenshots. If we start adding more jquery-ui controls, I'll add a theme. It will most likely be a custom theme-roller made one.

I was not clear enough, sorry. You have added minified versions of the
other files, but added the standard file for jquery-ui. Why not also
use the minified version of jquery-ui?

Standard: https://code.jquery.com/ui/1.11.4/themes/smoothness/jquery-ui.css
Minified: https://code.jquery.com/ui/1.11.4/themes/smoothness/jquery-ui.min.css

Best wishes,
Bruno