.dead_link {
	color: #00f;
	text-decoration: underline;
}

.preview_diff_insertion {
	color: #0f0;
	background-color: #cfc;
}

.preview_diff_deletion {
	color: #f00;
	background-color: #fcc;
}

.preview_diff_change {
	color: #aa0;
	background-color: #ffc;
}