.highlight {
	font-weight: bold;
	background-color: #a1def4;
	padding: .1em;
}

.caption .highlight {
	color:#463152;
}
/* other */