ghc features git repo
change theme