/* Highlight style on the public-facing site */
.highlight {
	background-color: #FFDD57;
	color: inherit;
	border-radius: 2px;
	padding: 0 1px;
}