.xpath-deprecated {
	text-decoration: line-through;
}
.xpath-comment {
	color: green;
	font-style: italic;
}


.bold-highlight {
	font-weight: bold;
	background-color: #f6f9a2;
}