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