@charset "utf-8";
.highlight-YLW {
	background-color: #FFFF66;
}
.highlight-PNK {
	background-color: #FF99FF;
}
.highlight-GRN {
	background-color: #CCFF99;
}
.highlight-PaleYLW {
	background-color: #FFFFCC;
}
.KeyTerm {
	border-bottom-style: dotted;
	border-bottom-width: thin;
}