diff -r d0a1c6d22b0e -r 67f071c743f5 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	Thu Jun 10 04:16:26 2010 +0200
@@ -0,0 +1,2 @@
+@import "jquery.ui.base.css";
+@import "jquery.ui.theme.css";