@charset "utf-8";

div.mics-part {
	background:			#87CEFA;
	margin-top:			2px;
	margin-bottom:		2px;
}
div.mics-part-str {
	color:				#0000FF;
	font-size:			70%;
	text-align:			left;
	border-top:			solid 2px #0000FF;
}
div.mics-part-end {
	color:				#0000FF;
	font-size:			70%;
	text-align:			right;
	border-bottom:		solid 2px #0000FF;
}
div.mics-delimiter {
	margin-top:			2px;
	margin-bottom:		2px;
}
div.mics-delimiter-str {
	color:				#4B0082;
	font-size:			70%;
	text-align:			left;
	border-top:			solid 2px #4B0082;
}
div.mics-delimiter-end {
	color:				#4B0082;
	font-size:			70%;
	text-align:			right;
	border-bottom:		solid 2px #4B0082;
}
span.mics-condition {
	background:			#DDA0DD;
}
span.mics-condition-str {
	color:				#4B0082;
	font-size:			70%;
	padding-left:		1px;
	padding-right:		1px;
}
span.mics-variable {
	background:			#90EE90;
	color:				#003300;
	font-size:			70%;
	padding-left:		1px;
	padding-right:		1px;
}
span.mics-constant {
	background:			#FFA500;
}
span.mics-constant-str{
	color:				#660000;
	font-size:			70%;
	padding-left:		1px;
	padding-right:		1px;
}
span.mics-nottranslated {
	background:			#FFFF00;
}
span.mics-nottranslated-str{
	color:				#333300;
	font-size:			70%;
	padding-left:		1px;
	padding-right:		1px;
}
a.xref {
	background:			#FAFC9E;
}