.diff{
	color: black ;
	font-family: Helvetica, Arial, sans-serif ;
}
.etc { color: black ; }
.del { color: #F00 ; }
.old { color: #F77 ; }
.new { color: #77F ; }
.add { color: #00F ; }
pre  { color: gray ; }