This fixes #7725.  The jquery-ui css files were moved.