/* Changebar and highlighting */

.Changebar {
	background-color: #9900ff;
}

.Strikethrough {
	text-decoration: line-through;
	background-color: yellow;
}