.bolding {
	font-size: 110%;
	font-weight: bold;
	color: #900;
}