jellybeans theme from github submodule