Demos: Use HTTPS for jQuery UI CSS

Avoid protocol-relative URLs; they used to be recommended in the past but the
current good practice is to use HTTPS everywhere.

Fixes jquery/jquery-ui#2183

Author: mgol

Gruntfile.js

@@ -222,7 +222,7 @@ grunt.registerTask( "build-demos", function() {
 		// ../../ui/themes/* -> CDN
 		source = source.replace(
 			/<link rel="stylesheet" href="\.\.\/\.\.\/themes[^>]+>/,
-			"<link rel=\"stylesheet\" href=\"//code.jquery.com/ui/" + pkg.version + "/themes/base/jquery-ui.css\">" );
+			"<link rel=\"stylesheet\" href=\"https://code.jquery.com/ui/" + pkg.version + "/themes/base/jquery-ui.css\">" );
 
 		// ../demos.css -> /resources/demos/style.css
 		source = source.replace(