span.highlight {
	background-color:#FFFFCC;
	font-weight:bold;
	padding:1px 0;
}