Index: tools/PrettyGitLogs.sh
===================================================================
--- tools/PrettyGitLogs.sh	(revision 015dc50195943576cd8a41e21841dd3f1cb09d13)
+++ tools/PrettyGitLogs.sh	(revision 47bfefdc3e3b15e01f6d9d797f5a35b9f507af6f)
@@ -27,3 +27,3 @@
 git rev-list --format=short ${GitOldRef}...${GitNewRef} >  ${GIT_LOG}
 
-git diff --stat ${GitNewRef} ${GitOldRef} >  ${GIT_DIFF}
+git diff --stat --color ${GitNewRef} ${GitOldRef} | sed -e 's/\[32m/<span style\=\"color\: \#00AA00\;\">/g' -e 's/\[31m/<span style\=\"color\: \#AA0000\;\">/g' -e 's/\[m/<\/span>/g' >  ${GIT_DIFF}