--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/thd/web/js/jquery-ui/theme/ui.all.css	Tue Sep 22 16:40:38 2009 +0200
@@ -0,0 +1,2 @@
+@import "ui.base.css";
+@import "ui.theme.css";