body {  font-family: verdana,Arial, Helvetica, sans-serif;  font-size: 10pt;  color: #000000;  margin-left:0px;  margin-right:0px;  margin-width:0px;  margin-height:0px;  margin-top:18px; }  a:link { color: #000000; } a:visited { color: #222222; } a:active { color: #444444; } a:hover { color: #778899; }  .8pt {font-size:8pt; font-family:arial;} .8ptBold { font-size:8pt; font-weight:bold; font-family:arial;} .10ptRed { color:#ff0000; } .10ptBold { font-size:10pt; font-weight:bold; font-family:arial;} .10ptBoldBlue { font-size: 10pt; font-weight:bold; font-family:arial; color:#336699;} .12pt {font-size:12pt; font-family:arial;} .12ptBold { font-size: 12pt; font-weight:bold; font-family:arial;} .12ptBoldBlue { font-size: 12pt; font-weight:bold; font-family:arial; color:#336699;} .14pt { font-size: 18pt; font-family:arial;} .14ptBold { font-size: 18pt; font-weight:bold; font-family:arial;} .16pt { font-size: 18pt; font-family:arial;} .16ptBold { font-size: 18pt; font-weight:bold; font-family:arial;} .16ptBoldBlue { font-size: 16pt; font-weight:bold; font-family:arial; color:#336699;} .18pt { font-size: 18pt; font-family:arial;} .18ptBold { font-size: 18pt; font-weight:bold; font-family:arial;}  td {  font-family: verdana, Arial, Helvetica, sans-serif;  font-size: 10pt;  border-style: none;  border-width:0px;  border-color:#ffffff;  padding:0px; }   .Grey {background: #dddddd; border-width:0px;} .GreyBox {background: #dddddd;} .GreyList{background: #dddddd; border-width:0px; padding-top:20px; padding-bottom:5px; border-bottom-width:2px;} .clear {background: #ffffff; border-width:0px; padding-left:0px; padding-right:0px;} .Clear {background: #ffffff; border-width:0px; padding-left:0px; padding-right:0px;}  .CodeExample{background: #eeeeee; font-family: Courier, Helvetica, Arial;} .Figure{background: #eeeeee;} .White {background: #ffffff; border-width:0px; padding-left:10px; padding-right:5px;} .WhiteBox {background: #ffffff;} .WhiteList{background: #ffffff; border-width:0px; padding-top:20px; padding-bottom:5px; border-bottom-width:2px; padding-left:10px; padding-right:5px;} .LightGrey {background: #eeeeee; border-width:0px;} .LightGreyBox {background: #eeeeee;} .LightGreyBoxTPad {background: #eeeeee; border-top-width:0px; padding-left:10px; padding-top:0px; margin-top:0px;} .LightGreyList{background: #eeeeee; border-width:0px; padding-top:20px; padding-bottom:5px; border-bottom-width:2px; padding-left:10px; padding-right:5px;} .OffWhite {background: #f5f5f5; border-width:0px;} .OffWhiteBox {background: #f5f5f5;} .OffWhiteList{background: #f5f5f5; border-width:0px; padding-top:20px; padding-bottom:5px; border-bottom-width:2px; padding-left:10px; padding-right:5px;} .OffWhiteBoxT {background: #f5f5f5; border-top-width:0px;} .OffWhiteBoxL {background: #f5f5f5; border-left-width:0px;} .OffWhiteBoxTPad {background: #f5f5f5; border-top-width:0px; padding-left:10px; padding-top:0px; margin-top:0px;} .Green {background: #aabbbb; border-width:0px;} .GreenBox {background: #aabbbb;} .GreenBoxPadding0 {background: #aabbbb; padding:0px;} .GreenList {background: #aabbbb; border-width:0px; padding-top:20px; padding-bottom:5px; border-bottom-width:2px; padding-left:10px; padding-right:5px;} .Blue {background: #99aabb; border-width:0px;} .BlueBox {background: #99aabb;} .BlueList {background: #99aabb; border-width:0px; padding-top:20px; padding-bottom:5px; border-bottom-width:2px;}  .menuBar {  position:absolute;  top:0px; }  .menuItem {  background: #99aabb;  border-style: groove;  border-width:2px;  border-top-width:0px;  border-color:#ffffff;  padding:0px;  padding-left:12px;  padding-right:12px;  font-size:10pt;  font-family:arial; }  .menuButton {  background: #99aabb;  border-style: groove;  border-width:2px;  border-left-width:0px;  border-color:#ffffff;  padding:0px;  padding-left:12px;  padding-right:12px;  font-size:10pt;  font-family:arial; }  .menuLink {  font-size:10pt;  font-family:arial; }  .menuLink:hover {  color:#dddddd; }  td.Nav {background:#dddddd; border-top-width:0;padding-top:0px; padding-bottom:0px; font-family:arial;} A.menu:VISITED {color:#000000;} A.menu:HOVER {color:#eeeeee;} A.GreenBox:HOVER {color:#eeeeee;}  .empty {   padding:0px;   margin:0px;   border:0px;   background:#ffffff;  }  .codehighlight {background-color:#ffbbbb;}  .element { 	padding:0px; 	padding-left:10px; 	border-width:0px; 	text-decoration:none;  } .one:link{ 	text-decoration:none; 	color:black; } .zeroormore:link { 	text-decoration:none; 	color:purple; } .oneormore:link { 	text-decoration:none; 	color:red; } .zeroorone:link { 	color:blue; 	text-decoration:none; } .oneof:link { 	color:orange; 	text-decoration:none; } .one:visited{ 	text-decoration:none; 	color:black; } .zeroormore:visited { 	text-decoration:none; 	color:purple; } .oneormore:visited { 	text-decoration:none; 	color:red; } .zeroorone:visited { 	color:blue; 	text-decoration:none; } .oneof:visited { 	color:orange; 	text-decoration:none; }