#diff-pagecontent table {
	border: 1px solid rgb(217, 217, 217); border-image: none;
}
#diff-pagecontent td {
	padding: 3px; border: 1px solid rgb(217, 217, 217); border-image: none;
}
#diff-pagecontent ins {
	text-decoration: inherit; background-color: rgb(204, 255, 204);
}
#diff-pagecontent del {
	color: rgb(153, 153, 153); background-color: rgb(254, 200, 200);
}
#diff-pagecontent ins.mod {
	background-color: rgb(255, 225, 172);
}