We now pull in the jqueryui stylesheet, also constant name changed to themes from style since that's what jqueryui calls it [#837 state:resolved]