Use updated gitmike theme.