.changed {
	background-color:yellow;
	height: auto;
	width: auto;
	border: thin solid;
	margin: 2px;
	padding: 2px;
}
.unchanged {background-color:white}
.interp {
	font-family: Verdana, Arial, sans-serif;
	font-size: x-small;
}