/* external style sheet for the AMI Documentation */

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

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

font.italic
{
	font-weight: normal;
	color:#333333;
	font-size: 10pt;
	line-height: 12pt;
	font-family: arial, helvetica;
	font-variant: normal;
	font-style: italic;
}

font.whitebody
{
	font-weight: normal;
	color:#FFFFFF;
	font-size: 10pt;
	line-height: 12pt;
	font-family: arial, helvetica;
	font-variant: normal;
	font-style: normal;
}

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

font.smallbody
{
	font-weight: normal;
	color:#333333;
	font-size: 8pt;
	line-height: 12pt;
	font-family: arial, helvetica;
	font-variant: normal;
	font-style: normal;
}

font.smallbold
{
	font-weight: bold;
	color:#333333;
	font-size: 8pt;
	line-height: 12pt;
	font-family: arial, helvetica;
	font-variant: normal;
	font-style: normal;
}

font.smallwhite
{
	font-weight: normal;
	color:#FFFFFF;
	font-size: 8pt;
	line-height: 10pt;
	font-family: arial, helvetica;
	font-variant: normal;
	font-style: normal;
}

font.subtitle
{
	font-weight: bold;
	color:#0066CC;
	font-size: 10pt;
	line-height: 12pt;
	font-family: arial, helvetica;
	font-variant: normal;
	font-style: normal;
}

font.detailheader
{
	font-weight: normal;
	color:#003399;
	font-size: 15pt;
	line-height: 17pt;
	font-family: arial, helvetica;
	font-variant: normal;
	font-style: normal;
}

font.topbar 
{
	font-weight: normal;
	color:#FFCC00;
	font-size: 7.5pt;
	line-height: 10pt;
	font-family: arial, helvetica;
	font-variant: normal;
	font-style: normal;
}

font.copyright
{
	font-weight: normal;
	color:#FFFFFF;
	font-size: 7.5pt;
	line-height: 10pt;
	font-family: arial, helvetica;
	font-variant: normal;
	font-style: normal;
}

a 
{
	text-decoration: underline;
	font-weight: normal;
	color:#003399;
	font-family: arial, helvetica;
	font-variant: normal;
	font-style: normal;
}
a:hover 
{
	color: #0066FF;
}

a.bold 
{
	text-decoration: underline;
	font-weight: bold;
	color:#003399;
	font-size: 10pt;
	line-height: 12pt;
	font-family: arial, helvetica;
	font-variant: normal;
	font-style: normal;
}
a.bold:hover 
{
	color: #0066FF;
}

a.bottomnav 
{
	text-decoration: underline;
	font-weight: normal;
	color:#FFFFFF;
	font-size: 7.5pt;
	line-height: 10pt;
	font-family: arial, helvetica;
	font-variant: normal;
	font-style: normal;
}
a.bottomnav:hover 
{
	color: #CCCCCC;
}

a.topnav 
{
	text-decoration: none;
	font-weight: 600;
	color:#BBBBBB;
	font-size: 8pt;
	line-height: 17pt;
	font-family: arial, helvetica;
	font-variant: normal;
	font-style: normal;
	border: 1px solid;
	border-color:#999999;
	padding:3px;
	padding-right:6px;
	padding-left:6px;
	background: #333333;
}
a.topnav:hover 
{
	color: #FFFFFF;
	border-color:#FFFFFF;
	background: #333333;
}

a.topnavselected 
{
	text-decoration: none;
	font-weight: 600;
	color:#FF9900;
	font-size: 8pt;
	line-height: 17pt;
	font-family: arial, helvetica;
	font-variant: normal;
	font-style: normal;
	border: 1px solid;
	border-color:#FFFFFF;
	padding:3px;
	padding-right:6px;
	padding-left:6px;
	background: #333333;
}
a.topnavselected:hover 
{
	color: #FF9900;
}

a.leftnav 
{
	text-decoration: underline;
	font-weight: normal;
	color:#000000;
	font-size: 8pt;
	line-height: 10pt;
	font-family: arial, helvetica;
	font-variant: normal;
	font-style: normal;
}
a.leftnav:hover 
{
	color: #006699;
}

a.leftnavselected 
{
	text-decoration: underline;
	font-weight: bold;
	color:#000000;
	font-size: 8pt;
	line-height: 10pt;
	font-family: arial, helvetica;
	font-variant: normal;
	font-style: normal;
}
a.leftnavselected:hover 
{
	color: #006699;
}

tr {
	font-weight: normal;
	color:#333333;
	font-size: 10pt;
	line-height: 12pt;
	font-family: arial, helvetica;
	font-variant: normal;
	font-style: normal;
}