html .red { color: #c00;
	background-color: white;
	font-style: italic;
}