A few more jQuery UI CSS modules commented