diff -r ecdfc63274bf -r 436d4791d7ac client/player/development-bundle/themes/base/jquery.ui.all.css
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/client/player/development-bundle/themes/base/jquery.ui.all.css	Wed Jun 09 16:48:35 2010 +0200
@@ -0,0 +1,2 @@
+@import "jquery.ui.base.css";
+@import "jquery.ui.theme.css";