/* BEGIN Red-green color blindness diff fix */
td.diff-deletedline .diffchange {
	background: #B0E897 none repeat scroll 0 0;
	color: #104000;
	font-weight: bold;
}
td.diff-addedline .diffchange {
	background :#B0C0F0 none repeat scroll 0 0;
	color: #001040;
	font-weight: bold;
}
td.diff-addedline {
	background:#D8E4F6 none repeat scroll 0 0;
}
td.diff-deletedline {
	background:#E4F6D8 none repeat scroll 0 0;
}
/* END Red-green color blindness diff fix */