span.highlight {
	padding-left: 2px;
	padding-right: 2px;
	background-color: #FFFEBB;
	font-size: 100%;
}