body {
	background-color: #FFFFFF;
	font-family: Times New Roman, Times, serif;
	color: #000000;
	left-margin: 15%;
	top-margin: 10%;
	font-size: 1em;
	font-style: normal;
	line-height: normal;
	font-weight: normal;
}
p {
	font-family: Times New Roman, Times, serif;
	font-size: 1em;
	font-style: normal;
	line-height: normal;
	font-weight: normal;
	color: #000000;
}
strong, b {
	font-family: Times New Roman, Times, serif;
	font-size: 1em;
	font-style: normal;
	line-height: normal;
	font-weight: bolder;
	color: #000000;
}
em {
	font-family: Times New Roman, Times, serif;
	font-size: 1em;
	font-style: italic;
	line-height: normal;
	font-weight: normal;
}
h1 {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 2em;
	font-weight: bold;
	color: #993399;
	line-height: normal;
	font-style: normal;
}
h2 {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 1.5em;
	font-weight: bold;
	color: #993399;
	font-style: normal;
	line-height: normal;
}
h3 {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 1.17em;
	font-weight: bold;
	color: #000000;
	font-style: normal;
	line-height: normal;
}
h4 {
	font-family: Times New Roman, Times, serif;
	font-weight: bold;
	color: #000000;
	font-size: 1em;
	font-style: normal;
	line-height: normal;
}
.javacodetext {
	font-family: Courier New, Courier, mono;
	font-style: normal;
	font-weight: normal;
	color: #0000CC;
	font-size: .83em;
	line-height: normal;
}
.javacodetextbold {
	font-family: "Courier New", Courier, mono;
	font-style: normal;
	font-weight: bold;
	color: #0000CC;
	font-size: 0.83em;
	line-height: normal;
}
.javacodetextindented {
	font-family: Courier New, Courier, mono;
	font-style: normal;
	font-weight: normal;
	color: #0000CC;
	font-size: .83em;
	line-height: normal;
	margin-left: 1em;
}
.xpansiontext {
	font-family: Arial, Helvetica, sans-serif;
	font-style: normal;
	font-weight: normal;
	font-size: .83em;
}
.lastupdated {
	font-family: Arial, Helvetica, sans-serif;
	font-size: .67em;
	font-weight: normal;
	color: #000000;
	font-style: normal;
	text-align: center;
}
li {
	font-family: Times New Roman, Times, serif;
	font-style: normal;
	font-weight: normal;
	font-size: 1em;
	line-height: normal;
	list-style-position: outside;
	list-style-type: disc;
}
ul {
	font-family: Times New Roman, Times, serif;
	font-size: 1em;
	font-style: normal;
	line-height: normal;
	font-weight: normal;
	list-style-position: outside;
	list-style-type: disc;
}
.indexhead {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 1em;
	font-style: normal;
	font-weight: bold;
	color: #000000;
	line-height: normal;
}