html highlighting and git pull request