CSS files for jQuery UI rewritten using Sass