.anchor, .anchor.prev, .anchor.table, .caption.prev { margin-top:0; padding-top:0; }
.bold, .headnumbered,  .run-inhead, .seealso, .tablehead { font-weight:bold; }

.caption { margin-bottom:1ex; margin-top:0; padding-top:0; }
.code, .courier { font-family:Monospace; white-space:pre; }
.emphasis { font-style:italic; }
.superscript { font-size:16px; vertical-align:super; }

body {background-color:#FFFFFF; font-family: Arial, Helvetica, sans-serif; font-size:x-small; font-style: bol; line-height: normal; font-weight: normal; font-variant: normal}
	
a {font-family:  Arial, Helvetica, sans-serif; font-size:12px; font-style: bol; line-height: normal; font-weight: normal; font-variant: normal;
  text-decoration:none;
  color:#666666;}

a:visited {font-family: Arial, Helvetica, sans-serif; font-size:12px; font-style: bol; line-height: normal; font-weight: normal; font-variant: normal; color:#666666; }
a:hover {font-family:  Arial, Helvetica, sans-serif; font-size:12px; font-style: bol; line-height: normal; font-weight: bold; font-variant: normal; color:#666666;  }

.search_header {font-family:  Arial, Helvetica, sans-serif; font-size:12 px; font-style: bol; line-height: normal; font-weight: bold; font-variant: normal;
  text-decoration:none;
  color:#990000;}

.search_col {font-family:  Arial, Helvetica, sans-serif; font-size:12 px; font-style: bol; line-height: normal; font-weight: normal; font-variant: normal;
  text-decoration:none;
  color:#6666666666;}