.highlight {
	font-weight: 600;
}

.highlight {
	padding: 1px 4px;
	margin: 0 -4px;
}