pre {
	margin: 0;
	white-space: pre-wrap;
}

td.lineNum {
	padding-left: 1em;
	padding-right: .5em
}

td.skipping {
	background-color: #EAF2F5;
}

td.diff_original {
	background-color: #FF8C8C;
}

td.diff_revised {
	background-color: #CCCCFF;
}