Documented how we get the smoothness jQuery UI theme