/* jQuery UI CSS stub */