.fault {
	color: #cc0000;
	font-weight: bold;
}

p.fault {
	border: 1px dotted #cc0000;
	padding: 0.31em 0.38em;
}