/* external style sheet for the AMI Documentation */

font.body {
	font-weight: normal;
	color:#000099;
	font-size: 10pt;
	font-family: arial, helvetica;
	line-height: 13pt;
	font-variant: normal;
	font-style: normal;
}

font.bold {
	font-weight: bold;
	color:#000099;
	font-size: 10pt;
	font-family: arial, helvetica;
	line-height: 16pt;
	font-variant: normal;
	font-style: normal;
}

a:hover {color: #000099;}