harborhoffer/Super-Theme-Switcher — pull request #16 by prantlf (2013-11-05 10:58:12+00:00)
Title: Add themecss option to control the name of the jQuery UI css file

It is useful to choose from jquery-ui.css, jquery-ui.min.css and jquery.ui.theme.css, which are available for every core jQuery UI theme.