h3.definition {
	color: #2e535c;
	margin-top: 16pt;
	margin-bottom: 2pt;
	padding: 0pt;
}

p.stat {
	margin: 0pt;
	padding: 0pt;
}

ul.summary {
	margin: 0pt;
	padding: 0pt;
	font-size: 90%;
}

span.abbrdef {
	text-decoration: underline;
}

span.abbrdef > span.lf {
	color: #4444FF;
}

span.abbrdef > span.sf {
	background-color: #D1D1FF;
	color: black;
}

span.global span.local {
	color: #888888;
}

span.global > span.lf {
	color: #FF0000;
}

span.local > span.lf {
	color: #4444FF;
}

span.global > span.sf {
	color: black;
	background-color: #FFD1D1;
}

span.local > span.sf {
	color: black;
}