li {
	margin-bottom: 20pt ;
}

div.errata {
	padding: 8px ;
	border: solid #a0a0a0 1px ;
	margin-top: 5pt ;
}

span.deleted {
	background-color: #C0C0C0 ;
}

span.inserted {
	background-color: #C0FFC0 ;
}

span.corrected {
	background-color: #C0C0FF ;
}