jQuery UI theme files included in local install but not in repository while teaching myself git