changing html print format in diff.py