added previously uncommited jstree-themes