body {
	padding: 0;
	background-color: #FFC61E;
	font-family: Verdana, Tahoma, Arial;
	font-size: 13px
	color: #000000;
	}
.style1 {font-size: 14pt}
.style4 {font-size: 12px}
.style5 {font-size: 12pt}
.style7 {font-size: 12pt; font-weight: bold; }
.style8 {font-size: 16pt}
.style9 {font-size: 10pt}
.style10 {
	font-size: 10pt;
	color: #000000;
}

a:link {
	color: #006;
	font-weight: bold;
	font-size: 12px;
	text-decoration: none;
}

a:hover {
	color: #006;
	font-weight: bold
	font-size:12px;
	text-decoration: underline;
}

a:active {
	color: #006;
	font-weight: bold;
	font-size:12px;
	text-decoration: none;
	}

a:visited {
	font-weight: bold;
	font-size: 12px;
	text-decoration:none
	}

h1 {
  font-size: 20px;
  font-weight: normal;
  color: #016701;
}

h2 {
  padding-top: 20px;
  font-size: 16px;
  font-weight: normal;
  color: #016701;
}

p.note {
	font-size: 8pt;
	border-style: solid;
	border-top-color: #FFFFFF;
	border-right-color: #808080;
	border-bottom-color: #808080;
	border-left-color: #FFFFFF;
	padding-left: 10px;
	padding-right: 10px;
	padding-top: 10px;
	padding-bottom: 10px;
	border-left-width: 1px;
	border-right-width: 1px;
	border-top-width: 1px;
	border-bottom-width: 1px;
	background-color: #FFFFD7;
}

pre {
  margin-left: 20px;
}

code {
  font-family: Courier, 'Courier New', sans-serif;
  color: #006600;
}

span.var {
  color: #000090;
}

span.file {
  font-family: Times New Roman, Verdana, Tahoma, Arial;
  font-size: 14px;
}

span.listh {
  font-family: Verdana, Tahoma, Arial;
  font-weight: 600;
  color: #016701;
}

span.emph {
  font-style: italic;
  font-weight: bold;
}