.inactive{
	color:#808080;
	font-style:italic;
}
.highlight{
	background-color:#ffff00;
}
.red{
	color:#ff0000;
}
.green{
	color:#00ff00;
}
.orange{
	color:#ff8040;
}
.tag{
	border:1px dashed #70fea2;
	background-color:#ccffcc;
}
.underline{
	text-decoration:underline;
}